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; Meio de divulgação: Digital; ISSN/ISBN: 18081983.

2.
2COSTA-LEITE, A.2017COSTA-LEITE, A.; SOUZA, E. G. . Implications and Limits of Sequences. Studia Humana, v. 6, p. 18-24, 2017; Meio de divulgação: Digital; Série: 1; ISSN/ISBN: 22990518.

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; Meio de divulgação: Digital; ISSN/ISBN: 18081983.

4.
4COSTA-LEITE, Alexandre2016 COSTA-LEITE, Alexandre. Interplays of knowledge and non-contingency. LOGIC AND LOGICAL PHILOSOPHY, v. 25, p. 521-534, 2016; Meio de divulgação: Digital; Série: 5; ISSN/ISBN: 14253305.

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; ISSN/ISBN: 15199681.

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; Meio de divulgação: Impresso; Série: 3; ISSN/ISBN: 11663081.

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; Meio de divulgação: Digital; Série: 2; ISSN/ISBN: 18081711.

8.
8COSTA-LEITE, A.2013COSTA-LEITE, A.. Review of 'Modalities and Multimodalities'. Manuscrito (UNICAMP), v. 36, p. 190-194, 2013; Série: 0; ISSN/ISBN: 01006045.

9.
9COSTA-LEITE, A.2012COSTA-LEITE, A.. Fronteiras contingentes e conhecimento limitado. Revista Brasileira de Filosofia, v. 238, p. 179-187, 2012; Meio de divulgação: Impresso; ISSN/ISBN: 00347205.

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; Meio de divulgação: Impresso; Série: 0; ISSN/ISBN: 02698595.

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; Meio de divulgação: Digital. Homepage: http://www.abstracta.pro.br/; Série: 1; ISSN/ISBN: 18079792.

12.
12COSTA-LEITE, A.2009COSTA-LEITE, A.. Construções sistêmicas e leis de interação. Cognitio (PUCSP), v. 10, p. 209-220, 2009; Meio de divulgação: Impresso; Série: 2; ISSN/ISBN: 15187187.

13.
13COSTA-LEITE, A.2009COSTA-LEITE, A.. Dualidade e a estrutura do mundo. Revista Brasileira de Filosofia, v. 58, p. 233-247, 2009; Meio de divulgação: Impresso; Série: 233; ISSN/ISBN: 00347205.

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; Meio de divulgação: Impresso; Série: 17; ISSN/ISBN: 13331108.

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; Meio de divulgação: Impresso; ISSN/ISBN: 14208520.

16.
15COSTA-LEITE, A.2004COSTA-LEITE, A.. Combining possibility and knowledge. CLE e-Prints (Online), v. 4, p. 107-111, 2004; Meio de divulgação: Digital; Série: 5; ISSN/ISBN: 15199681.

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
Palavras-chave: designação, lógica modal e verdade.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia. ; Meio de divulgação: Impresso; Série: 6; ISSN/ISBN: 14149494.

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 .
Referências adicionais: Brasil/Inglês; Meio de divulgação: Impresso; ISBN: 9788586497360.

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 .
Referências adicionais: Brasil/PortuguêsHomepage: http://www.uni-log.org; ISBN: 9788540006829.

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 .
Referências adicionais: Grã-Bretanha/Inglês; Meio de divulgação: Impresso; ISBN: 1166-3081.

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 .
Referências adicionais: Portugal/Inglês; Meio de divulgação: ImpressoHomepage: http://www.uni-log.org; ISBN: 9789729928925.

5.
BEZIAU, Jean Yves (Org.) ; COSTA-LEITE, A. (Org.) . Dimensions of Logical Concepts. Campinas: Coleção CLE, 2009. v. 54. 324p .
Referências adicionais: Brasil/Inglês; Meio de divulgação: Impresso; ISBN: 9788586497056.

6.
BEZIAU, Jean Yves (Org.) ; COSTA-LEITE, A. (Org.) . Perspectives on Universal Logic. Monza: Polimetrica, 2007. 434p .
Referências adicionais: Itália/Inglês; Meio de divulgação: ImpressoHomepage: http://www.polimetrica.com/?p=productsMore&iProduct=53&sName=Perspectives-on-Universal-Logic-(Jean-Yves-B%C3%A9ziau,-Alexandre-Costa-Leite); ISBN: 9788876990779.

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 .
Referências adicionais: China/Inglês; Meio de divulgação: ImpressoHomepage: http://www.uni-log.org/bookunilog07.pdf.

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 .
Referências adicionais: Suiça/Inglês; Meio de divulgação: ImpressoHomepage: http://www.uni-log.org; ISBN: XXXXXXX.

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 .
Referências adicionais: Suiça/Inglês; Meio de divulgação: Impresso; ISBN: 14208520.
ISSN: 1420-8520.

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.
Referências adicionais: Brasil/Português; Número da revisão: 1a; ISBN: 9788526813830.

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.
Referências adicionais: Brasil/Português; Número da revisão: 1; ISBN: 9783319153674.

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.
Referências adicionais: República Tcheca/Inglês; Meio de divulgação: Impresso; Número da revisão: 1a; ISBN: 9788070072547.

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.
Referências adicionais: Estados Unidos/Inglês; Meio de divulgação: Impresso; Homepage: http://www.formalphilosophy.com/masses; Número da revisão: 1; ISBN: 8799101335.
"Taken as a whole, The Masses serves as a portrait of the discipline at an interesting and important moment in its history. Since the contributors to this volume are and have been helping to shape the future of philosophy it is useful and interesting to have a sense of their view of the enterprise. The interview format has the virtue of allowing respondents the freedom to express their general views on metaphilosophical questions without having to provide the kind of rigorous and lengthy defenses of those views that might be demanded, for instance, in the context of a journal article. The responses should therefore be taken for what they are: the candid views of philosophers on the character of formal approaches to philosophy." Hendricks & Seymons.

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.
Referências adicionais: Classificação do evento: Internacional; Portugal/ Inglês; Meio de divulgação: Impresso; ISSN/ISBN: 9729928908.

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.
Referências adicionais: Classificação do evento: Brasil/ Português; ISSN/ISBN: 18090591.

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.
Referências adicionais: Classificação do evento: Índia/ Inglês; ISSN/ISBN: 9789383373024.

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.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Português; ISSN/ISBN: 9788540006829.

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.
Referências adicionais: Classificação do evento: Internacional; Líbano/ Inglês; Meio de divulgação: Impresso; Homepage: http://www.square-of-opposition.org.

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.
Referências adicionais: Classificação do evento: Internacional; Portugal/ Inglês; Meio de divulgação: Impresso; Homepage: http://www.uni-log.org; ISSN/ISBN: 9789729928925.

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.
Referências adicionais: Classificação do evento: Internacional; Rússia/ Inglês; Meio de divulgação: Impresso; ISSN/ISBN: 221874.
In Russian: "TpyдbI Matematичeckoгo Цehtpa ИmehИ H. И. ЛoБaчebckoгo".

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.
Referências adicionais: Classificação do evento: Regional; Brasil/ Português.

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.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Português; ISSN/ISBN: 9788586497063.

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.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Português; Homepage: http://www.cle.unicamp.br/cle30-ebl-slalm/.

