Busca avançada
Ano de início
Entree

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

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)