>Professor associado do Departamento
de Filosofia da Faculdade de Comunicação e Filosofia
da Pontifícia Universidade Católica de São
Paulo, instituição em que trabalha desde agosto
de 1992.
Graduou-se em filosofia pelo Departamento de Filosofia da Faculdade
de Filosofia, Letras e Ciência Humanas da Universidade de
São Paulo, tendo também concluído o mestrado
e o doutorado nessa instituição sob a orientação
do Prof. Dr. Newton Carneiro Affonso da Costa.
Dedicou-se ao estudo de estruturas matemáticas e lógicas
associadas às teorias mecânicas (clássica
e quântica). Propôs um tratamento unificado de teorias
inconsistentes por meio de lógicas multidedutivas.
Atualmente interessa-se por estudos em lógica abstrata
(propriedades principais de operadores de conseqüência)
e teoria de modelos (teoria de Galois generalizada: problemas
de invariância por automorfismos e definibilidade em estruturas
de primeira ordem e de ordem superior).
É editor adjunto do periódico Cognitio: revista
de filosofia, que veicula artigos sobre o pragmatismo, epistemologia
geral e lógica.
É torcedor fervoroso da Sociedade Esportiva Palmeiras e
vive dizendo que esse time só lhe dá alegria.
>Áreas de pesquisa.
1. Tópicos de lógica abstrata;
2. Teoria de modelos;
3. Teorias da verdade;
4. Tópicos em filosofia da ciência (em particular,
filosofia da física);
5. Fundamentos da matemática.
>
Principais publicações.
1. Invariance and set-theoretical operations in first order structures.
Reports on Mathematical Logic, v 40, p 209-215, 2006.
Com Alexandre Augusto Martins Rodrigues e Ricardo Carneiro de
Miranda Filho.
>2. A note on abstract consequence structures. Cognitio: Revista de Filosofia, v. 6, n. 1, p. 102-109, 2005.
>3. Definability and invariance in first order structures. Relatório Técnico: Instituto de Matemática e Estatística - USP, 2004. Com Alexandre Augusto Martins Rodrigues e Ricardo Carneiro de Miranda Filho.
>4. Lindenbaumologia II: cálculos lógicos abstratos. Cognitio: Revista de Filosofia, v. 3, p. 115-121, 2002. Com Patrícia Del Nero Velasco.
>5. Introdução à lógica paraconsistente: a hierarquia Cn. São Paulo: Instituto de Estudos Avançados da Universidade de São Paulo, 2001. Com Newton Carneiro Affonso da Costa e Juliano Souza de Albuquerque Maranhão.
>6. Lindenbaumologia I: a teoria geral. Cognitio: Revista de Filosofia, v. 2, p. 213-219, 2001.
>7. Multideductive logic and the theoretic-formal unification of physical theories. Synthese, v. 125, n. 1-2, p. 253-262, 2000.
>8. Remarks on paraclassical logic. Boletim da Sociedade Paranaense de Matemática, v. 18, n. 1-2, p. 107-112, 1998.
>9. A new paraconsistent set theory: ML1. Logique et Analyse, v. 157, p. 115-141, 1997. Com Roque da Costa Caiero.
>10. The Concept of quasi-truth. Logique et Analyse, v. 153/54, p. 183-199, 1996. Com Otávio Bueno.