10.
COSTA-LEITE, A.. Paraconsistentization of Logics. In: The Fourth World Congress on Paraconsistency, 2008, Melbourne. Book of abstracts, 2008.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Português; Homepage: http://www.philosophy.unimelb.edu.au/wcp4/booklet/WCP4_Booklet.pdf.

11.
COSTA-LEITE, A.. Imaginação, contradição e possibilidade. In: XIII Encontro Nacional da ANPOF - GT Lógica, 2008, Canela. Resumos, 2008.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Português.

12.
COSTA-LEITE, A.. Reducing knowledge to belief. In: First International Workshop on Foundations of Computer Science as Logic-Related, 2008, Istanbul. Abstracts, 2008.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Português; Homepage: http://www.cle.unicamp.br/prof/carnielli/istanbul08/index08.html.

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.
Referências adicionais: Classificação do evento: Internacional; Suiça/ Inglês; Meio de divulgação: Impresso; Homepage: http://www.square-of-opposition.org/images/handbook.pdf.

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.
Referências adicionais: Classificação do evento: Internacional; China/ Inglês; Meio de divulgação: Impresso; Homepage: http://www.uni-log.org/f-bookunilog07.pdf.

15.
COSTA-LEITE, A.. Church-Fitch Paradox and combining logics. In: LOGICA 2006, 2006, Hejnice. LOGICA 2006, 2006.
Referências adicionais: Classificação do evento: Internacional; República Tcheca/ Inglês; Meio de divulgação: Impresso.

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.
Referências adicionais: Classificação do evento: Nacional; França/ Francês; Meio de divulgação: Impresso; Homepage: http://www.up.univ-mrs.fr/wceperc/sopha/colloque.htm.

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.
Referências adicionais: Classificação do evento: Internacional; Suécia/ Inglês; Meio de divulgação: Impresso; Homepage: http://www.math.uu.se/cat2006/abstracts.pdf.

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.
Referências adicionais: Classificação do evento: Internacional; França/ Francês; Meio de divulgação: Vários; Homepage: http://www2.ac-toulouse.fr/philosophie/forma/nancy28-29avril2005.pdf.

19.
COSTA-LEITE, A.. Paraconsistentization of logics. In: The 9th Asian Logic Conference, 2005, Novosibirsk. Proceedings of The 9th Asian Logic Conference, 2005.
Referências adicionais: Classificação do evento: Internacional; Rússia/ Inglês; Meio de divulgação: Digital; Homepage: http://www.sbras.ru/ws/show_abstract.dhtml?en+102+8734.

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.
Referências adicionais: Classificação do evento: Internacional; Costa Rica/ Inglês; Meio de divulgação: Impresso; Homepage: http://www.vinv.ucr.ac.cr/slalm04/welcome1.htm.

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.
Referências adicionais: Classificação do evento: Internacional; Espanha/ Português.

22.
COSTA-LEITE, A.. Teoria das Categorias e Filosofia. In: ANPOF, 2004, Salvador, 2004.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Português; Meio de divulgação: Impresso; Homepage: http://www.anpof.org.br.

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.
Palavras-chave: Paradoxo da Cognoscibilidade; Verificacionismo paraconsistente; epistemologia; Lógicas modais; Lógicas paraconsistentes.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Português; Meio de divulgação: Impresso.
XIII EBL/ CLE 25 anos.

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.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Português; Meio de divulgação: Impresso.

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.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Português; Meio de divulgação: Impresso; Homepage: http://www.anpof.org.br.

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).
Referências adicionais: Brasil/Português; Local: UnB; Cidade: Brasília; Evento: III Colóquio UnB-USP de Lógica e Filosofia da Lógica; Inst. promotora/financiadora: PPGFIL.

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).
Referências adicionais: Brasil/Português; Local: Memorial Darcy Ribeiro; Evento: As formas da razão; Inst. promotora/financiadora: Universidade de Brasília.

