Responsive image


Edélcio Gonçalves de Souza


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.