Costa-Leite, A.
(2004). Towards a general theory of the
combination of logics. Aspects of Universal Logic. Travaux
de logique, n.17, pp.219-230;
Costa-Leite, A.
(2000). Designação
rígida, teoria causal e verdades necessárias a
posteriori - Contribuições de Kripke .
Fragmentos de Cultura.
Goiânia, v.10, pp. 1155-1166;
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Teaching
Old courses
1) Introduction to Logic - Logic applied to Engineering (Course - Catholic University of Goias - 2000)
2) Qu'est-ce que la logique? (University of Neuchatel - Switzerland - 2003)
3) Applications de la logique à la philosophie (Abstract of the course in the University of Neuchâtel - Institut de Logique - 2004/2005)
4) Logique Philosophique et la Philosophie de la Logique ( Course - University of Neuchâtel – Institut de Logique - 2005/2006 )
5) Est-il raisonnable
de
se contredire? (Seminar - University of Neuchâtel -
with Jean-Yves Béziau - Institut de Psychologie
- 2006/2007)
Meetings (Organization)
Colóquio UnB-USP de Lógica e Filosofia da Lógica
Seminário
Permanente "Lógica no Avião" (Anos 2013, 2014, 2015, 2016, 2017, 2018)
UNILOG
2013:
4th
World Congress and School on Universal
Logic
***UNILOG'10***:
world
congress
and school on universal logic, Lisbon, april
2010
(see also special
session on paraconsistent logics)
MBR'09:
Abduction, Logic, and computational discovery
- December 2009, Campinas, Brazil
***UNILOG'07*** 2nd world congress and
school on universal logic - 2007 - CHINA - XI'AN
The Square
of Opposition - International Congress (supporting
organizer) - check the book of abstracts here
***UNILOG'05*** 1st world congress and school on universal logic - 2005 - SWITZERLAND - MONTREUX
The Impact of Categories: Historical and Philosophical Aspects - Paris, École Normale Supérieure, October 10-14, 2005 (supporting organizer)
3rd meeting of the Vicious Circle Society - 2005
XIII Brazilian Logic Conference – 2003
Referee reports et
al.
Paraconsistency Newsletters (2003-2008)
Research Groups
1) GRUPO DE EPISTEMOLOGIA E HEURÍSTICA (GRUPO EeH - UNICAMP - CNPq)
2) Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications - FAPESP
3) The Universal Logic Research Project (Swiss National Science Foundation)
4) Grupo de
Lógica Teórica e Aplicada (GTAL - UNICAMP)
5)
GT Lógica - Associação Nacional de Pós-Graduação em
Filosofia - ANPOF
6) Grupo
de Lógica e Filosofia da Ciência da Universidade de
Brasilia (UnB)
7) Grupo
de Lógica Filosófica e Filosofia da Lógica (UnB)
The places where I gave talks
(Some places were only
responsible for organizing meetings where I gave talks)
Universiteit Gent - Belgium
Universidade de Brasília - Brazil
Universidade Federal da
Paraíba - Brazil
Université de Aix-en-Provence (Sopha 06)
- France
Universidad del País Vasco - Spain
Uppsala Universitet - Sweden
Université de Neuchatel - Switzerland
Université de Lausanne - Switzerland
Universität Bern - Switzerland
Université de Genève - Switzerland
Université de Fribourg/Universität Freiburg – Switzerland
Istanbul University - Turkey
Univesity at Buffalo (State University of
New York) - United States
City University of New York (The Graduate Center) - United States