3.
COSTA-LEITE, Alexandre. Les hiérarchies des logiques de l'imagination (Imagination 2018, Rio de Janeiro). 2018. (Apresentação de Trabalho/Comunicação).
Referências adicionais: Brasil/Francês; Local: Rio de Janeiro; Cidade: Rio de Janeiro; Evento: Le 37ème congrès de l'Association des Sociétés de Philosophie de Langue Française (ASPLF); Inst. promotora/financiadora: ABF.

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).
Referências adicionais: Brasil/Português; Local: UFG; Cidade: Goiânia; Evento: XXV Semana de Filosofia da UFG; Inst. promotora/financiadora: Universidade Federal de Goiás.

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).
Referências adicionais: Brasil/Português; Local: USP; Cidade: São Paulo; Evento: II Colóquio UnB-USP de Lógica e Filosofia da Lógica; Inst. promotora/financiadora: FFLCH-USP.

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).
Referências adicionais: Brasil/Português.

7.
COSTA-LEITE, Alexandre. Hierarquias de Lógicas da Imaginação (Encontro Brasileiro de Lógica, Pirenópolis). 2017. (Apresentação de Trabalho/Congresso).
Referências adicionais: Brasil/Português; Local: Pirenópolis; Cidade: Pirenópolis; Evento: Encontro Brasileiro de Lógica; Inst. promotora/financiadora: UFG.

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).
Referências adicionais: Brasil/Português; Local: FFLCH-USP; Cidade: São Paulo; Evento: I Colóquio UnB-USP de Lógica e Filosofia da Lógica; Inst. promotora/financiadora: USP.

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).
Referências adicionais: Colômbia/Inglês; Cidade: Bogotá; Evento: Philogica @ Universidad del Rosario; Inst. promotora/financiadora: Universidad del Rosario.

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).
Referências adicionais: Brasil/Português; Local: Universidade Estadual de Campinas; Cidade: Campinas; Evento: Trends in Logic XVI; Inst. promotora/financiadora: UNICAMP.

11.
COSTA-LEITE, A.. Lógicas da justificação e quase verdade (FFLCH-USP). 2016. (Apresentação de Trabalho/Conferência ou palestra).
Referências adicionais: Brasil/Português; Local: USP; Cidade: São Paulo; Evento: Departamento de Filosofia, palestra; Inst. promotora/financiadora: FFLCH.

12.
COSTA-LEITE, A.. Geradores de dualidade e o conceito de 'negação' (Tardes Gerativas, Letras-UnB). 2015. (Apresentação de Trabalho/Seminário).
Referências adicionais: Brasil/Português; Local: UnB; Cidade: Brasília; Evento: Tardes Gerativas; Inst. promotora/financiadora: Universidade de Brasília.

13.
COSTA-LEITE, A.. Os limites da prova jurídica (Diálogos Acadêmicos, Direito-UnB). 2015. (Apresentação de Trabalho/Seminário).
Referências adicionais: Brasil/Português; Local: Faculdade de Direito da UnB; Cidade: Brasília; Evento: Diálogos acadêmicos; Inst. promotora/financiadora: UnB.

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).
Referências adicionais: Índia/Inglês; Local: West Bengal, India; Cidade: Kolkata; Evento: World Congress of Paraconsistency; Inst. promotora/financiadora: Indian Statistical Institute.

15.
COSTA-LEITE, A.. Anti-lógicas e contra-lógicas (Universidade Estadual de Maringá). 2014. (Apresentação de Trabalho/Conferência ou palestra).
Referências adicionais: Brasil/Português; Local: UEM; Cidade: Maringá; Evento: X Simpósio de Filosofia da UEM: Lógica, Linguagem e Conhecimento; Inst. promotora/financiadora: UEM.

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).
Referências adicionais: Brasil/Português; Local: UFOP; Cidade: Ouro Preto; Evento: 7o Encontro Nacional de Pesquisa em Filosofia; Inst. promotora/financiadora: UFOP.

17.
COSTA-LEITE, A.. Fusions of modal logics and Interactive laws (The University of Tokyo, Japão). 2013. (Apresentação de Trabalho/Seminário).
Referências adicionais: Japão/Inglês; Local: Department of Computer Science; Cidade: Toquio; Evento: Seminário do grupo de Lógica no Departamento de Ciência da Computação; Inst. promotora/financiadora: The University of Tokyo.

18.
COSTA-LEITE, A.. Imagination, conception and contradiction (Qatar University, Qatar). 2013. (Apresentação de Trabalho/Seminário).
Referências adicionais: Catar/Inglês; Local: Qatar; Cidade: Doha; Evento: Department Seminar; Inst. promotora/financiadora: Qatar University.

19.
COSTA-LEITE, A.. Imagination, contradiction and paraconsistent Logics, University of Athens, Greece. 2013. (Apresentação de Trabalho/Congresso).
Referências adicionais: Grécia/Inglês; Local: University of Athens; Cidade: Athens; Evento: World Congress of Philosophy; Inst. promotora/financiadora: University of Athens.

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).
Referências adicionais: Brasil/Português; Local: UFRRJ; Cidade: Seropédica; Inst. promotora/financiadora: Universidade Federal Rural do Rio de Janeiro.

21.
COSTA-LEITE, A.. Logical properties of imagination (Istanbul University, Turquia). 2012. (Apresentação de Trabalho/Seminário).
Referências adicionais: Brasil/Português; Local: Istanbul University; Cidade: Istanbul; Inst. promotora/financiadora: Istanbul University.

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).
Referências adicionais: Brasil/Português; Local: AUB; Cidade: Beirute; Evento: III World Congress on the Square of Opposition; Inst. promotora/financiadora: American University of Beirut.

23.
COSTA-LEITE, A.. Fronteiras contingentes e conhecimento limitado (UFRJ, Rio de Janeiro). 2012. (Apresentação de Trabalho/Comunicação).
Referências adicionais: Brasil/Português; Local: IFCS; Cidade: Rio de Janeiro; Evento: Workshop: Contingency, Absurdity and Determination; Inst. promotora/financiadora: Universidade Federal do Rio de Janeiro.

