CV Lattes
ResearcherID
ORCID
Google Scholar Citations
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 Livre-Docente 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)
| 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) |
Duas teses ainda hoje largamente aceitas remetem a Aristóteles; as que princípios lógicos, como o Princípio de Não-Contradição e o do Terceiro Excluído, são: primeiros princípios que não podem ser justificados mas justificam todos os demais; e parâmetros universais de racionalidade cuja rejeição inevitavelmente traz efeitos socialmente negativos. A premissa que princípios lógicos são o qu…
Neste projeto pretendemos fazer uma identificação da noção de adequação empírica com a noção de quase-verdade, mediante uma apropriada extensão em suas formulações originais. A pertinência de tal identificação reside no fato de que ela se apresenta como uma resposta a críticas direcionadas tanto à abordagem semântica, quanto à própria noção de adequação empírica. No entanto, nossa atenção…
Este projeto tem por objetivo desenvolver um quadro unificado para os sistemas lógicos baseado no método de Fraïssé para a lógica de primeira ordem. A proposta visa fornecer um tratamento mais fino para a noção de definibilidade que pode ser aplicado para a comparação de poder expressivo de sistemas. De forma sucinta, propomos (i) desenvolver uma definição de sistema lógico adequada às in…
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. A …
Um dos principais problemas que surgem ao construir teorias formais da verdade é, sem dúvida, o Paradoxo do Mentiroso. Uma sentença que parece ser verdadeira e falsa ao mesmo tempo ameaça, ao menos à primeira vista, um conceito coerente de verdade. Como podemos resolver esse problema em direção a uma teoria formal coerente da verdade? Existem três alternativas possíveis: as soluções cláss…
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 negaçã…