Articles/Reviews


de Souza, E. Costa-Leite, A. Dias, D.H.B. (2019).  Paradeduction in Axiomatic Formal Systems. Logique et Analyse, 62(6).
Pre-print available since 2017 at
Cornell: arXiv 1710.01284.

Costa-Leite, A. (2018). Oppositions in a line segment
South American Journal of Logic, 4(1).
Pre-print available since 2016 at Cornell: arXiv:1604.03054;

Costa-Leite, A. (2018). O Problema das Justificações Parciais. Revista de Filosofia Moderna e Contemporânea, 6(2), p. 95-104.


Costa-Leite, A. (2018). Educação. Brasil em números/Brazil in figures, v. 26, 151-167.


Costa-Leite, A; Gomes, E. L. (2017). Entrevista de Alexandre Costa-Leite. In: 'Para além das colunas de Hércules, uma história da paraconsistência:
de Heráclito a Newton da Costa',  E. L. Gomes e I.M.L D'Ottaviano. Campinas: Editora da UNICAMP, p. 688-695.

Neri, H. R; Costa-Leite, A. (2017). Ciência e Tecnologia. Brasil em números/Brazil in figures, v. 25, p. 419-435.

Costa-Leite, A; de Souza, E. G. (2017). Implications and Limits of Sequences. Studia Humana, 6(1), p.18-24.

Schang, F; Costa-Leite, A. (2016). Une sémantique générale des croyances justifiées. CLE e-prints, 16(3), p.1-24.

Costa-Leite, A. (2016). Interplays of knowledge and non-contingency. Logic and Logical Philosophy, 25(4), p.521-534.

de Souza, E. Costa-Leite, A. Dias, D.H.B. (2016). On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, 26(3), p. 240-250.

Bensusan, H; Costa-Leite, A; de Souza, E. G. (2015). Logics and their galaxies. In: The Road to Universal Logic, volume II, Springer. [pre-print here], p.243-252.

Costa-Leite, A. (2014). Lógicas da justificação e quase-verdade. Principia: an international journal of epistemology, 18 (2), p.175-186.

Costa-Leite, A. (2013). Review of Modalities and Multimodalities, by W. Carnielli & C. Pizzi. Manuscrito, 36 (1), p.190-194.

Costa-Leite, A. (2012). Fronteiras contingentes e conhecimento limitado. Revista Brasileira de Filosofia, n.238, 179-187.

Costa-Leite, A. (2011).
Review of  "New Essays on the Knowability Paradox" [edited by J. Salerno]. International Studies in the Philosophy of Science, 25 (2), p.193-195.

Costa-Leite, A. (2010). Logical properties of imagination. Abstracta: Linguagem, Mente e Ação, 6(1), p.103-116.

Costa-Leite, A. (2009). Dualidade e a estrutura do mundoRevista Brasileira de Filosofia, ano 58, n.233, p. 233-247.

Costa-Leite, A. (2009). Construções sistêmicas e leis de interaçãoCognitio: Revista de Filosofia, 10(2), 209-220
;

Costa-Leite, A. (2007).  Combining modal concepts: philosophical applications. The Logica Yearbook 2006, edited by Ondrej Tomala & R. Honzík.  Filosofia, Academy of Sciences of Czech Republic: Prague, p.23-31.

Costa-Leite, A. (2006). Interview with Alexandre Costa-Leite.  In Masses of Formal Philosophy,
edited by Vincent Hendricks and John Symons. Vip/Automatic Press, 2006.


Costa-Leite, A. (2006).  Fusions of modal logics and Fitch's paradox
Croatian Journal of Philosophy, 6(7), p.281-290.

Costa-Leite, A. (2004). Combining possibility and knowledgeIn Proceedings of the Workshop on the combination of logics:
theory and applications
. Edited by W. A. Carnielli, F. Dionísio and  P. Mateus.  IST - Department of Mathematics - Center for Logic and Computation - Lisbon 
Also available at CLE e-prints,  4(5), 2004, p.107-111.

Costa-Leite, A. (2004).  Towards a general theory of the combination of logics. Aspects of  Universal Logic. Travaux de logique, n.17, p.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
, p. 1155-1166.


