Alexandre Fernandes Batista Costa Leite

  • Endereço para acessar este CV: http://lattes.cnpq.br/1675265519515703
  • Última atualização do currículo em 14/11/2018


Alexandre Costa-Leite é professor adjunto do Departamento de Filosofia da Universidade de Brasília. Doutor em Filosofia pela Université de Neuchâtel (Suíça). Pós-doutorado financiado pela Swiss National Science Foundation na City University of New York (The Graduate Center - EUA) e pós-doutorado na UNICAMP financiado pela FAPESP. Estágios de doutorado na Universiteit Amsterdam (Holanda), na Universidade Técnica de Lisboa (Portugal) e na École Normale Supérieure de Paris (França). Foi pesquisador associado do Centro de Lógica, Epistemologia e História da Ciência (CLE-UNICAMP). Suas pesquisas são em lógica, filosofia da lógica, metafísica e epistemologia. (Texto informado pelo autor)


Identificação


Nome
Alexandre Fernandes Batista Costa Leite
Nome em citações bibliográficas
COSTA-LEITE, A.;COSTA-LEITE, Alexandre

Endereço


Endereço Profissional
Universidade de Brasília, Departamento de Filosofia.
ICC Ala Norte - Campus Universitário Darcy Ribeiro
70910-900 - Brasilia, DF - Brasil - Caixa-postal: 04661
URL da Homepage: http://costaleite.info


Formação acadêmica/titulação


2003 - 2007
Doutorado em Filosofia.
Université de Neuchâtel, UNINE, Suiça.
Título: Interactions of metaphysical and epistemic concepts, Ano de obtenção: 2007.
Orientador: Jean-Yves Béziau.
2003 interrompida
Doutorado interrompido em 2005 em Filosofia.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Extensões modais de lógicas paraconsistentes,
Orientador: Walter Alexandre Carnielli.
Ano de interrupção: 2005
2001 - 2003
Mestrado em Filosofia.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Paraconsistência, modalidades e cognoscibilidade,Ano de Obtenção: 2003.
Orientador: Walter A. Carnielli.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1995 - 2000
Graduação em Direito.
Pontifícia Universidade Católica de Goiás, PUC GOIÁS, Brasil.
1996 - 1999
Graduação em Filosofia.
Universidade Federal de Goiás, UFG, Brasil.
Título: Designação rígida, teoria causal e verdades necessárias "a posteriori": contribuições de Kripke à filosofia analítica.
Orientador: Adriano Naves de Brito.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1992 - 1994
Ensino Médio (2º grau).
Colégio Ateneu Dom Bosco, SDB, Brasil.
1989 - 1991
Ensino Fundamental (1º grau).
Colégio Ateneu Dom Bosco, SDB, Brasil.


Pós-doutorado


2008 - 2009
Pós-Doutorado.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Humanas
2007 - 2008
Pós-Doutorado.
City University of New York, CUNY, Estados Unidos.
Bolsista do(a): Swiss National Science Foundation, SNF, Suiça.
Grande área: Ciências Humanas


Formação Complementar


2008 - 2008
Logic School.
Universidade Estadual de Campinas, UNICAMP, Brasil.
2004 - 2004
Summer School on Logic, Language & Info ESSLLI'04.
Université de Nancy II, U. N. II, França.
1988 - 1995
Inglês.
Centro Cultural Anglo Americano, CCAA*, Brasil.


Atuação Profissional



Universidade de Brasília, UnB, Brasil.
Vínculo institucional

2009 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor Adjunto do Departamento de Filosofia (UnB).

Atividades

10/2009 - Atual
Pesquisa e desenvolvimento , Departamento de Filosofia, .

03/2018 - 07/2018
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Projeto de Monografia Filosófica
Lógica
Filosofia da Lógica
Monografia Filosófica
03/2018 - 07/2018
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Seminário Tutorial 2
04/2016 - 04/2018
Direção e administração, Câmara de Assuntos Comunitários, .

Cargo ou função
Membro titular.
08/2017 - 12/2017
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica
Introdução à Filosofia
03/2017 - 07/2017
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Lógica Aplicada à Filosofia
Seminário Tutorial 2
03/2017 - 07/2017
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica
Projeto de Monografia Filosófica
08/2016 - 12/2016
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica
Lógica Modal
Monografia Filosófica
Lógica (Faculdade de Planaltina -FUP)
03/2016 - 07/2016
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Seminário Tutorial 1
3/2016 - 07/2016
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógicas Não-Clássicas
Lógica
Projeto de Monografia Filosófica
08/2015 - 12/2015
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica Básica
Filosofia da Lógica
03/2015 - 07/2015
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica Básica: introdução à lógica clássica
Lógica 2: introdução às lógicas modais
Monografia filosófica
04/2013 - 04/2015
Direção e administração, Instituto de Ciências Humanas, .

Cargo ou função
Membro do Conselho.
08/2014 - 12/2014
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Introdução à Filosofia
Lógica Básica
03/2014 - 07/2014
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Introdução à Filosofia
Lógica Básica
Monografia Filosófica
08/2013 - 12/2013
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica Básica
Tópicos Especiais de Lógica - Introdução às lógicas não-clássicas
04/2013 - 07/2013
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica 2 - Introdução às lógicas modais
Lógica Básica
10/2012 - 03/2013
Ensino, Engenharia de Software, Nível: Graduação

Disciplinas ministradas
Lógica 1 - Faculdade do Gama (UnB-GAMA-FGA)
10/2012 - 03/2013
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica Básica
Filosofia da Lógica
03/2012 - 10/2012
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Introdução à Filosofia
Lógica 1
Dissertação Filosófica 2
08/2011 - 12/2011
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Dissertação Filosófica I
Monografia Filosófica
Introdução à Filosofia
Lógica 1
03/2011 - 07/2011
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica 1 (2011/01)
Tópicos Especiais de Lógica (2011/01): Introdução às lógicas não-clássicas
10/2010 - 02/2011
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Dissertação Filosófica 2 (2010/02)
Lógica 1 (2010/02)
Lógica 2 (2010/02): Introdução às lógicas modais
Projeto de Monografia Filosófica (2010/02)
03/2010 - 09/2010
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Filosofia da Lógica - 2010/01
Lógica 1 - 2010/01
01/2010 - 02/2010
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Lógica 1 - curso de verão - 2010/0

City University of New York / Graduate Center, CUNY, Estados Unidos.
Vínculo institucional

2007 - 2008
Vínculo: Visiting Scholar, Enquadramento Funcional: Visiting Scholar
Outras informações
Supervisor: Prof. Dr. Arnold Koslow (Departamento de Filosofia).


Université de Neuchâtel, UNINE, Suiça.
Vínculo institucional

2003 - 2007
Vínculo: Celetista, Enquadramento Funcional: Assistente do FNS, Regime: Dedicação exclusiva.
Outras informações
Contrato de trabalho como assistente da Swiss National Science Foundation no projeto Lógica Universal coordenado pelo prof. Dr. Jean-Yves Béziau e realizado na Université de Neuchâtel (Suíça).

Atividades

08/2003 - 07/2007
Pesquisa e desenvolvimento , Institut de Logique, .

2005 - 2006
Ensino, Logique philosophique et philosophie de la logique, Nível: Graduação

Disciplinas ministradas
Logique philosophique et philosophie de la logique
2004 - 2005
Pesquisa e desenvolvimento , Institut de Logique, .

Linhas de pesquisa
Lógica Universal
2004 - 2005
Ensino, Logique appliquée à la philosophie, Nível: Graduação

Disciplinas ministradas
Logique appliquée à la philosophie
10/2003 - 02/2004
Ensino, Qu'est-ce que la logique?, Nível: Graduação

Disciplinas ministradas
O que é a Lógica?

Ecole Normale Supérieure Paris, ENS/Paris, França.
Vínculo institucional

2007 - 2007
Vínculo: Estágio de doutorado, Enquadramento Funcional: Estágio de doutorado
Outras informações
Estágio de doutorado na École Normale Supérieure de Paris (responsáveis: Dr. Andrei Rodin e Prof. Charles Alunni) - Laboratoire Pensée des Sciences.


Universidade Técnica de Lisboa, UTL, Portugal.
Vínculo institucional

2006 - 2006
Vínculo: Estágio de doutorado, Enquadramento Funcional: Estágio de doutorado
Outras informações
Estágio de doutorado no Departamento de Matemática na Universidade Técnica de Lisboa (responsável: Prof. Dr Carlos Caleiro).

Atividades

4/2006 - 6/2006
Estágios , Universidade Técnica de Lisboa, .

Estágio realizado
Combining logics.

University of Amsterdam, UVA, Holanda.
Vínculo institucional

