Alguns sistemas formais da verdade aritmética baseados em definições parciais verdade

• Processo: 08/11481-1
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de maio de 2009
• Data de Término da vigência: 28 de fevereiro de 2013
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Andrea Maria Altino de Campos Loparic
• Beneficiário: Luciano Vicente
• Instituição Sede: Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Verdade Aritmética
• Palavra(s)-Chave do Pesquisador: Aritmética | Verdade | Teoria dos Sistemas Formais

Resumo

Segundo Boolos & Jeffrey: o teorema da indefinibilidade de Tarski é um "negative result [...] poised, so to speak, between two positive results: on the one hand, that each of certain 'approximations' Vn to V is definible in arithmetic, and, on the other, that V itself is 'definible in second-order arithmetic'" [Computability and Logic, p. 207]. Pretendemos tomar tais 'approximations' como objeto privilegiado de estudo, escrutinando sua "teoria", a teoria das definições parciais de verdade, e examinando a possibilidade de basearmos nela uma série de formalizações parciais do "predicado de verdade" da aritmética. Na verdade, uma formalização "minimal" desse tipo, estabelecida por meio da acumulação dessas approximations, terá papel de destaque em nosso estudo.

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

VICENTE, Luciano. Definições parciais de verdade e sistemas de acumulação na aritmética formal. 2013. Tese de Doutorado - Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH/SBD) São Paulo.