CV Lattes
Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação (2004), mestrado (2008) e doutorado (2013) em Filosofia pela Universidade de São Paulo, é professor de lógica e filosofia analítica do departamento de filosofia da UFJF. Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: teoremas da incompletude, meta-aritmética, teorias formais da verdade e, mais recentemente, semântica da lógica modal quantificada. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
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…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |