Busca avançada
Ano de início
Entree

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

Processo: 08/11481-1
Linha de fomento:Bolsas no Brasil - Doutorado
Vigência (Início): 01 de maio de 2009
Vigência (Término): 28 de fevereiro de 2013
Área do 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

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 São Paulo.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.