Sistemas formais e valorações: sobre um teorema geral de completude

• Processo: 98/02801-9
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de maio de 1998
• Data de Término da vigência: 31 de outubro de 2000
• Área de 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
• Palavra(s)-Chave do Pesquisador: Completude De Logicas | Logica | Sistemas Formais | Valoracoes

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)