2005 - 2005
Vínculo: Estágio de doutorado, Enquadramento Funcional: Estágio de doutorado
Outras informações
Estágio de doutorado na Universidade de Amsterdam (responsável Prof. Dr. Maarten Marx - (Faculteit der Natuurwetenschappen, Wiskunde en Informatica) com bolsa do Cantão de Neuchâtel (Suíça).

Atividades

2/2005 - 6/2005
Estágios , University of Amsterdam, .

Estágio realizado
Modal Logics.

Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2008 - 2012
Vínculo: Pesquisador associado do CLE, Enquadramento Funcional: Pesquisador Associado
Outras informações
Pesquisador Associado do Centro de Lógica, Epistemologia e História da Ciência (CLE).

Vínculo institucional

2003 - 2008
Vínculo: Participante externo, Enquadramento Funcional: Participante externo, Carga horária: 0
Outras informações
Participante externo de um projeto na área de combinação de lógicas.

Vínculo institucional

2001 - 2003
Vínculo: Bolsista, Enquadramento Funcional: Bolsista

Atividades

04/2001 - 05/2003
Pesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.

Linhas de pesquisa
Lógicas Paraconsistentes

Pontifícia Universidade Católica de Goiás, PUC GOIÁS, Brasil.
Vínculo institucional

2000 - 2000
Vínculo: Celetista formal, Enquadramento Funcional: Professor Convidado, Carga horária: 16
Outras informações
Fui responsável pelo curso "Lógica aplicada à Engenharia Civil" durante o primeiro semestre de 2000.

Atividades

08/2000 - 12/2000
Ensino, Lógica aplicada à Engenharia Civil, Nível: Graduação

Disciplinas ministradas
Lógica aplicada à Engenharia Civil

Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional

1999 - 1999
Vínculo: Monitor, Enquadramento Funcional: Monitoria Lógica

Vínculo institucional

1997 - 1998
Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20
Outras informações
Bolsista de Iniciação Científica - TEMA: Filosofia francesa contemporânea. Orientador: Francisco Ortega.

Atividades

05/1999 - 12/1999
Outras atividades técnico-científicas , Faculdade de Ciências Humanas e Filosofia, Faculdade de Ciências Humanas e Filosofia.

Atividade realizada
Monitoria de Lógica.


Linhas de pesquisa


1.
Lógicas Paraconsistentes
2.
Lógica Universal
3.
Lógicas, Metafísica e Teoria do Conhecimento
4.
Lógica Filosófica
5.
Lógicas Não-Clássicas
6.
Filosofia da Lógica
7.
Lógicas Modais
8.
Combinações de Lógicas


Projetos de pesquisa


2016 - Atual
Paraconsistentização de lógicas: a teoria geral das lógicas paraconsistentes
Descrição: Dada uma lógica, é quase sempre possível gerar a sua contraparte paraconsistente. Este projeto estuda os diferentes modos de paraconsistentizar lógicas tanto por via da teoria da prova quanto semanticamente. Área: Lógica.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Alexandre Fernandes Batista Costa Leite - Coordenador / DE SOUZA, EDELCIO G. - Integrante / DIAS, DIOGO H. B. - Integrante.
2016 - Atual
Hierarquias de lógicas da imaginação e os limites da possibilidade lógica
Descrição: Este projeto explora diferentes hierarquias de lógicas da imaginação com o objetivo de entender quais são os limites da possibilidade lógica. Algo é logicalmente possível sempre em relação a uma dada lógica de modo que não há sentido algum em falar acerca de uma possibilidade lógica absoluta. O objetivo maior do projeto é gerar várias famílias de lógicas da imaginação para modelar o escopo do logicamente possível. Além disso, este projeto busca desenvolver lógicas da justificação para modelar diferentes padrões e graus de verdade, i.e, os desvios da verdade. Áreas: Lógica, Metafísica e Epistemologia.
Situação: Em andamento; Natureza: Pesquisa.
2016 - Atual
Teoria das galáxias: anti-lógicas e contra-lógicas
Descrição: Este projeto busca continuar o desenvolvimento da teoria das galáxias, i.e, uma teoria acerca de um conjunto de mundos possíveis que satisfaz uma dada lógica. Para tanto, é preciso que se defina claramente em que consiste a relação de compatibilidade entre uma lógica e um mundo. Isso deve ser feito explorando conceitos como o de 'anti-lógica' e 'contra-lógicas'. Áreas: Lógica e Metafísica..
Situação: Em andamento; Natureza: Pesquisa.
2013 - 2016
Combinações de conceitos e teoria das galáxias
Descrição: Este projeto estuda combinações de conceitos por via dos métodos para combinar lógicas, especialmente por via da fusão estendida com axiomas de interação. Além disso, investigamos a contraparte de um dado sistema lógico com o uso daquilo que chamamos de teoria das galáxias. Ela nos permite investigar os conceitos de anti-lógica e contra-lṍgica. (Edital Universal - CNPq).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Alexandre Fernandes Batista Costa Leite - Coordenador / SALGADO DE CARVALHO, FABIO - Integrante / Hilan Bensusan - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2013
Leis de interação e combinações de conceitos
Descrição: Esta pesquisa é continuação de dois projetos anteriores: o primeiro desenvolvido na CUNY-USA e o segundo na UNICAMP-BR. A ideia central do projeto é que podemos usar métodos para combinar lógicas - fusões, produtos, dentre outros - com o objetivo de formular teses filosóficas que envolvem interações de conceitos de famílias distintas. Como um típico exemplo, podemos mencionar as interações do conceito metafísico de "possibilidade" com o conceito de "conhecimento" para formular um tipo de ceticismo. Ao utlizarmos tais métodos, podemos fazer uso de resultados de preservação de propriedades essenciais tais como corretude e completude, de modo a compreender de maneira clara e precisa como se dão conexões entre os diferentes aspectos do discurso filosófico..
Situação: Concluído; Natureza: Pesquisa.
2008 - 2009
Combinações de conceitos modais e paraconsistentização de lógicas (FAPESP at UNICAMP)
Descrição: Esta pesquisa teve por objetivo estudar a modelagem de teorias filosóficas contendo interações de conceitos não-interdefiníveis. Além disso, a teoria geral das lógicas paraconsistentes - paraconsistentização de lógicas - começou a ser elaborada. Tal método mostra como converter uma lógica qualquer em uma lógica capaz de conter inferências contraditórias..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2008
Interactions of modal concepts (Swiss National Science Foundation at City University of New York)
Descrição: This research studied some logics of imagination in order to understand the relations between the concepts of "imagination", "possibility" and conceivability. These notions are formalized and understood inside the environment of regular techniques of modal logics, especially the generated submodel constructions and bisimulations. It has proposed a new semantical condition for the imagination operator developed by Ilkka Niiniluoto. In this sense some tools able to determine what are the valid and invalid deductions for a family of logics dealing with the imagination operator and correlated modal notions were developed. Studying the logical structure of the concept of imagination allows an investigation on its interactions with other important modal notions such as possibility. In this sense, the relations between these concepts and the square of opposition were also examined. Thus, this research proposed new tools for understanding the notion of imagination..
Situação: Concluído; Natureza: Pesquisa.
2005 - 2009
Logical Consequence and Combinations of Logics-Fundaments and Efficient Applications - FAPESP
Descrição: The notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also in several aspects of computing. The study of logical inference for applications requires the understanding of combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical, algebraic and computational aspects of the resulting combined systems. From the point of view of efficient applications, approximating propositional and quantified inferences is a promising approach in the taming of the intrinsic complexities involved. Intimately related to the quest for efficiency, quantum logics and quantum computation arise as an important research area. The formidable speedup of technology requires multidisciplinary researchers involved in the hard task of providing efficient alternatives to traditional methods of inference. To cope with this challenge, the project involves 22 researchers with different backgrounds from USP and UNICAMP with the support of 8 researchers from three international research institutions..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Alexandre Fernandes Batista Costa Leite - Integrante / Walter Carnielli - Coordenador.
2003 - 2007
The Universal Logic Research Project (Swiss National Science Foundation)
Descrição: In the same way that universal algebra is a general theory of algebraic structures, universal logic is a general theory of logical structures. During the XXth century, numerous logics have been created: intuitionistic logic, modal logic, many-valued logic, relevant logic, paraconsistent logic, non monotonic logic, etc. Universal logic is not a new logic, it is a way to unify this multiplicity of logics by developing general tools and concepts, that can be applied to all logics. One aim of universal logic is to determine the domain of validity of such or such metatheorem (e.g. the completeness theorem) and to give general formulations of metatheorems. This is very useful for applications and helps to make the distinction between what is really essential to a particular logic and what is not, and thus gives a better understanding of this particular logic. Universal logic can also be seen as a toolkit for producing a specific logic required for a given situation, e.g. a paraconsistent deontic temporal logic. Universal logic helps to clarify basic concepts explaining what is an extension and what is a deviation of a given logic, what does it mean for a logic to be equivalent or translatable into another one. It allows to give precise definitions of notions often discussed by philosophers: truth-functionality, extensionality, logical form, etc..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Alexandre Fernandes Batista Costa Leite - Integrante / Jean Yves Beziau - Coordenador.


Membro de corpo editorial


2012 - Atual
Periódico: Prace Naukowe Akademii im.Jana Długosza w Częstochowie.Filozofia


Revisor de periódico


2006 - Atual
Periódico: Mathematical Reviews


Revisor de projeto de fomento


2015 - Atual
Agência de fomento: Fonds de la Recherche Scientifique (F.R.S - FNRS - Bélgica)


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Filosofia da Lógica/Especialidade: Filosofia da Lógica.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Metafísica/Ontologia.
4.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia/Teoria do Conhecimento.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2013
Prêmio Destaque de Iniciação Científica do 19º Congresso de Iniciação Científica da UnB e 10º Congresso de Iniciação Científica do DF (Orientador, 'Menção Honrosa', 2 trabalhos), DPP - ProIC - CNPq.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
1COSTA-LEITE, Alexandre2018COSTA-LEITE, Alexandre. Educação. BRASIL EM NÚMEROS (EDIÇÃO EM INGLÊS. IMPRESSO), v. 26, p. 151-167, 2018.

2.
2COSTA-LEITE, A.2017COSTA-LEITE, A.; SOUZA, E. G. . Implications and Limits of Sequences. Studia Humana, v. 6, p. 18-24, 2017.

3.
3NERI, H. R.2017NERI, H. R. ; COSTA-LEITE, A. . Ciência e Tecnologia. BRASIL EM NÚMEROS (EDIÇÃO EM INGLÊS. IMPRESSO), v. 25, p. 419-435, 2017.

4.
4COSTA-LEITE, Alexandre2016 COSTA-LEITE, Alexandre. Interplays of knowledge and non-contingency. LOGIC AND LOGICAL PHILOSOPHY, v. 25, p. 521-534, 2016.

5.
6SCHANG, F.2016SCHANG, F. ; COSTA-LEITE, A. . Une sémantique générale des croyances justifiées. CLE e-Prints (Online), v. 16, p. 1-24, 2016.

6.
5DE SOUZA, EDELCIO G.2016 DE SOUZA, EDELCIO G. ; COSTA-LEITE, Alexandre ; DIAS, DIOGO H. B. . On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, v. 26, p. 240-250, 2016.

7.
7COSTA-LEITE, A.2014 COSTA-LEITE, A.. Lógicas da justificação e quase-verdade. Principia (Florianópolis. Online), v. 18, p. 175-186, 2014.

8.
8COSTA-LEITE, A.2013COSTA-LEITE, A.. Review of 'Modalities and Multimodalities'. Manuscrito (UNICAMP), v. 36, p. 190-194, 2013.

9.
9COSTA-LEITE, A.2012COSTA-LEITE, A.. Fronteiras contingentes e conhecimento limitado. Revista Brasileira de Filosofia, v. 238, p. 179-187, 2012.

10.
10COSTA-LEITE, A.2011COSTA-LEITE, A.. Review of 'New Essays on the Knowability Paradox'. International Studies in the Philosophy of Science, v. 25, p. 193-195, 2011.

11.
11COSTA-LEITE, A.2010 COSTA-LEITE, A.. Logical properties of imagination. Abstracta : linguagem, mente e ação (Niterói), v. 6, p. 103-116, 2010.

12.
12COSTA-LEITE, A.2009COSTA-LEITE, A.. Construções sistêmicas e leis de interação. Cognitio (PUCSP), v. 10, p. 209-220, 2009.

13.
13COSTA-LEITE, A.2009COSTA-LEITE, A.. Dualidade e a estrutura do mundo. Revista Brasileira de Filosofia, v. 58, p. 233-247, 2009.

14.
14COSTA-LEITE, A.2006COSTA-LEITE, A.. Fusions of modal logics and Fitch's paradox. Croatian Journal of Philosophy, v. VI, p. 281-290, 2006.

15.
16COSTA-LEITE, A.2004COSTA-LEITE, A.. Towards a general theory of the combination of logics. Travaux de Logique, v. 17, p. 219-230, 2004.

16.
15COSTA-LEITE, A.2004COSTA-LEITE, A.. Combining possibility and knowledge. CLE e-Prints (Online), v. 4, p. 107-111, 2004.

17.
17COSTA-LEITE, A.2000COSTA-LEITE, A.. 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, 2000.

Livros publicados/organizados ou edições
1.
BÉZIAU, J-Y (Org.) ; COSTA-LEITE, A. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . Aftermath of the Logical Paradise. 1. ed. Campinas: UNICAMP, Coleção CLE, 2018. v. 81. 448p .

2.
BEZIAU, Jean Yves (Org.) ; BUCHSBAUM, A (Org.) ; COSTA-LEITE, A. (Org.) ; ALTAIR, A. (Org.) . Handbook of the 4th World Congress and School on Universal Logic. 01. ed. , 2013. 376p .

3.
BÉZIAU, J-Y (Org.) ; COSTA-LEITE, A. (Org.) . Journal of Applied Non-Classical Logics (Special Issue: Uses of Non-Classical Logic). 22. ed. Londres: Taylor and Francis, 2012. 149p .

4.
BEZIAU, Jean Yves (Org.) ; CALEIRO, C. (Org.) ; RAMOS, J. (Org.) ; COSTA-LEITE, A. (Org.) . UniLog 2010: Book of Abstracts. Lisboa: Instituto Superior Técnico - Departamento de Matemática, 2010. 112p .

5.
BEZIAU, Jean Yves (Org.) ; COSTA-LEITE, A. (Org.) . Dimensions of Logical Concepts. Campinas: Coleção CLE, 2009. v. 54. 324p .

6.
BEZIAU, Jean Yves (Org.) ; COSTA-LEITE, A. (Org.) . Perspectives on Universal Logic. Monza: Polimetrica, 2007. 434p .

7.
BEZIAU, Jean Yves (Org.) ; HE, H. (Org.) ; COSTA-LEITE, A. (Org.) ; Yixin Zhong (Org.) . Handbook of the Second World Congress and School on Universal Logic. , 2007. 94p .

8.
BEZIAU, JY. (Org.) ; COSTA-LEITE, A. (Org.) . Handbook of the First World Congress and School on Universal Logic. 1. ed. Neuchâtel: Centre de Recherches Sémiologiques, 2005. v. 300. 108p .

9.
BÉZIAU, J-Y (Org.) ; COSTA-LEITE, A. (Org.) ; FACCHINI, A. (Org.) . Aspects of Universal Logic. 1. ed. Neuchâtel: Centre de Recherches Sémiologiques, 2004. v. 300. 254p .

Capítulos de livros publicados
1.
GOMES, E.L. ; COSTA-LEITE, Alexandre . Entrevista de Alexandre Costa-Leite. '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. 1aed.Campinas: Editora da UNICAMP, 2017, v. , p. 688-695.

2.
BENSUSAN, H ; COSTA-LEITE, A. ; SOUZA, E. G. . Logics and their galaxies. In: Arnold Koslow; Arthur Buchsbaum. (Org.). The Road to Universal Logic, volume II. 1ed.Basel: Birkhauser/Springer, 2015, v. , p. 243-252.

3.
COSTA-LEITE, A.. Combining Modal Concepts: Philosophical Applications. In: Ondrej Tomala; Radek Honzík. (Org.). The Logica Yearbook 2006. 1aed.Praga: Filosofia, 2007, v. , p. 23-31.

4.
COSTA-LEITE, A.. Interview with Alexandre Costa-Leite - Formal Philosophy. In: Vincent Hendricks & John Symons. (Org.). Masses of Formal Philosophy. 1ed.New York: Automatic Press/VIP, 2006, v. , p. 09-13.

Trabalhos completos publicados em anais de congressos
1.
COSTA-LEITE, A.. Combining possibility and knowledge. In: Workshop on the Combination of Logics: Theory and Applications, 2004, Lisboa. Proceedings of the Workshop on the Combination of Logics: Theory and Applications. Lisboa: Dossier Comunicação e Imagem, 2004.

Resumos publicados em anais de congressos
1.
COSTA-LEITE, A.. Anti-lógicas e contra-lógicas. In: IX Simpósio de Filosofia da Universidade Estadual de Maringá, 2014, Maringá. Caderno de Resumos, 2014. p. 11-11.

2.
COSTA-LEITE, A.; DE SOUZA, E. . On a paraconsistentization functor. In: World Congress of Paraconsistency, 2014, Kolkata. Handbook of the 4th World Congress on Paraconsistent Logic. Kolkata: Mukto Mon, 2014. p. 46-46.

3.
BENSUSAN, H ; COSTA-LEITE, A. . Dialetheism and Galaxy Theory. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic, 2013.

4.
BENSUSAN, H ; COSTA-LEITE, A. . Antilogic, counterlogic and the square of opposition. In: III World Congress on the Square of Opposition, 2012, Beirute. Handbook of the III World Congress on the Square of Opposition. American University of Beirut, 2012. p. 40-40.

5.
COSTA-LEITE, A.. Paraconsistentization of logics: the general theory of paraconsistent logics. In: 3rd World Congress and School on Universal Logic, 2010, Monte Estoril (Lisboa). UniLog 2010: Book of Abstracts. Lisboa: Instituto Superior Técnico, 2010. p. 43-43.

6.
COSTA-LEITE, A.. Imaginary logic and the logic of imagination. In: International Conference N. A. Vasiliev's and the Modern Nonclassical Logics, 2010, Kazan. Proceedings of the Mathematical Center named after N.I. Lobachevskiy. Kazan, Russia: Kazan Mathematical Society, 2010. v. 41. p. 10-10.

7.
COSTA-LEITE, A.. Interactive laws and philosophical systems. In: First Meeting on Logic in Centro-Oeste, 2010, Goiania. Booklet of Abstracts. Goiania: Almeida & Clément Edições, 2010. p. 11-11.

8.
COSTA-LEITE, A.. Comment Engendrer les Logiques Paraconsistantes? La Paraconsistantisation des Logiques. In: Science, Truth and Consistency, 2009, Campinas. Abstracts of the CLE/AIPS Event, 2009.

9.
COSTA-LEITE, A.. Combining knowledge and contingency. In: CLE 30 anos / XV Encontro Brasileiro de Lógica / XIV SLALM, 2008, Paraty. Caderno de Resumos, 2008.

10.
COSTA-LEITE, A.. Paraconsistentization of Logics. In: The Fourth World Congress on Paraconsistency, 2008, Melbourne. Book of abstracts, 2008.

11.
COSTA-LEITE, A.. Imaginação, contradição e possibilidade. In: XIII Encontro Nacional da ANPOF - GT Lógica, 2008, Canela. Resumos, 2008.

12.
COSTA-LEITE, A.. Reducing knowledge to belief. In: First International Workshop on Foundations of Computer Science as Logic-Related, 2008, Istanbul. Abstracts, 2008.

13.
BEZIAU, Jean Yves ; COSTA-LEITE, A. ; PAYETTE, GILLMAN. . Imagination, possibility and the square of opposition. In: Square of Opposition International Congress, 2007, Montreux. Handbook of the First World Congress on the Square of Opposition, 2007.

14.
COSTA-LEITE, A.. Tutorial: Combination of Logics. In: Second World Congress and School on Universal Logic, 2007, Xi'an. Handbook of the Second World Congress and School on Universal Logic, 2007.

15.
COSTA-LEITE, A.. Church-Fitch Paradox and combining logics. In: LOGICA 2006, 2006, Hejnice. LOGICA 2006, 2006.

16.
COSTA-LEITE, A.. Combining logics: philosophical foundations and applications. In: Société de Philosophie Analytique - SOPHA (França), 2006, Aix-en-Provence. Societé de Philosophie Analytique SOPHA. p. 155-156.

17.
COSTA-LEITE, A.. Philosophical Categorification. In: Categorification in Algebra and Topology, 2006, Uppsala. Categorification in Algebra and Topology. Uppsala: Uppsala University. p. 12-12.

18.
COSTA-LEITE, A.. Les différents aspects du concept de bivalence. In: De la philosophie de la logique a la logique philosophique: le cas de la bivalence, 2005, Nancy. De la philosophie de la logique a la logique philosophique: le cas de la bivalence, 2005.

19.
COSTA-LEITE, A.. Paraconsistentization of logics. In: The 9th Asian Logic Conference, 2005, Novosibirsk. Proceedings of The 9th Asian Logic Conference, 2005.

20.
COSTA-LEITE, A.; CARNIELLI, W. . Knowability paradox and modal paraconsistent logics. In: Latin American Symposium on Mathematical Logic, 2004, San José - Costa Rica. Proceedings of the Latin American Symposium on Mathematical Logic, 2004.

21.
COSTA-LEITE, A.. Categories and philosophy. In: Third International Workshop on the History and Philosophy of Logic, Mathematics and Computation, 2004, San Sebastian, Spain. Proceedings of the Third International Workshop on the History and Philosophy of Logic, Mathematics and Computation, 2004.

22.
COSTA-LEITE, A.. Teoria das Categorias e Filosofia. In: ANPOF, 2004, Salvador, 2004.

23.
COSTA-LEITE, A.; CARNIELLI, W. . O Paradoxo da Cognoscibilidade e Lógicas Modais Paraconsistentes. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas-SP. Resumos do XIII Encontro Brasileiro de Lógica. Campinas: R Vieira Gráfica e Editora LTDA, 2003.

24.
COSTA-LEITE, A.. Contradição, Trivialização e Explosão. In: II Colóquio Nacional de Filosofia da Linguagem, 2003, Goiânia-GO. Cadernos de resumos do II Colóquio Nacional de Filosofia da Linguagem. Goiânia: UFG, 2003.

25.
COSTA-LEITE, A.. Lógicas Modais da Inconsistência Formal. In: ANPOF, 2002, São Paulo. Atas do X Encontro Nacional de Filosofia, 2002. v. 10. p. 227-227.

Apresentações de Trabalho
1.
COSTA-LEITE, A.. Lógicas da justificação e a suspensão do juízo (III Colóquio UnB-USP de Lógica e Filosofia da Lógica, Brasília, DF). 2018. (Apresentação de Trabalho/Conferência ou palestra).

2.
COSTA-LEITE, Alexandre. Estruturas da contingência e os limites da razão (UNB, Memorial Darcy Ribeiro). 2018. (Apresentação de Trabalho/Conferência ou palestra).

3.
COSTA-LEITE, Alexandre. Les hiérarchies des logiques de l'imagination (Imagination 2018, Rio de Janeiro). 2018. (Apresentação de Trabalho/Comunicação).

4.
COSTA-LEITE, A.. Justificação, Quase Verdade e a Suspensão do Juízo (Abertura da Semana de Filosofia da UFG). 2018. (Apresentação de Trabalho/Conferência ou palestra).

5.
COSTA-LEITE, A.. Hierarquias de Lógicas da Imaginação (II Colóquio UnB-USP de Lógica e Filosofia da Lógica), São Paulo, USP. 2017. (Apresentação de Trabalho/Conferência ou palestra).

6.
COSTA-LEITE, A.. Produtos de lógicas modais e a metafísica da epistemologia (CAD2: Contingency, Determination and Absurdity), UFRJ. 2017. (Apresentação de Trabalho/Comunicação).

7.
COSTA-LEITE, Alexandre. Hierarquias de Lógicas da Imaginação (Encontro Brasileiro de Lógica, Pirenópolis). 2017. (Apresentação de Trabalho/Congresso).

8.
COSTA-LEITE, A.. Produtos de lógicas modais e a metafísica da epistemologia (I Colóquio UnB-USP de Lógica e Filosofia da Lógica, FFLCH-USP). 2016. (Apresentação de Trabalho/Conferência ou palestra).

9.
COSTA-LEITE, A.. Products of modal logics: Von Wright on contingent knowledge (Universidad del Rosario, Bogotá, Colômbia). 2016. (Apresentação de Trabalho/Seminário).

10.
SOUZA, E. G. ; COSTA-LEITE, A. ; DIAS, D.H.B. . Paraconsistentization via category theory (Trends in Logic XVI, UNICAMP, SP). 2016. (Apresentação de Trabalho/Congresso).

11.
COSTA-LEITE, A.. Lógicas da justificação e quase verdade (FFLCH-USP). 2016. (Apresentação de Trabalho/Conferência ou palestra).

12.
COSTA-LEITE, A.. Geradores de dualidade e o conceito de 'negação' (Tardes Gerativas, Letras-UnB). 2015. (Apresentação de Trabalho/Seminário).

13.
COSTA-LEITE, A.. Os limites da prova jurídica (Diálogos Acadêmicos, Direito-UnB). 2015. (Apresentação de Trabalho/Seminário).

14.
COSTA-LEITE, A.; DE SOUZA, E. . On a paraconsistentization functor (World Congress of Paraconsistency, India, Kolkata), Indian Statistical Institute. 2014. (Apresentação de Trabalho/Congresso).

15.
COSTA-LEITE, A.. Anti-lógicas e contra-lógicas (Universidade Estadual de Maringá). 2014. (Apresentação de Trabalho/Conferência ou palestra).

16.
COSTA-LEITE, A.. A metafísica das anti-lógicas e contra-lógicas (Universidade Federal de Ouro Preto). 2014. (Apresentação de Trabalho/Conferência ou palestra).

17.
COSTA-LEITE, A.. Fusions of modal logics and Interactive laws (The University of Tokyo, Japão). 2013. (Apresentação de Trabalho/Seminário).

18.
COSTA-LEITE, A.. Imagination, conception and contradiction (Qatar University, Qatar). 2013. (Apresentação de Trabalho/Seminário).

19.
COSTA-LEITE, A.. Imagination, contradiction and paraconsistent Logics, University of Athens, Greece. 2013. (Apresentação de Trabalho/Congresso).

20.
COSTA-LEITE, A.. Sobre a decadência e reconstrução dos sistemas filosóficos (Universidade Federal Rural do Rio de Janeiro). 2012. (Apresentação de Trabalho/Seminário).

21.
COSTA-LEITE, A.. Logical properties of imagination (Istanbul University, Turquia). 2012. (Apresentação de Trabalho/Seminário).

22.
BENSUSAN, H ; COSTA-LEITE, A. . Antilogic, counterlogic and the square of opposition (American University of Beirut, Líbano). 2012. (Apresentação de Trabalho/Congresso).

23.
COSTA-LEITE, A.. Fronteiras contingentes e conhecimento limitado (UFRJ, Rio de Janeiro). 2012. (Apresentação de Trabalho/Comunicação).

24.
COSTA-LEITE, A.. Logical properties of imagination (Petrópolis, Encontro Brasileiro de Lógica). 2011. (Apresentação de Trabalho/Congresso).

25.
COSTA-LEITE, A.. Combinando filósofos pré-socráticos: o incrível caso de Heraclimênides (ARCHAI, UnB). 2011. (Apresentação de Trabalho/Seminário).

26.
COSTA-LEITE, A.. Sistemas filosóficos, fronteiras contingentes e conhecimento limitado (ANARCHAI, UnB). 2011. (Apresentação de Trabalho/Seminário).

27.
COSTA-LEITE, A.. Logical properties of imagination (Seminários do Grupo de Lógica e Filosofia da Ciência da UnB). 2011. (Apresentação de Trabalho/Seminário).

28.
COSTA-LEITE, A.. Lógicas temporais, paraconsistência e história (Seminário dos estudantes de História da UnB). 2011. (Apresentação de Trabalho/Conferência ou palestra).

29.
COSTA-LEITE, A.. Imaginação e contradição: combinando lógicas modais e paraconsistentes. 2011. (Apresentação de Trabalho/Congresso).

30.
COSTA-LEITE, A.. Paraconsistentization of logics: the general theory of paraconsistent logics. 2010. (Apresentação de Trabalho/Congresso).

31.
COSTA-LEITE, A.. Paraconsistentização de Lógicas (Seminários - CLE-UNICAMP). 2010. (Apresentação de Trabalho/Seminário).

32.
COSTA-LEITE, A.. Paraconsistentização de lógicas (Seminário Newton da Costa na UFPB). 2010. (Apresentação de Trabalho/Conferência ou palestra).

33.
COSTA-LEITE, A.. Interactive laws and philosophical systems (First Meeting on Logic in Centro-Oeste - UFG). 2010. (Apresentação de Trabalho/Comunicação).

34.
COSTA-LEITE, A.. Interactive laws and combined concepts (Logic and Computation Seminar - Universidade Técnica de Lisboa - Portugal). 2010. (Apresentação de Trabalho/Seminário).

35.
COSTA-LEITE, A.. Imaginary logic and the logic of imagination (Kazan Federal University, Russia). 2010. (Apresentação de Trabalho/Conferência ou palestra).

36.
COSTA-LEITE, A.. Combinando conhecimento e contingência (Seminários do grupo de Lógica e Filosofia da Ciência da Universidade de Brasília). 2010. (Apresentação de Trabalho/Seminário).

37.
COSTA-LEITE, A.. A estrutura lógica da imaginação (Seminários de Lógica CLE-UNICAMP). 2009. (Apresentação de Trabalho/Seminário).

38.
COSTA-LEITE, A.. A estrutura lógica da imaginação (Colóquio UnB). 2009. (Apresentação de Trabalho/Comunicação).

39.
COSTA-LEITE, A.. Introdução à combinação de lógicas (Colóquio de Lógica - USP). 2009. (Apresentação de Trabalho/Outra).

40.
COSTA-LEITE, A.. A estrutura lógica da imaginação (Colóquio de Lógica -USP). 2009. (Apresentação de Trabalho/Simpósio).

41.
COSTA-LEITE, A.. Paraconsistentization of Logics (In honor of Prof. Newton da Costa) - Science, Truth and Consistency, UNICAMP. 2009. (Apresentação de Trabalho/Comunicação).

42.
COSTA-LEITE, A.. Redução do conhecimento à crença (IME-USP- Seminário LIAMF). 2009. (Apresentação de Trabalho/Seminário).

43.
COSTA-LEITE, A.. Combining knowledge and contingency (Buffalo Logic Colloquium- The State University of New York - University at Buffalo ). 2008. (Apresentação de Trabalho/Seminário).

44.
COSTA-LEITE, A.. Combining knowledge and contingency (CLE-EBL-SLALM, Paraty, Brasil). 2008. (Apresentação de Trabalho/Conferência ou palestra).

45.
COSTA-LEITE, A.. Lé préservationisme et la paraconsistance - Comments on "On Preserving" (eds: Schotch, Brown & Jennings, University of Toronto Press) University of British Columbia, Canada. 2008. (Apresentação de Trabalho/Comunicação).

46.
COSTA-LEITE, A.. Combining modal concepts: philosophical applications (Knowledge, Games and Belief Group - The Graduate Center, City University of New York). 2008. (Apresentação de Trabalho/Seminário).

47.
COSTA-LEITE, A.. Combining knowledge and contingency (Workshop: Geneva-Barcelone). 2007. (Apresentação de Trabalho/Comunicação).

48.
BEZIAU, Jean Yves ; PAYETTE, GILLMAN. ; COSTA-LEITE, A. . Imagination, possibility and the square of opposition (Square of Opposition International Congress, Montreux, Switzerland). 2007. (Apresentação de Trabalho/Comunicação).

49.
COSTA-LEITE, A.. Combining knowledge and contingency (Seminaire IHPST, Universite Paris 1 , France). 2007. (Apresentação de Trabalho/Seminário).

50.
COSTA-LEITE, A.. Connaissance, croyance et contingence (Seminaires des Archives Poincare, Universite de Nancy 2, France). 2007. (Apresentação de Trabalho/Seminário).

51.
COSTA-LEITE, A.. The combined logics of skepticism (CombLog'07: International Workshop, Switzerland). 2007. (Apresentação de Trabalho/Outra).

52.
COSTA-LEITE, A.. Combining knowledge and contingency (13th International Congress of Logic, Methodology and Philosophy of Science, Beijing, China). 2007. (Apresentação de Trabalho/Conferência ou palestra).

53.
COSTA-LEITE, A.. Tutorial: Methods for Combining Logics (Second World Congress and School on Universal Logic, Xi'an, Northwestern Polytechnical University, China). 2007. (Apresentação de Trabalho/Outra).

54.
COSTA-LEITE, A.. The combined logics of skepticism (Séminaire de Logique, Université du Quebec à Montréal/Université de Montréal ). 2007. (Apresentação de Trabalho/Seminário).

55.
COSTA-LEITE, A.. Combining possibility and knowledge revisited (1st Philosophy Graduate Conference at the Central European University - Budapest - Hungria). 2006. (Apresentação de Trabalho/Conferência ou palestra).

56.
COSTA-LEITE, A.. The Church-Fitch paradox and combining logics (Logic and Computation Seminar - Universidade Técnica de Lisboa - Lisboa - Portugal). 2006. (Apresentação de Trabalho/Seminário).

57.
COSTA-LEITE, A.. The Church-Fitch paradox and combining logics (Seminário de Lógica Matemática - Universidade de Lisboa e Instituto Superior Técnico, Lisboa, Portugal). 2006. (Apresentação de Trabalho/Seminário).

58.
COSTA-LEITE, A.. The Church-Fitch paradox and combining logics (Hejnice, Czech Republic, LOGICA 2006). 2006. (Apresentação de Trabalho/Congresso).

59.
COSTA-LEITE, A.. La possibilité, la connaissance et le paradoxe de Fitch (Seminaire de L'institut de Philosophie - Neuchâtel - Université de Neuchâtel - Suíça). 2006. (Apresentação de Trabalho/Seminário).

60.
COSTA-LEITE, A.. Philosophical Categorification (Categorification in Algebra and Topology: Swedish Research Council, Uppsala University, Suécia). 2006. (Apresentação de Trabalho/Conferência ou palestra).

61.
COSTA-LEITE, A.. Combining logics: its philosophical foundations and applications (SOPHA Société de Philosophie Analytique FR, Université Aix-en-Provence, França). 2006. (Apresentação de Trabalho/Conferência ou palestra).

62.
COSTA-LEITE, A.. Acontecimento e Contingência (Workshop: futuro e limites da metafísica. Goiânia, Brasil). 2006. (Apresentação de Trabalho/Comunicação).

63.
COSTA-LEITE, A.. Logiques, catégories et concepts (Université de Nice Sophia Antipolis - Nice - França). 2005. (Apresentação de Trabalho/Conferência ou palestra).

64.
COSTA-LEITE, A.. Les différents aspects du concept de bivalence ( From Philosophy of Logic to Philosophical Logic: the case of bivalence - Université de Nancy 2 - França). 2005. (Apresentação de Trabalho/Congresso).

65.
COSTA-LEITE, A.. Paraconsistentization of logics? (Ghent University - Centre for Logic and Philosophy of Science - Bélgica). 2005. (Apresentação de Trabalho/Seminário).

66.
COSTA-LEITE, A.. Paraconsistentization of logics (Logic-Philosophical Workshop - Torun - Polônia). 2005. (Apresentação de Trabalho/Congresso).

67.
COSTA-LEITE, A.. Paraconsistentization of Logics: the general theory of paraconsistente logics (3rd meeting of the Vicious Circle Society - Haus der Universität - Bern - Suíça). 2005. (Apresentação de Trabalho/Conferência ou palestra).

68.
COSTA-LEITE, A.. Proposition, Identité et Théorie des Catégories (Rencontres du Centre Romand en Logique, Histoire et Philosophie des Sciences ? Université de Lausanne - Lausanne - Suíça). 2005. (Apresentação de Trabalho/Conferência ou palestra).

69.
COSTA-LEITE, A.. Possibilité, Connaissance et Paradoxe (Colloque des doctorants de l'Université de Genève - Université de Genève, Genève - Suíça). 2005. (Apresentação de Trabalho/Conferência ou palestra).

70.
COSTA-LEITE, A.. Ferramentas e conceitos para filósofos (Workshop: Futuro e Limites da Filosofia (The future and limits of philosophy) ? Goiânia - Brasil - 2005). 2005. (Apresentação de Trabalho/Conferência ou palestra).

71.
COSTA-LEITE, A.. Logiques, Catégories et Concepts (École Doctorale Romande en Philosophie - University of Fribourg ? Fribourg - Suíça). 2005. (Apresentação de Trabalho/Conferência ou palestra).

72.
COSTA-LEITE, A.. Combining possibility and knowledge (Workshop on Combination of Logics: Theory and Applications - Universidade Técnica de Lisboa - Lisboa - Portugal). 2004. (Apresentação de Trabalho/Congresso).

73.
COSTA-LEITE, A.. General theory on the combination of logics (2nd Seminar for Swiss PhD students in Logic - University of Bern - Bern - Suíça). 2004. (Apresentação de Trabalho/Seminário).

74.
COSTA-LEITE, A.. Categories and philosophy (5th Swiss Meeting of Graduate Students in Philosophy - University of Bern - Bern - Suíça ). 2004. (Apresentação de Trabalho/Congresso).

75.
COSTA-LEITE, A.. Paraconsistency and knowability - Joint work with W.A. Carnielli and M.E. Coniglio (The Logic Tea - Institute for Logic, Language and Computation - University of Amsterdam - Amsterdam - Holanda). 2004. (Apresentação de Trabalho/Seminário).

76.
COSTA-LEITE, A.. Categories and Philosophy - (Third International Workshop on the History and Philosophy of Logic, Mathematics and Computation) - University of the Basque Country - Espanha. 2004. (Apresentação de Trabalho/Conferência ou palestra).

77.
COSTA-LEITE, A.. Methods for combining logics (La demi-journée scientifique du Centre romand de Logique, University of Lausanne - Suíça). 2004. (Apresentação de Trabalho/Seminário).

78.
COSTA-LEITE, A.. Fusion et produits des logiques ( Séminaire de L'institut de Logique - Lógica - Neuchâtel - University of Neuchâtel - Suíça). 2004. (Apresentação de Trabalho/Seminário).

79.
COSTA-LEITE, A.. Modal paraconsistent logics (joint work with W. A. Carnielli and M. E. Coniglio) - Institut de Logique - Neuchâtel - Suíça. 2004. (Apresentação de Trabalho/Seminário).

80.
COSTA-LEITE, A.. Methods for combining logics (1st Seminar for Swiss PhD students in Logic - Neuchatel - Suíça). 2003. (Apresentação de Trabalho/Seminário).

81.
COSTA-LEITE, A.. Lógicas modais paraconsistentes e o paradoxo da cognoscibilidade (XIII Brazilian Logic Conference - Campinas - Brasil). 2003. (Apresentação de Trabalho/Conferência ou palestra).

82.
COSTA-LEITE, A.. Possibility and knowledge (Seminaire de L'institut de Logique - Lógica - Neuchâtel - University of Neuchâtel - Suíça). 2003. (Apresentação de Trabalho/Seminário).

83.
COSTA-LEITE, A.. Contradicão, trivialização e explosão (II Colóquio de Filosofia da Linguagem - Goiânia - Brasil). 2003. (Apresentação de Trabalho/Conferência ou palestra).

84.
COSTA-LEITE, A.. Lógicas modais da inconsistência formal - ANPOF - Campinas - Brasil). 2002. (Apresentação de Trabalho/Congresso).

85.
COSTA-LEITE, A.. Aspectos sintáticos de algumas lógicas da inconsistência formal (Seminários de Lógica do Centro de Lógica e Epistemologia, Campinas - UNICAMP, Brasil). 2002. (Apresentação de Trabalho/Seminário).

86.
COSTA-LEITE, A.. Auto-referência do conceito e solilóquio da filosofia ( Encontro de Iniciação Científica do CNPq - Uberlândia - UFU). 1998. (Apresentação de Trabalho/Simpósio).

Outras produções bibliográficas
1.
SOUZA, E. G. ; COSTA-LEITE, A. ; DIAS, D.H.B. . Paradeduction in axiomatic formal systems. Cornell: arXiv, 2017 (Pre-print).

2.
COSTA-LEITE, A.. Oppositions in a line segment. Cornell: arXiv, 2016 (Pre-print).

3.
COSTA-LEITE, A.. 'On JYB' em 'The Road to Universal Logic', volume II. Basel: Springer/Birkhauser, 2015 (Nota).

4.
BEZIAU, Jean Yves ; COSTA-LEITE, A. . Journal of Applied Non-Classical Logics. Londres, 2012. (Prefácio, Pósfacio/Apresentação)>.

5.
COSTA-LEITE, A.. Auto-referência do conceito e solilóquio da filosofia 1998 (Pre-print).


Produção técnica
Trabalhos técnicos
1.
COSTA-LEITE, Alexandre. Parecer: Revista de Filosofia Moderna e Contemporânea da UnB. 2018.

2.
COSTA-LEITE, Alexandre. Parecer: Roczniki Filozoficzne/Annales de Philosophie/Annals of Philosophy. 2018.

3.
COSTA-LEITE, A.. Parecer: Special Issue Logic Journal of the IGPL (Oxford) - 17th Latin American Symposium on Mathematical Logic (SLALM 2017). 2018.

4.
COSTA-LEITE, Alexandre. Parecer: South American Journal of Logic. 2017.

5.
COSTA-LEITE, Alexandre. Parecer: Principia - Revista Internacional de Epistemologia. 2017.

6.
COSTA-LEITE, Alexandre. Leitor _ad hoc_ Capes - Roteiro de Classificação de Livros da Filosofia. 2017.

7.
COSTA-LEITE, A.. Parecer: Logica Universalis - Special Issue on 'Logic and Religion'. 2016.

8.
COSTA-LEITE, Alexandre. Parecer: Caderno de Squibs - Temas em estudos formais da linguagem. 2016.

9.
COSTA-LEITE, A.. Parecer: Erkenntnis - an international journal of scientific philosophy. 2015.

10.
COSTA-LEITE, A.. Parecer: Journal of Logic and Computation. 2015.

11.
COSTA-LEITE, A.. Parecer: Principia - Revista Internacional de Epistemologia. 2014.

12.
COSTA-LEITE, A.. Parecer: Kriterion - Revista de Filosofia. 2014.

13.
COSTA-LEITE, A.. Parecer: Editora da Unesp. 2014.

14.
COSTA-LEITE, A.. Parecer: Revista de Filosofia Moderna e Contemporânea. 2014.

15.
COSTA-LEITE, A.. Parecer: Editora da Unesp. 2013.

16.
COSTA-LEITE, A.. Parecer: Logica Universalis. 2012.

17.
COSTA-LEITE, A.. Parecer: Logica Universalis (Birkhauser). 2011.

18.
COSTA-LEITE, A.. Parecer: Let's be logical (College Publications, UK). 2011.

19.
COSTA-LEITE, A.. Revisão: 'Um Curso de Lógica' de Ricardo Sousa Silvestre (Ed. Vozes). 2011.

20.
COSTA-LEITE, A.. Parecer: Theory and Decision (Springer). 2010.

21.
COSTA-LEITE, A.. Parecer: Logica Universalis (Birkhauser). 2010.

22.
COSTA-LEITE, A.. Parecer: CLE e-prints (UNICAMP). 2010.

23.
COSTA-LEITE, A.. Parecer: Revista Ingeniaría y Ciencia (EAFIT). 2010.

24.
COSTA-LEITE, A.. Parecer: Abstracta - Revista de Filosofia. 2009.

25.
COSTA-LEITE, A.. Parecer: Mind - A Quarterly Review of Philosophy (Oxford). 2009.

26.
COSTA-LEITE, A.. Parecer: Special Issue - Logic Journal of the IGPL (Oxford). 2009.

27.
COSTA-LEITE, A.. Parecer: Prolegomena - Journal of Philosophy. 2009.

28.
COSTA-LEITE, A.. Parecer: Special Issue - Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science (Springer). 2006.

29.
COSTA-LEITE, A.. Parecer: Acta Analytica (Springer). 2006.

30.
COSTA-LEITE, A.. Parecer: III WCP-2003 (Third World Congress on Paraconsistency) - IRIT, Toulouse, France, 2003. 2003.

31.
COSTA-LEITE, A.. Revisão: 'Tendências atuais da Filosofia' de Jean-Yves Béziau. 2003.


Demais tipos de produção técnica
1.
COSTA-LEITE, A.. Lógica Filosófica e Filosofia da Lógica. 2014. (Curso de curta duração ministrado/Outra).

2.
COSTA-LEITE, A.. Faces da Negação. 2011. (Curso de curta duração ministrado/Outra).

3.
COSTA-LEITE, A.. The Paraconsistent Newsletters. 2004. (Desenvolvimento de material didático ou instrucional - Newsletters).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
COSTA-LEITE, A.; FREIRE, R. A.; BATCHELOR, R; SOUZA, E. G.. Participação em banca de Christian Marcel de Amorim Perret Gentil Dit Maillard. Teoria de Categorias: Uma Semântica Categorial para Linguagens Proposicionais. 2018. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

2.
RUFFINO, M.; COSTA-LEITE, A.; CARNIELLI, W.. Participação em banca de Igor de Camargo e Souza Câmara. Condicionais Contrafatuais e Contrapossíveis. 2018. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

3.
LECLERC, A.; LAZZERI, F.; COSTA-LEITE, A.. Participação em banca de Diego Felipe Moraes de Souza. Consciência irredutível: considerações acerca da subjetividade ante o paradigma naturalista. 2018. Dissertação (Mestrado em Filosofia) - Universidade de Brasília.

4.
CONIGLIO, M. E.; COSTA-LEITE, A.; CARNIELLI, W.. Participação em banca de Edson Vinícius Bezerra. Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedades. 2017. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

5.
CABRERA, J.; COSTA-LEITE, A.; MOLINA, J. A.. Participação em banca de Fábio Salgado de Carvalho. A Antessala da argumentação. Por uma abordagem negativa. 2015. Dissertação (Mestrado em Filosofia) - Universidade de Brasília.

6.
DE MORAES, LAFFAYETE; COSTA-LEITE, A.; De Souza, E. G.. Participação em banca de Diogo Henrique Bispo Dias. Lógicas paraconsistentes de um ponto de vista filosófico. 2013. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo.

7.
SANZ, W.; SAUTTER, F.T.; COSTA-LEITE, A.. Participação em banca de Diego Pinheiro Fernandes. As teorias de revisão de crenças e os enunciados contrafactuais. 2012. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

8.
BENSUSAN, HILAN; SCHIRMER, CESAR; COSTA-LEITE, A.. Participação em banca de Tomás Ribeiro Cardoso. Nomes vazios: um estudo do problema e cinco soluções. 2011. Dissertação (Mestrado em Filosofia) - Universidade de Brasília.

9.
D'OTTAVIANO, I; COSTA-LEITE, A.; BUENO-SOLER, J.; TASSINARI, R. Participação em banca de Dante Cardoso Pinto de Almeida. A Persistência do Paradoxo da Cognoscibilidade. 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

10.
D'OTTAVIANO, I; COSTA-LEITE, A.; DURANTE, D.. Participação em banca de Daniel Liberalino Monte. Paraconsistência e Modalidade. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Teses de doutorado
1.
CHATTI, S.; PIZZI, C.; MOKTEFI, A.; BEZIAU, Jean Yves; COSTA-LEITE, A.. Participação em banca de Antonio Marmo da Cunha Oliveira. Dissenso lógico, mudanças de paradigma e pluralismo. 2018. Tese (Doutorado em Filosofia) - Universidade Federal do Rio de Janeiro.

2.
MARIANO, H. L.; SOUZA, E. G.; BATCHELOR, R; FREIRE, R. A.; COSTA-LEITE, A.. Participação em banca de Pedro Alonso Amaral Falcão. On pre-complete systems of modal functions. 2017. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

3.
D'OTTAVIANO, I. M. L.; COSTA-LEITE, A.; FREIRE, R. A.; SOUZA, E. G.; MARIANO, H. L.; VENTURI, G.. Participação em banca de Edgar Luis Bezerra de Almeida. Análise das condições de existência e dos requerimentos existenciais em axiomatizações da aritmética. 2017. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

4.
BATCHELOR, R; PLASTINO, C. E; DE SOUZA, E.; DA COSTA, N; COSTA-LEITE, A.; GOMES, E.L.. Participação em banca de Saul Gurfinkel Marques de Godoy. Estudos em lógica paraconsistente deôntica DL-DQ=. 2017. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

5.
CARNIELLI, W.; CHIBENI, S. S; LIMA-MARQUES, M.; GONZALEZ, M. E. Q.; COSTA-LEITE, A.. Participação em banca de Samir Bezerra Gorsky. A Lógica e a Metafísica dos Enigmas: Surpresa, Espanto e Informação.. 2013. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

6.
BUENO-SOLER, J.; CONIGLIO, M; FEITOSA, H.A.; DE SOUZA, E.; COSTA-LEITE, A.. Participação em banca de Luiz Henrique da Cruz Silvestrini. Uma nova abordagem para a noção de quase-verdade. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
BÉZIAU, J-Y; SCHANG, F.; COSTA-LEITE, A.. Participação em banca de Antonio Marmo da Cunha Oliveira. Dissenso, mudanças de paradigma e pluralismo em lógica. 2017. Exame de qualificação (Doutorando em Filosofia) - Universidade Federal do Rio de Janeiro.

2.
SOUZA, E. G.; BATCHELOR, R; COSTA-LEITE, A.. Participação em banca de Pedro Alonso Amaral Falcão. On pre-complete systems of modal functions. 2016. Exame de qualificação (Doutorando em Filosofia) - Universidade de São Paulo.

3.
SOUZA, E. G.; BATCHELOR, R; COSTA-LEITE, A.. Participação em banca de Diogo Henrique Bispo Dias. Paraconsistentização de Lógicas. 2016. Exame de qualificação (Doutorando em Filosofia) - Universidade de São Paulo.

4.
LIMA-MARQUES, M.; DUQUE, C.G.; COSTA-LEITE, A.. Participação em banca de Alfram Roberto Rodrigues Albuquerque. Arquitetura da Informação: Modelos Formais. 2010. Exame de qualificação (Doutorando em Ciências da Informação) - Universidade de Brasília.

5.
CARNIELLI, W.; CONIGLIO, M; COSTA-LEITE, A.. Participação em banca de Luiz Henrique da Cruz Silvestrini. Quantificadores Generalizados, Semântica de Sociedades e a Quase-Verdade. 2010. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Qualificações de Mestrado
1.
LECLERC, A.; FREIRE, R. A.; COSTA-LEITE, A.. Participação em banca de Diego Felipe Moraes de Souza. Consciência irredutível: considerações acerca da sujetividade ante o paradigma naturalista. 2018. Exame de qualificação (Mestrando em Filosofia) - Universidade de Brasília.

2.
FREIRE, R. A.; HAHN, A.; COSTA-LEITE, A.. Participação em banca de Daniel de Albuquerque Violato. Atualizando Kant: uma avaliação da identidade entre lógica transcendental e lógica geométrica. 2018. Exame de qualificação (Mestrando em Filosofia) - Universidade de Brasília.

3.
SOUZA, E. G.; BATCHELOR, R; COSTA-LEITE, A.. Participação em banca de Guilherme Messias Pereira Lima. Semântica topológica para a lógica modal quanticada: sob uma perspectiva metafísica. 2017. Exame de qualificação (Mestrando em Filosofia) - Universidade de São Paulo.

4.
STARIKOVA, I.; COSTA-LEITE, A.; SOUZA, E. G.. Participação em banca de Christian Marcel de Amorim Perret Gentil Dit Mail. Uma semântica categorial para o cálculo proposicional. 2016. Exame de qualificação (Mestrando em Filosofia) - Universidade de São Paulo.

5.
CABRERA, J.; OLAVO L.S.F; COSTA-LEITE, A.. Participação em banca de Fábio Salgado de Carvalho. A antessala da argumentação. Por uma abordagem negativa.. 2014. Exame de qualificação (Mestrando em Filosofia) - Universidade de Brasília.

6.
SANZ, W.; COSTA, V. G.; COSTA-LEITE, A.. Participação em banca de Hermógenes Hebert Pereira Oliveira. Proof-Theoretic Semantics: A Study. 2013. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal de Goiás.

7.
DE SOUZA, E.; DE MORAES, LAFFAYETE; COSTA-LEITE, A.. Participação em banca de Diogo Henrique Bispo Dias. A lógica paraconsistente de um ponto de vista filosófico. 2012. Exame de qualificação (Mestrando em Filosofia) - Pontifícia Universidade Católica de São Paulo.

8.
BÉZIAU, J-Y; RODRIGUES, F.A.R.; COSTA-LEITE, A.. Participação em banca de Pedro Augusto Carelli de Castro Chaves. Articulação lógica das concepções de justiça. 2012. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal do Rio de Janeiro.

9.
CARNIELLI, W.; CONIGLIO, M; COSTA-LEITE, A.. Participação em banca de Pietro Kreitlon Carolino. Polinomização de Lógicas. 2009. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

Trabalhos de conclusão de curso de graduação
1.
CARIBE, R. C. V.; VIEIRA, S. B.; COSTA-LEITE, A.. Participação em banca de Mozart Teixeira Braga.Representação e recuperação da informação filosófica. 2017. Trabalho de Conclusão de Curso (Graduação em Biblioteconomia) - Universidade de Brasília.

2.
GOMMA, A. F.; FRAZÃO, A. O.; COSTA-LEITE, A.. Participação em banca de Roberto de Santana Araújo.O papel da argumentação no direito e o abuso de direito no processo. 2015. Trabalho de Conclusão de Curso (Graduação em Direito) - Universidade de Brasília.

3.
BENSUSAN, HILAN; COSTA-LEITE, A.. Participação em banca de Rômulo Fontinelle.Lógicas e metafísicas: em direção à filosofia das galáxias. 2015. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade de Brasília.

4.
COSTA-LEITE, A.; GORSKY, S.. Participação em banca de Albertina Nort.Rótulos de argumentos: conceito e análise do 'argumento das falácias informais'. 2014. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade de Brasília.

5.
BRANDÃO, M.F.R.; KAFURE, I.; GONDIM, J.J.C.; COSTA-LEITE, A.. Participação em banca de Daniel Lucas Albuquerque de Freitas.Um modelo de recuperação semântica da informação baseado na lógica da imaginação. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

6.
GOMES, N. G.; COSTA-LEITE, A.. Participação em banca de Helke Cunha de Carvalho.A relação entre regras gramaticais e significado nas "Investigações Filosóficas" de Wittgenstein. 2011. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade de Brasília.

7.
CONIGLIO, M; CARNIELLI, W.; COSTA-LEITE, A.. Participação em banca de Diego Amaro Varela.Lógicas da Inconsistência Formal e Dialeteísmo. 2009. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Estadual de Campinas.



Participação em bancas de comissões julgadoras
Concurso público
1.
LIMA-MARQUES, M.; COSTA-LEITE, A.; SOUZA, E. G.. Lógica. 2014. Universidade de Brasília.

2.
GOMES, N. G.; SANZ, W.; COSTA-LEITE, A.. Lógica e Filosofia da Lógica. 2011. Universidade de Brasília.

Outras participações
1.
CALHEIROS, A; RUFINONI, P; COSTA-LEITE, A.. Seleção simplificada para professor substituto. 2011. Universidade de Brasília.

2.
COSTA-LEITE, A.. Membro Suplente: Processo Seletivo Público para Professor Doutor (Unicamp) na Área do Núcleo Básico Geral Comum - FCA/UNICAMP/Limeira. 2010. Universidade Estadual de Campinas.

3.
COSTA-LEITE, A.. Membro Suplente: Processo Seletivo Público para Professor Doutor (Unicamp) na Área do Núcleo Básico Geral Comum - FCA/UNICAMP/Limeira. 2009. Universidade Estadual de Campinas.



Eventos



Organização de eventos, congressos, exposições e feiras
1.
COSTA-LEITE, A.; SOUZA, E. G. ; FREIRE, R. A. . III Colóquio UnB-USP de Lógica e Filosofia da Lógica. 2018. (Outro).

2.
COSTA-LEITE, A.. Table Ronde _Logique de L'imagination_ dans le _37ème congrès de l'Association des Sociétés de Philosophie de Langue Française_. 2018. (Outro).

3.
COSTA-LEITE, A.. Workshop: estudos em lógica filosófica (com trabalhos de alunos de graduação e pós-graduação). 2017. (Outro).

4.
SCHANG, F. ; COSTA-LEITE, A. . Minicurso: Introduction to Philosophical Logic. 2016. (Outro).

5.
ALMEIDA, M. C. P. ; COSTA-LEITE, A. ; ABDELLA, S. . Democracia, Economia e Sistema de Governo na Etiópia. 2014. (Outro).

6.
BÉZIAU, J-Y ; COSTA-LEITE, A. ; D'OTTAVIANO, I ; GAN-KRZYWOSYNSKA, K. . 4th World Congress and School on Universal Logic. 2013. (Congresso).

7.
BENSUSAN, HILAN ; COSTA-LEITE, A. . Graham Priest na Universidade de Brasília. 2013. (Outro).

8.
COSTA-LEITE, A.; FREIRE, R. A. . Seminário Permanente 'Lógica no Avião'. 2013. (Outro).

9.
COSTA-LEITE, A.; BÉZIAU, J-Y . Workshop: Contingency, Absurdity and Determination. 2012. (Outro).

10.
SALGADO DE CARVALHO, F ; COSTA-LEITE, A. . Workshop on logic and truth. 2011. (Outro).

11.
COSTA-LEITE, A.; BÉZIAU, J-Y . Minicurso: Introdução à Lógica Universal. 2011. (Outro).

12.
BEZIAU, Jean Yves ; CALEIRO, C. ; COSTA-LEITE, A. ; RAMOS, J. . 3rd World Congress and School on Universal Logic. 2010. (Congresso).

13.
COSTA-LEITE, A.. Special Session on Paraconsistent Logics at UNILOG'10. 2010. (Outro).

14.
CARNIELLI, W. ; COSTA-LEITE, A. ; MAGNANI, L. . Model-Based Reasoning in Science and Technology. 2009. (Congresso).

15.
BEZIAU, Jean Yves ; PAYETTE, GILLMAN. ; COSTA-LEITE, A. . Square of Opposition International Congress. 2007. (Congresso).

16.
COSTA-LEITE, A.; BEZIAU, Jean Yves ; HE, H. ; ZHONG, Y. . 2nd World Congress and School on Universal Logic. 2007. (Congresso).

17.
COSTA-LEITE, A.; PALACIOS, A. . Workshop: futuro e limites da metafísica - possibilidade, necessidade e contingência. 2006. (Outro).

18.
BEZIAU, Jean Yves ; FACCHINI, Alessandro ; COSTA-LEITE, A. ; SICA, G . 1st World Congress and School on Universal Logic (Um dos maiores encontros de lógica que já existiu no mundo. Participação de Kripke, Gabbay etc. - Montreux - Suíça). 2005. (Congresso).

19.
COSTA-LEITE, A.; PALACIOS, A. . Workshop: futuro e limites da filosofia. 2005. (Outro).

20.
COSTA-LEITE, A.; FACCHINI, Alessandro ; DEGRANGE, C. . 3rd Meeting of the Vicious Circle Society. 2005. (Outro).

21.
CARNIELLI, W. ; CONIGLIO, M ; D'OTTAVIANO, I ; COSTA-LEITE, A. . XIII Encontro Brasileiro de Lógica (Campinas - Brasil). 2003. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Hítalo Fernandes de Oliveira. Lógicas relevantes e conhecimento procedural.. Início: 2018. Dissertação (Mestrado em Filosofia) - Universidade de Brasília. (Orientador).

2.
Alan René Maciel Antezana. Necessitismo e contingentismo em lógicas modais quantificadas. Início: 2017. Dissertação (Mestrado em Filosofia) - Universidade de Brasília. (Orientador).

3.
Gregory Wagner Nunes Carneiro de Oliveira. Estudos preliminares para uma lógica das normas. Início: 2017. Dissertação (Mestrado em Filosofia) - Universidade de Brasília. (Orientador).

Tese de doutorado
1.
Gabriel Filipe Santana Lima. Tempo, causação e contingência. Início: 2018. Tese (Doutorado em Filosofia) - Universidade de Brasília. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Gabriel Filipe Santana Lima. Ciborgues e Mente Estendida: Uma Abordagem Lógica. 2018. Dissertação (Mestrado em Filosofia) - Universidade de Brasília, . Orientador: Alexandre Fernandes Batista Costa Leite.

Trabalho de conclusão de curso de graduação
1.
Samuel Gonçalves Garrido. Reflexões sobre o nada e o não ser. 2017. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

2.
Gregory Wagner Nunes Carneiro de Oliveira. Lógica e ordem: um caso paraconsistente. 2016. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

3.
Marcos Ruben de Oliveira. A quase verdade nas lógicas polivalentes. 2016. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

4.
Hermann Lustosa Friedrich. Newton da Costa e o problema da indução. 2015. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

5.
Marcos André Almeida Rodrigues. Combinando imaginação e contingência. 2014. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

6.
Fábio Salgado de Carvalho. Investigações epistemológicas: combinando demonstrabilidade e conhecimento. 2012. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

7.
Thomaz Santos Abreu. Sentido e comunicação: uma análise de alguns limites dos conceitos filosóficos. 2011. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

8.
Gabriel Filipe Santana Lima. Imaginação e Tempo: Incursões filosóficas à temporalização de lógicas. 2011. Trabalho de Conclusão de Curso. (Graduação em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

Iniciação científica
1.
Pedro Martins Pereira. Considerações sobre validade em sistemas contrafactuais. 2018. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília, Fundação Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

2.
Jefferson de Souza. Uma análise das lógicas da justificação e suas possíveis aplicações. 2018. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

3.
Antônio Dantas de Souza Júnior. Lógica modal aplicada à metafísica: o estatuto lógico da possibilidade metafísica. 2017. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

4.
Mateus de Lima Costa Ribeiro. Uma análise da abrangência da validade de teses lógico-filosóficas. 2017. Iniciação Científica. (Graduando em Direito) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

5.
Gregory Wagner Nunes Carneiro de Oliveira. Lógica deôntica e paraconsistência: contradições em contextos normativos. 2016. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

6.
Carlos Eduardo Correa Roque. A hierarquia das lógicas polivalentes de Łukasiewicz. 2016. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

7.
Romulo Fontinelle. Lógicas e metafísicas: convergências e retroalimentações. 2015. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

8.
Marcos André Almeida Rodrigues. Dialeteísmo como visão filosófica. 2014. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília, Conselho Nacional de Pesquisa Científica. Orientador: Alexandre Fernandes Batista Costa Leite.

9.
Danielle Bremgartner. A semântica formal de quantificadores generalizados. 2014. Iniciação Científica. (Graduando em Letras - Português) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Alexandre Fernandes Batista Costa Leite.

10.
Anne Dominyque Coelho Oliveira. Combinando conhecimento, crença e prova. 2013. Iniciação Científica. (Graduando em Direito) - Universidade de Brasília, Conselho Nacional de Pesquisa Científica. Orientador: Alexandre Fernandes Batista Costa Leite.

11.
Fábio Salgado de Carvalho. Formalizações e Filosofias: Uma Teoria Geral das Construções Formais. 2013. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília, Conselho Nacional de Pesquisa Científica. Orientador: Alexandre Fernandes Batista Costa Leite.

12.
Marcos André Almeida Rodrigues. Combinando imaginação e contingência. 2013. Iniciação Científica. (Graduando em Filosofia) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.

13.
Fábio Salgado de Carvalho. Combinando demonstrabilidade e conhecimento. 2012. Iniciação Científica - Universidade de Brasília, Conselho Nacional de Pesquisa Científica. Orientador: Alexandre Fernandes Batista Costa Leite.

Orientações de outra natureza
1.
Daniel Lucas Albuquerque de Freitas. Um modelo de recuperação semântica da informação baseado na lógica da imaginação. 2012. Orientação de outra natureza. (Ciência da Computação) - Universidade de Brasília. Orientador: Alexandre Fernandes Batista Costa Leite.



Outras informações relevantes


Citações (selecionadas) aos meus trabalhos: 1) GRAHAM PRIEST. (2016). Towards Non-Being. 2nd Edition, Oxford University Press; 2a)
FRANCESCO BERTO. (2016). Inconsistency in Ceteris Paribus Imagination. In 'Logical Studies of Paraconsistent Reasoning in Science and Mathematics' 47-63, Springer International Publishing, 2b) FRANCESCO BERTO. (2017). Impossible Worlds and the Logic of Imagination, Erkenntnis, 1-21, DOI:10.1007/s10670-017-9875-5; 3a) HEINRICH WANSING. (2017). 'Remarks on the logic of imagination. A step towards understanding doxastic control through imagination' Synthese, v.194(8), pp 2843-2861 (online first, 2015); 3b) GRIGORY K. OLKHOVIKOV E HEINRICH WANSING. (2017). An Axiomatic System and a Tableau Calculus for STIT Imagination Logic, Journal of Philosophical Logic, 1-21, DOI: 10.1007/s10992-017-9426-1; 4) SERGEI ARTEMOV E TUDOR PROTOPOPESCU. (2013). 'Discovering knowability: a semantic analysis.' Synthese 190.16: 3349-3376; 5) GERHARD SCHURZ. (2011). 'Combinations and Completeness Transfer for Modal Quantificational Logics', Logic Journal of the IGPL 19(4), 598-616; 6) PAUL GOCHET. (2008).'Note sur le paradoxe du connaissant', Linguista Sum, L'Harmattan; 7) MEHMET ORGUN, GUIDO GOVERNATORI e CHUCHANG LIU. (2009). Modal tableaux for verifying stream authentication protocols, Autonomous Agents and Multi-Agent Systems, v. 19(1), 53-75; 8) NEWTON DA COSTA, DÉCIO KRAUSE E OTÁVIO BUENO. (2007). 'Paraconsistent logics and paraconsistency', Handbook of the Philosophy of Science (Philosophy of Logic): 655-781, Elsevier.



Página gerada pelo Sistema Currículo Lattes em 13/12/2018 às 15:37:56