* Some of my works have been cited by top world-famous philosophers and logicians such as
Graham Priest, Heinrich Wansing, Gerhard Schurz, Paul Gochet, Sergei Artemov, Guido Governatori etc.



Books (Editor)
Lógica no Avião

aspects perspectives
dimensions
unilog1 unilog2 unilog3


Check also the special issue of Journal of Applied Non-Classical Logics, 2012

jancl
unilog4

 

Aspects of Universal Logic
  edited by Jean-Yves Béziau, Alexandre Costa-Leite and Alessandro Facchini, CdRS, Switzerland, 2004.

Perspectives on Universal Logic, edited by Jean-Yves Béziau and Alexandre Costa-Leite, Polimetrica, Italia, 2007.

Dimensions of Logical Concepts, edited by Jean-Yves Béziau and Alexandre Costa-Leite, Coleção CLE, Brasil. 2009.




Others

1) Costa-Leite, A. (2000).  Rigid designation, necessary a posteriori truths and causal theory: Kripke's contributions to analytic philosophy.
(Bachelor's degree Philosophy (Logic & Philosophy) - Federal University of Goiás, Brazil).
Published in the Fragmentos de Cultura - Brazil -  Catholic University of Goiás - Sup: Adriano Naves de Brito

2) Costa-Leite, (2003).  Paraconsistency, modalities and knowability
(Master's thesis in Philosophy -  State University of Campinas - UNICAMP -  Paraconsistência, modalidades e cognoscibilidade - Sup: Walter A. Carnielli

3) Costa-Leite, A. (2007). Interactions of metaphysical and epistemic concepts
( PhD Thesis, Université de Neuchâtel - Philosophy & Logic) - Switzerland -  Sup: Jean-Yves Beziau



Teaching

Lógica @ FIL-UnB


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

Workshop on Logic and Truth, University of Brasilia, november 2011

***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

Workshop: Futuro e Limites da Metafisica (The future and limits of metaphysics) - Goiânia - Brazil - 2006 

***UNILOG'05*** 1st world congress and school on universal logic - 2005 - SWITZERLAND - MONTREUX

 Workshop: Futuro e Limites da Filosofia (The future and limits of philosophy) - Goiânia - Brazil - 2005 

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.

I am a Reviewer  of Mathematical Reviews - AMS (since 2006). I have been referee for
the following journals: Mind (Oxford), Synthese (Springer), Acta Analytica (Springer),
Logica Universalis (Springer), Prolegomena (Hrcak), Logic Journal of IGPL (Oxford),
Theory and Decision (Springer), Abstracta, Kriterion, Erkenntnis,  South America Journal
of Logic,  Editora da Unesp etc.


Paraconsistency Newsletters (2003-2008)

Lógica no Avião



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

Universidade Federal de Uberlândia - Brazil

Universidade Federal de Goiás
- Brazil

Universidade Federal de Ouro Preto - Brazil

Universidade Católica de Goiás - Brazil

Universidade Estadual de Campinas
- Brazil

Universidade Estadual de Maringá - Brazil

Universidade de São Paulo - Brazil

Universidade Federal do Rio de Janeiro - Brazil

Universidade Federal Rural do Rio de Janeiro - Brazil

Université du Quebec à Montréal/Université de Montréal - Canada

University of British Columbia - Canada

Northwestern Polytechnical University - China

Tsinghua University (CLMPS 07) - China

Universidad del Rosario - Colombia

Academy of Sciences - Hejnice (Logica 2006) - Czech Republic


Université Nancy 2 - France 

Université de Aix-en-Provence (Sopha 06)  - France

Université de Nice Sophia-Antipolis - France

Université de Paris 1 - Panthéon-Sorbonne -
France

University of Athens - Greece

Central European University -  Hungary

University of Tokyo - Japan

Indian Statistical Institute - India

Americal University of Beirut - Lebanon

Universidade Técnica de Lisboa - Portugal

Uniwersytet
Mikołaja Kopernika - Poland

Qatar University - Qatar

Kazan Federal University - Russia

Universiteit van Amsterdam - The Netherlands

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