Introdução à Lógica Matemática: uma abordagem via Álgebra e Topologia.
Argumentacao derrotavel e refinamento de sistemas normativos.
| Processo: | 98/02801-9 |
| Linha de fomento: | Bolsas no Brasil - Mestrado |
| Vigência (Início): | 01 de maio de 1998 |
| Vigência (Término): | 31 de outubro de 2000 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Edelcio Gonçalves de Souza |
| Beneficiário: | Janaína Arruda da Silva |
| Instituição-sede: | Programa de Estudos de Pós-Graduação em Filosofia. Pontifícia Universidade Católica de São Paulo (PUC-SP). São Paulo , SP, Brasil |
| Assunto(s): | Teorema de Godel's Lógica matemática Linguagem |
Resumo O objetivo do presente projeto consiste, num primeiro momento, em estudar três diferentes caracterizações de sistema formal e demonstrar em que sentido estas conceituações são equivalentes entre si. A seguir, estudaremos o conceito de valoração procurando estendê-lo para todas as caracterizações de sistema formal acima mencionadas. A relação entre os planos sintático e semântico será feita por meio do estabelecimento e análise de um teorema geral de completude. (AU) | |