24.
COSTA-LEITE, A.. Logical properties of imagination (Petrópolis, Encontro Brasileiro de Lógica). 2011. (Apresentação de Trabalho/Congresso).
Referências adicionais: Brasil/Português; Local: Laboratório Nacional de Computação Científica; Cidade: Petrópolis; Evento: XVI EBL - 16th Brazilian Logic Conference; Inst. promotora/financiadora: UFF-PUC/RIO.

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).
Referências adicionais: Brasil/Português; Cidade: Brasília; Evento: Seminários internos do grupo ARCHAI; Inst. promotora/financiadora: Universidade de Brasília.

26.
COSTA-LEITE, A.. Sistemas filosóficos, fronteiras contingentes e conhecimento limitado (ANARCHAI, UnB). 2011. (Apresentação de Trabalho/Seminário).
Referências adicionais: Brasil/Português; Cidade: Brasília; Evento: Seminários do grupo ANARCHAI; Inst. promotora/financiadora: Universidade de Brasília.

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).
Referências adicionais: Brasil/Português; Cidade: Brasília; Evento: Seminários do Grupo de Lógica e Filosofia da Ciência; Inst. promotora/financiadora: Universidade de Brasília.

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).
Referências adicionais: Brasil/Português; Cidade: Brasília; Evento: Seminário dos estudantes de História da UnB - SEMHIS 2011/02; Inst. promotora/financiadora: Universidade de Brasília.

29.
COSTA-LEITE, A.. Imaginação e contradição: combinando lógicas modais e paraconsistentes. 2011. (Apresentação de Trabalho/Congresso).
Referências adicionais: Brasil/Português; Cidade: Uberlândia; Evento: V Encontro Nacional de Pesquisa em Filosofia da UFU; Inst. promotora/financiadora: Universidade Federal de Uberlândia.

30.
COSTA-LEITE, A.. Paraconsistentization of logics: the general theory of paraconsistent logics. 2010. (Apresentação de Trabalho/Congresso).
Referências adicionais: Portugal/Inglês; Local: Hotel Éden Estoril; Cidade: Monte Estoril (Lisboa); Evento: 3rd World Congress and School on Universal Logic; Inst. promotora/financiadora: Universidade Técnica de Lisboa.

31.
COSTA-LEITE, A.. Paraconsistentização de Lógicas (Seminários - CLE-UNICAMP). 2010. (Apresentação de Trabalho/Seminário).
Referências adicionais: Brasil/Português; Local: UNICAMP; Cidade: Campinas; Evento: Seminários CLE-UNICAMP; Inst. promotora/financiadora: Pós-graduação em Filosofia (UNICAMP).

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).
Referências adicionais: Brasil/Português; Local: UFPB; Cidade: Paraíba; Evento: Seminário Newton da Costa; Inst. promotora/financiadora: Universidade Federal da Paraíba.

33.
COSTA-LEITE, A.. Interactive laws and philosophical systems (First Meeting on Logic in Centro-Oeste - UFG). 2010. (Apresentação de Trabalho/Comunicação).
Referências adicionais: Brasil/Português; Local: UFG; Cidade: Goiânia; Evento: First Meeting on Logic in Centro-Oeste; Inst. promotora/financiadora: Universidade Federal de Goiás.

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).
Referências adicionais: Portugal/Português; Local: UTL; Cidade: Lisboa; Evento: Logic and Computation Seminar; Inst. promotora/financiadora: Instituto Superior Técnico.

35.
COSTA-LEITE, A.. Imaginary logic and the logic of imagination (Kazan Federal University, Russia). 2010. (Apresentação de Trabalho/Conferência ou palestra).
Referências adicionais: Brasil/Português; Local: Russia; Cidade: Kazan; Evento: International Conference N. A. Vasiliev's "Imaginary logic" and the modern nonclassical logics; Inst. promotora/financiadora: Kazan Federal University.

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).
Referências adicionais: Brasil/Português; Local: Brasil; Cidade: Brasilia; Evento: Seminários do grupo de Lógica e Filosofia da Ciência da Universidade de Brasília; Inst. promotora/financiadora: UnB.

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).
Referências adicionais: Brasil/Português; Local: Universidade Estadual de Campinas; Cidade: Campinas; Evento: Seminários de Lógica; Inst. promotora/financiadora: CLE-UNICAMP.

38.
COSTA-LEITE, A.. A estrutura lógica da imaginação (Colóquio UnB). 2009. (Apresentação de Trabalho/Comunicação).
Referências adicionais: Brasil/Português; Local: Universidade de Brasília; Cidade: Brasília; Evento: Colóquio de Pós-Graduação em Filosofia da UnB: Filosofia da Linguagem, Lógica, Ontologia; Inst. promotora/financiadora: UnB.

39.
COSTA-LEITE, A.. Introdução à combinação de lógicas (Colóquio de Lógica - USP). 2009. (Apresentação de Trabalho/Outra).
Referências adicionais: Brasil/Português; Local: Universidade de São Paulo; Cidade: São Paulo; Evento: Colóquio de Lógica; Inst. promotora/financiadora: Departamento de Filosofia da USP.

40.
COSTA-LEITE, A.. A estrutura lógica da imaginação (Colóquio de Lógica -USP). 2009. (Apresentação de Trabalho/Simpósio).
Referências adicionais: Brasil/Português; Local: Universidade de São Paulo; Cidade: São Paulo; Evento: Colóquio de Lógica; Inst. promotora/financiadora: Departamento de Filosofia - USP.

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).
Referências adicionais: Brasil/Português; Local: Universidade Estadual de Campinas; Cidade: Campinas; Evento: Science, Truth and Consistency; Inst. promotora/financiadora: CLE-UNICAMP/Académie Internationale de Philosophie des Sciences.

