Articles/Reviews


De Souza, E. Costa-Leite, A. Dias, D.H.B. (2017).  Paradeduction in Axiomatic Formal Systems. Cornell: arXiv 1710.01284.

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, vol. 25.

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

Costa-Leite, A. (2016). Oppositions in a line segment
Cornell: arXiv:1604.03054;

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

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

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, vol. 26(3);

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] ;

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

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

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

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

Costa-Leite, A. (2010). Logical properties of imagination. Abstracta: Linguagem, Mente e Ação, vol. 06 (1);

Costa-Leite, A. (2009). Dualidade e a estrutura do mundoRevista Brasileira de Filosofia, ano 58, n.233, São Paulo: Editora dos Tribunais;

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

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;


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, vol.VI, n.17

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, vol 4(5), 2004.

Costa-Leite, A. (2004).  Towards a general theory of the combination of logics. Aspects of  Universal Logic. Institute of Logic, University of Neuchâtel -
 Eds: J-Y. Béziau, A. Costa-Leite & A. Facchini. Centre de Recherches Sémiologiques. Travaux de logique, m.17

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
, Editora UCG.


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

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


Some Abstracts

1) Costa-Leite, A. (2004). Teoria das Categorias e Filosofia
(Resumo - GT Lógica da ANPOF)

2) Costa-Leite, A. (2004). Modal Paraconsistent Logics and the Knowability Paradox
(Abstract of Contributed Papers in the XIIth Latin American Symposium on
Mathematical Logic, Universidad de Costa Rica, Escuela de Matemática, San José, Costa Rica, January 7-16, 2004.)

3) Costa-Leite, (2004) Categories and philosophy - Extended abstract of the
Third International Workshop on the History and Philosophy of Logic, Mathematics and Computation - País Basco - Spain - 2004

4) Costa-Leite, A. (2007). Combining knowledge and contingency - Talk given in several occasions:
Université de Genève, Université de Paris I and
Tsinghua University (CLMPS 07)


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)


Seminário Permanente "Lógica no Avião" 


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)


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