CV Lattes
GoogleMyCitations
ResearcherID
ORCID
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, mestrado e doutorado em Filosofia pela Universidade de São Paulo. Fez estágio de pós-doutorado na Stanford University - Center for the Study of Language and Information e na Universidade de Miami. Atualmente é professor doutor da Universidade de São Paulo. Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: lógica, lógica abstrata,lógicas paraconsistente e teoria de categorias. (Fonte: Currículo Lattes)
Este projeto visa estudar o conceito de verdade em teorias formais. Como entender a noção de verdade formal de maneira consistente? Isso engendra uma série de problemas, sendo o paradoxo do Mentiroso um dos principais. Há algumas alternativas para resolvê-lo rumo a uma noção de verdade formal. A primeira delas dá como solução o abandono da lógica clássica e adota lógicas não-clássicas....
Neste estudo, busca-se obter melhor compreensão do argumento ontológico desenvolvido pelo lógico Kurt Godel. A apresentação seguirá o método axiomático, como originalmente proposto por Godel, e utilizará como base uma lógica modal de segunda ordem. Após a apresentação do argumento será feita a defesa a partir de suas recentes objeções. Por fim, tentaremos mostrar se a noção de Deus que...
O trabalho tem a intenção de examinar detalhadamente a teoria do silogismo formal, tal como ela foi concebida por Aristóteles e tendo como foco os capítulos um, dois, quatro, cinco, seis e sete dos Analíticos Anteriores. A investigação é constituída de cinco partes principais: a) formar um glossário dos principais termos usados pelo filósofo; b) esclarecer a estrutura das figuras dos s...
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á f...
O objetivo do presente projeto é mostrar como é possível fazer semântica para linguagens proposicionais em ambientes categoriais que não sejam topos. Proponho a definição de dois tipos de categorias denominadas categorias com morfismos verdade (CTM) e proto-topos. Em categorias com morfismos verdade, pode-se definir as "funções de verdade" que correspondem aos conectivos lógicos de neg...