42.
COSTA-LEITE, A.. Redução do conhecimento à crença (IME-USP- Seminário LIAMF). 2009. (Apresentação de Trabalho/Seminário).
Referências adicionais: Brasil/Português; Local: São Paulo; Evento: Seminários do LIAMF; Inst. promotora/financiadora: USP.

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).
Referências adicionais: Estados Unidos/Inglês; Local: United States; Cidade: Buffalo; Evento: Buffalo Logic Colloquium; Inst. promotora/financiadora: The State University of New York - University at Buffalo.

44.
COSTA-LEITE, A.. Combining knowledge and contingency (CLE-EBL-SLALM, Paraty, Brasil). 2008. (Apresentação de Trabalho/Conferência ou palestra).
Referências adicionais: Brasil/Inglês; Local: Brasil; Cidade: Paraty; Evento: CLE-EBL-SLALM; Inst. promotora/financiadora: UNICAMP.

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).
Referências adicionais: Canadá/Francês; Evento: Canadian Philosophical Association.

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).
Referências adicionais: Estados Unidos/Inglês; Local: US; Cidade: New York; Evento: Weekly Seminar: Knowledge, Games and Belief Group; Inst. promotora/financiadora: CUNY.

47.
COSTA-LEITE, A.. Combining knowledge and contingency (Workshop: Geneva-Barcelone). 2007. (Apresentação de Trabalho/Comunicação).
Referências adicionais: Suiça/Inglês; Local: Universidade de Genebra; Cidade: Genebra; Evento: Workshop: Geneva-Barcelona, Universite de Geneve; Inst. promotora/financiadora: Universidade de Genebra.

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).
Referências adicionais: Suiça/Inglês; Evento: Square of Opposition International Congress, Montreux, Switzerland.

49.
COSTA-LEITE, A.. Combining knowledge and contingency (Seminaire IHPST, Universite Paris 1 , France). 2007. (Apresentação de Trabalho/Seminário).
Referências adicionais: França/Francês; Local: Sorbonne; Cidade: Paris; Evento: Seminaire IHPST, Universite Paris 1 , France; Inst. promotora/financiadora: Universite Paris 1.

50.
COSTA-LEITE, A.. Connaissance, croyance et contingence (Seminaires des Archives Poincare, Universite de Nancy 2, France). 2007. (Apresentação de Trabalho/Seminário).
Referências adicionais: França/Francês; Local: Universite de Nancy 2; Cidade: Nancy; Evento: Seminaires des Archives Poincare; Inst. promotora/financiadora: Universite de Nancy 2.

51.
COSTA-LEITE, A.. The combined logics of skepticism (CombLog'07: International Workshop, Switzerland). 2007. (Apresentação de Trabalho/Outra).
Referências adicionais: Suiça/Inglês; Evento: CombLog'07: International Workshop.

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).
Referências adicionais: Brasil/Português; Local: China; Cidade: Beijing; Evento: 13th International Congress of Logic, Methodology and Philosophy of Science; Inst. promotora/financiadora: Tsinghua University.

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).
Referências adicionais: China/Inglês; Local: Northwestern Polytechnical University; Cidade: Xi'an; Evento: Second World Congress and School on Universal Logic; Inst. promotora/financiadora: Northwestern Polytechnical University, China.

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).
Referências adicionais: Canadá/Francês; Local: Université du Quebec à Montréal; Cidade: Montréal; Evento: Séminaire de Logique: Université du Quebec à Montréal/Université de Montréal; Inst. promotora/financiadora: Université du Quebec à Montréal/Université de Montréal.

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).
Referências adicionais: Hungria/Inglês; Local: Hungria; Cidade: Budapest; Inst. promotora/financiadora: Central European University.

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).
Referências adicionais: Portugal/Inglês; Local: Universidade Técnica de Lisboa; Cidade: Lisboa; Inst. promotora/financiadora: Center for Logic and Computation - IST, UTL.

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).
Referências adicionais: Portugal/Português.

58.
COSTA-LEITE, A.. The Church-Fitch paradox and combining logics (Hejnice, Czech Republic, LOGICA 2006). 2006. (Apresentação de Trabalho/Congresso).
Referências adicionais: República Tcheca/Inglês.

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).
Referências adicionais: Suiça/Francês.

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).
Referências adicionais: Suécia/Inglês; Local: Uppsala University; Cidade: Uppsala; Inst. promotora/financiadora: The Swedish Research Council.

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).
Referências adicionais: França/Francês; Local: Université Aix-en-Provence; Cidade: Aix-en-Provence; Inst. promotora/financiadora: Université Aix-en-Provence.

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).
Referências adicionais: Brasil/Português; Local: UFG; Cidade: Goiânia; Evento: Workshop: futuro e limites da metafísica; Inst. promotora/financiadora: UFG.

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).
Referências adicionais: França/Francês.

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).
Referências adicionais: França/Francês.

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).
Referências adicionais: Bélgica/Inglês.

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

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).
Referências adicionais: Suiça/Inglês.

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).
Referências adicionais: Suiça/Francês.

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).
Referências adicionais: Suiça/Francês.

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Suiça/Francês.

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).
Referências adicionais: Portugal/Inglês.

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).
Referências adicionais: Suiça/Inglês.

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).
Referências adicionais: Suiça/Inglês.

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).
Referências adicionais: Holanda/Inglês.

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).
Referências adicionais: Espanha/Inglês.

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Suiça/Francês.

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).
Referências adicionais: Suiça/Inglês; Local: Suíça; Cidade: Neuchâtel; Inst. promotora/financiadora: Universidade de Neuchâtel.

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Brasil/Português.

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

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Estados Unidos/Inglês; Meio de divulgação: Digital.

2.
COSTA-LEITE, A.. Oppositions in a line segment. Cornell: arXiv, 2016 (Pre-print).
Referências adicionais: Estados Unidos/Inglês; Meio de divulgação: Digital.

3.
COSTA-LEITE, A.. 'On JYB' em 'The Road to Universal Logic', volume II. Basel: Springer/Birkhauser, 2015 (Nota).
Referências adicionais: Suiça/Inglês; Meio de divulgação: Impresso; ISSN/ISBN: 2297-0282.

4.
BEZIAU, Jean Yves ; COSTA-LEITE, A. . Journal of Applied Non-Classical Logics. Londres, 2012. (Prefácio, Pósfacio/Apresentação)>.
Referências adicionais: Grã-Bretanha/Inglês; Homepage: http://www.tandfonline.com/doi/full/10.1080/11663081.2012.682433#.UYM_DUlx2PI; Autor traduzido: Jean-Yves Béziau & Alexandre Costa-Leite; Título da obra original: Uses of Non-Classical Logic; ISSN/ISBN: 11663081.

5.
COSTA-LEITE, A.. Auto-referência do conceito e solilóquio da filosofia 1998 (Pre-print).
Referências adicionais: Brasil/Português; Meio de divulgação: Impresso.


Produção técnica
Trabalhos técnicos
1.
COSTA-LEITE, Alexandre. Parecer: Revista de Filosofia Moderna e Contemporânea da UnB. 2018.
Referências adicionais: Brasil/Português; Disponibilidade: .

2.
COSTA-LEITE, Alexandre. Parecer: Roczniki Filozoficzne/Annales de Philosophie/Annals of Philosophy. 2018.
Referências adicionais: Polônia/Inglês; Disponibilidade: .

3.
COSTA-LEITE, A.. Parecer: Special Issue Logic Journal of the IGPL (Oxford) - 17th Latin American Symposium on Mathematical Logic (SLALM 2017). 2018.
Referências adicionais: México/Inglês; Disponibilidade: .

4.
COSTA-LEITE, Alexandre. Parecer: South American Journal of Logic. 2017.
Referências adicionais: Brasil/Português; Disponibilidade: .

5.
COSTA-LEITE, Alexandre. Parecer: Principia - Revista Internacional de Epistemologia. 2017.
Referências adicionais: Brasil/Português; Disponibilidade: .

6.
COSTA-LEITE, Alexandre. Leitor _ad hoc_ Capes - Roteiro de Classificação de Livros da Filosofia. 2017.
Referências adicionais: Brasil/Português; Disponibilidade: .

7.
COSTA-LEITE, A.. Parecer: Logica Universalis - Special Issue on 'Logic and Religion'. 2016.
Referências adicionais: Brasil/Português; Disponibilidade: .

8.
COSTA-LEITE, Alexandre. Parecer: Caderno de Squibs - Temas em estudos formais da linguagem. 2016.
Referências adicionais: Brasil/Português; Disponibilidade: .

9.
COSTA-LEITE, A.. Parecer: Erkenntnis - an international journal of scientific philosophy. 2015.
Referências adicionais: Alemanha/Inglês; Meio de divulgação: Impresso; Disponibilidade: .

10.
COSTA-LEITE, A.. Parecer: Journal of Logic and Computation. 2015.
Referências adicionais: Inglaterra/Inglês; Meio de divulgação: Impresso; Disponibilidade: .

11.
COSTA-LEITE, A.. Parecer: Principia - Revista Internacional de Epistemologia. 2014.
Referências adicionais: Brasil/Português; Disponibilidade: .

12.
COSTA-LEITE, A.. Parecer: Kriterion - Revista de Filosofia. 2014.
Referências adicionais: Brasil/Português; Disponibilidade: .

13.
COSTA-LEITE, A.. Parecer: Editora da Unesp. 2014.
Referências adicionais: Brasil/Português; Disponibilidade: .

14.
COSTA-LEITE, A.. Parecer: Revista de Filosofia Moderna e Contemporânea. 2014.
Referências adicionais: Brasil/Português; Disponibilidade: .

15.
COSTA-LEITE, A.. Parecer: Editora da Unesp. 2013.
Referências adicionais: Brasil/Português; Disponibilidade: .

16.
COSTA-LEITE, A.. Parecer: Logica Universalis. 2012.
Referências adicionais: Brasil/Português; Disponibilidade: .

17.
COSTA-LEITE, A.. Parecer: Logica Universalis (Birkhauser). 2011.
Referências adicionais: Brasil/Português; Disponibilidade: .

18.
COSTA-LEITE, A.. Parecer: Let's be logical (College Publications, UK). 2011.
Referências adicionais: Brasil/Português; Disponibilidade: .

19.
COSTA-LEITE, A.. Revisão: 'Um Curso de Lógica' de Ricardo Sousa Silvestre (Ed. Vozes). 2011.
Referências adicionais: Brasil/Português; Disponibilidade: .

20.
COSTA-LEITE, A.. Parecer: Theory and Decision (Springer). 2010.
Referências adicionais: Brasil/Português; Disponibilidade: .

21.
COSTA-LEITE, A.. Parecer: Logica Universalis (Birkhauser). 2010.
Referências adicionais: Brasil/Português; Disponibilidade: .

22.
COSTA-LEITE, A.. Parecer: CLE e-prints (UNICAMP). 2010.
Referências adicionais: Brasil/Português; Disponibilidade: .

23.
COSTA-LEITE, A.. Parecer: Revista Ingeniaría y Ciencia (EAFIT). 2010.
Referências adicionais: Colômbia/Espanhol; Disponibilidade: .

24.
COSTA-LEITE, A.. Parecer: Abstracta - Revista de Filosofia. 2009.
Referências adicionais: Brasil/Português; Disponibilidade: .

25.
COSTA-LEITE, A.. Parecer: Mind - A Quarterly Review of Philosophy (Oxford). 2009.
Referências adicionais: Grã-Bretanha/Inglês; Disponibilidade: .

26.
COSTA-LEITE, A.. Parecer: Special Issue - Logic Journal of the IGPL (Oxford). 2009.
Referências adicionais: Brasil/Português; Disponibilidade: .
Volume especial sobre combinação de lógicas..

27.
COSTA-LEITE, A.. Parecer: Prolegomena - Journal of Philosophy. 2009.
Referências adicionais: Croácia/Português; Disponibilidade: .

28.
COSTA-LEITE, A.. Parecer: Special Issue - Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science (Springer). 2006.
Referências adicionais: Estados Unidos/Inglês; Disponibilidade: .
Volume especial "New trends in the foundations of science"..

29.
COSTA-LEITE, A.. Parecer: Acta Analytica (Springer). 2006.
Referências adicionais: Eslovênia/Inglês; Meio de divulgação: Impresso; Disponibilidade: .

30.
COSTA-LEITE, A.. Parecer: III WCP-2003 (Third World Congress on Paraconsistency) - IRIT, Toulouse, France, 2003. 2003.
Referências adicionais: França/Inglês; Meio de divulgação: Vários; Disponibilidade: .

31.
COSTA-LEITE, A.. Revisão: 'Tendências atuais da Filosofia' de Jean-Yves Béziau. 2003.
Referências adicionais: Brasil/Português; Meio de divulgação: Impresso; Disponibilidade: ; Nº páginas: 0.


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).
Referências adicionais: Brasil/Português; Unidade: horas;
Tipo de participação: ; Duração do evento: 5; Local: UFOP; Cidade: Ouro Preto; Inst. promotora: Universidade Federal de Ouro Preto.

2.
COSTA-LEITE, A.. Faces da Negação. 2011. (Curso de curta duração ministrado/Outra).
Referências adicionais: Brasil/Português; Unidade: horas;
Tipo de participação: Docente; Duração do evento: 4; Local: UFRJ; Cidade: Rio de Janeiro; Inst. promotora: Universidade Federal do Rio de Janeiro.

3.
COSTA-LEITE, A.. The Paraconsistent Newsletters. 2004. (Desenvolvimento de material didático ou instrucional - Newsletters).
Referências adicionais: Suiça/Inglês; Meio de divulgação: Digital; Homepage: http://luna.unine.ch/alexandre.costa/pnews.html.



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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Portuguê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.
Referências adicionais: Brasil/Português.
Participação no exame de qualificação e na defesa..

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.
Referências adicionais: Brasil/Português.
Participação no Exame de Qualificação e na Defesa.

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.
Referências adicionais: Brasil/Português.
Participação no Exame de Qualificação e na Defesa.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Portuguê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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.
Exame de Qualificação de Pietro Kreitlon Carolino. Membro Suplente do Exame de Defesa..

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.



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.
Referências adicionais: Brasil/Português.

2.
GOMES, N. G.; SANZ, W.; COSTA-LEITE, A.. Lógica e Filosofia da Lógica. 2011. Universidade de Brasília.
Referências adicionais: Brasil/Português.

Outras participações
1.
CALHEIROS, A; RUFINONI, P; COSTA-LEITE, A.. Seleção simplificada para professor substituto. 2011. Universidade de Brasília.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.

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.
Referências adicionais: Brasil/Português.



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).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Local: UnB; Cidade: Brasília; Inst. promotora/financiadora: Universidade de Brasília.

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).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Duração do evento: 1; Inst. promotora/financiadora: ABF.

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).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Local: UnB; Cidade: Brasília; Inst. promotora/financiadora: UnB.
Organização de evento com as apresentações de trabalhos de meus orientandos tanto de graduação quanto pós-graduação..

4.
SCHANG, F. ; COSTA-LEITE, A. . Minicurso: Introduction to Philosophical Logic. 2016. (Outro).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Local: UnB; Cidade: Brasília; Inst. promotora/financiadora: Universidade de Brasília.

5.
ALMEIDA, M. C. P. ; COSTA-LEITE, A. ; ABDELLA, S. . Democracia, Economia e Sistema de Governo na Etiópia. 2014. (Outro).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Local: UnB; Cidade: Brasília; Inst. promotora/financiadora: Universidade de Brasília.

6.
BÉZIAU, J-Y ; COSTA-LEITE, A. ; D'OTTAVIANO, I ; GAN-KRZYWOSYNSKA, K. . 4th World Congress and School on Universal Logic. 2013. (Congresso).
Referências adicionais: Brasil/Português; Evento itinerante: Sim; Duração do evento: 1; Local: Escola de Comando e Estado Maior do Exército; Cidade: Rio de Janeiro; Inst. promotora/financiadora: Universidade Federal do Rio de Janeiro.
http://www.uni-log.org.

7.
BENSUSAN, HILAN ; COSTA-LEITE, A. . Graham Priest na Universidade de Brasília. 2013. (Outro).
Referências adicionais: Brasil/Inglês; Evento itinerante: Não; Local: FIL-UnB; Cidade: Brasília; Inst. promotora/financiadora: Universidade de Brasília.

8.
COSTA-LEITE, A.; FREIRE, R. A. . Seminário Permanente 'Lógica no Avião'. 2013. (Outro).
Referências adicionais: Brasil/Português; Meio de divulgação: Digital; Evento itinerante: Não; Cidade: Brasília; Inst. promotora/financiadora: Universidade de Brasília.
Evento permanente de Lógica no FIL-UnB. Grupo de Pesquisa "Lógica Filosófica e Filosofia da Lógica" (CNPq).

9.
COSTA-LEITE, A.; BÉZIAU, J-Y . Workshop: Contingency, Absurdity and Determination. 2012. (Outro).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Local: IFCS; Cidade: Rio de Janeiro; Inst. promotora/financiadora: Universidade Federal do Rio de Janeiro.

10.
SALGADO DE CARVALHO, F ; COSTA-LEITE, A. . Workshop on logic and truth. 2011. (Outro).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Local: Universidade de Brasília; Cidade: Brasília; Inst. promotora/financiadora: FIL-UnB.

11.
COSTA-LEITE, A.; BÉZIAU, J-Y . Minicurso: Introdução à Lógica Universal. 2011. (Outro).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Cidade: Brasília; Inst. promotora/financiadora: Universidade de Brasília.
Minicurso com o prof. Jean-Yves Béziau..

12.
BEZIAU, Jean Yves ; CALEIRO, C. ; COSTA-LEITE, A. ; RAMOS, J. . 3rd World Congress and School on Universal Logic. 2010. (Congresso).
Referências adicionais: Brasil/Português; Evento itinerante: Sim; Duração do evento: 1; Local: Hotel Éden Estoril, Monte Estoril; Cidade: Estoril (Lisboa), Portugal; Inst. promotora/financiadora: Universidade Técnica de Lisboa.

13.
COSTA-LEITE, A.. Special Session on Paraconsistent Logics at UNILOG'10. 2010. (Outro).
Referências adicionais: Brasil/Português; Meio de divulgação: Outro; Evento itinerante: Não; Local: Monte Estoril; Cidade: Monte Estoril; Inst. promotora/financiadora: IST-Lisboa.

14.
CARNIELLI, W. ; COSTA-LEITE, A. ; MAGNANI, L. . Model-Based Reasoning in Science and Technology. 2009. (Congresso).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Local: UNICAMP; Cidade: Campinas; Inst. promotora/financiadora: UNICAMP.

15.
BEZIAU, Jean Yves ; PAYETTE, GILLMAN. ; COSTA-LEITE, A. . Square of Opposition International Congress. 2007. (Congresso).
Referências adicionais: Suiça/Inglês; Evento itinerante: Não; Local: Montreux; Cidade: Montreux - Suíça; Inst. promotora/financiadora: Swiss National Science Foundation.

16.
COSTA-LEITE, A.; BEZIAU, Jean Yves ; HE, H. ; ZHONG, Y. . 2nd World Congress and School on Universal Logic. 2007. (Congresso).
Referências adicionais: China/Inglês; Meio de divulgação: Outro; Evento itinerante: Não; Duração do evento: 1; Local: Northwestern Polytechnical University; Cidade: Xi'an - China; Inst. promotora/financiadora: Northwestern Polytechnical University.

17.
COSTA-LEITE, A.; PALACIOS, A. . Workshop: futuro e limites da metafísica - possibilidade, necessidade e contingência. 2006. (Outro).
Referências adicionais: Brasil/Português; Meio de divulgação: Hibertexto; Evento itinerante: Não; Local: UFG; Cidade: Goiânia; Inst. promotora/financiadora: Swiss National Science Foundation.

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).
Referências adicionais: Suiça/Inglês; Meio de divulgação: Vários; Evento itinerante: Não; Duração do evento: 1; Local: Suíça; Cidade: Montreux; Inst. promotora/financiadora: Swiss National Science Foundation.
Um dos maiores congressos de lógica que já existiu no mundo. Contou com a presença de mais de 200 pesquisadores representando mais de 50 países diferentes. O encontro foi dividido em duas partes, uma escola de lógica, com mais de 20 cursos, e o congresso. Os lógicos mais importantes do mundo apareceram no UNILOG'05, dentre eles: Saul Kripke, Dov Gabbay, Arnold Koslow, Heinrich Wansing, Michael Dunn, Yde Venema, Stephen Read etc..

19.
COSTA-LEITE, A.; PALACIOS, A. . Workshop: futuro e limites da filosofia. 2005. (Outro).
Referências adicionais: Brasil/Português; Meio de divulgação: Digital; Evento itinerante: Não; Local: Goiânia - Goiás; Inst. promotora/financiadora: Swiss National Science Foundation.
Este workshop teve por objetivo discutir o futuro e os limites do pensamento filosófico. Em uma época na qual as ciências são responsáveis pela constante produção de tecnologia, existiria ainda um espaço para os filósofos? Atualmente, a filosofia se divide basicamente em duas: filosofia continental e filosofia analítica. Não existiriam ainda novas maneiras de conceber a filosofia ? Quais os limites do pensamento filosófico? Quais seriam as tendências da filosofia neste novo século ? Este pequeno workshop buscará tratar tais questões, dentre outras..

20.
COSTA-LEITE, A.; FACCHINI, Alessandro ; DEGRANGE, C. . 3rd Meeting of the Vicious Circle Society. 2005. (Outro).
Referências adicionais: Suiça/Inglês; Meio de divulgação: Hibertexto; Evento itinerante: Não; Local: Switzerland; Cidade: Bern; Inst. promotora/financiadora: Centre Romand de Logique.

21.
CARNIELLI, W. ; CONIGLIO, M ; D'OTTAVIANO, I ; COSTA-LEITE, A. . XIII Encontro Brasileiro de Lógica (Campinas - Brasil). 2003. (Congresso).
Referências adicionais: Brasil/Português; Meio de divulgação: Vários; Evento itinerante: Não; Local: Brasil; Cidade: Campinas; Inst. promotora/financiadora: CLE/ASL/SBL.
Ajudei na organização do XIII EBL. Organizadores principais: Walter CARNIELLI, Itala D'OTTAVIANO, M. CONIGLIO.



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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Brasil/Português.

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).
Referências adicionais: Brasil/Português.


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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.

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.
Referências adicionais: Brasil/Português; Tipo de orientação: Orientador principal.
Coorientador.



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 10/12/2018 às 4:58:07