di
Costa-Leite,
A.
(2004).
Towards
a
general
theory
of
the
combination
of
logics. Aspects of
Universal Logic. Institute of Logic, University of
Neuchâtel
-
Eds:
J-Y. Béziau, A. Costa-Leite
& A. Facchini. Centre de Recherches Sémiologiques.
Travaux de logique, m.17
Costa-Leite,
A.
(2000).
Designação
rígida, teoria
causal e verdades necessárias a posteriori - Contribuições de Kripke .
Fragmentos de Cultura.
Goiânia, v.10,
Editora UCG.
|
|
|
 |
 |
 |
1) Costa-Leite, A.
(2000). Rigid
designation, necessary a
posteriori truths
and causal theory: Kripke's contributions to analytic philosophy.
(Bachelor's degree Philosophy (Logic & Philosophy) - Federal
University of
Goiás, Brazil).
Published in the Fragmentos de Cultura - Brazil
- Catholic University of Goiás - Sup: Adriano Naves de
Brito
2) Costa-Leite,
(2003). Paraconsistency,
modalities
and
knowability
(Master's thesis in Philosophy - State University of Campinas -
UNICAMP -
Paraconsistência, modalidades e cognoscibilidade - Sup: Walter A.
Carnielli
3) Costa-Leite, A. (2007). Interactions
of metaphysical and epistemic concepts
(
PhD Thesis, Université de Neuchâtel -
Philosophy & Logic) - Switzerland - Sup: Jean-Yves Beziau
Some Abstracts
1) Costa-Leite, A.
(2004). Teoria
das
Categorias
e
Filosofia
(Resumo - GT Lógica da ANPOF)
2) Costa-Leite, A.
(2004). Modal
Paraconsistent
Logics
and
the
Knowability
Paradox
(Abstract of
Contributed Papers in the XIIth Latin American Symposium
on
Mathematical Logic, Universidad de Costa Rica, Escuela de
Matemática, San José, Costa Rica, January 7-16, 2004.)
3) Costa-Leite, (2004) Categories and
philosophy - Extended
abstract of the
Third International
Workshop on the History and Philosophy of Logic, Mathematics and
Computation - País Basco - Spain - 2004
4) Costa-Leite, A. (2007). Combining
knowledge
and
contingency - Talk given in several occasions:
Université de Genève, Université de Paris I and
Tsinghua University (CLMPS 07)
Teaching (Lógica no FIL-UnB)
1) Introduction to Logic - Logic applied to Engineering (Course - Catholic University of Goias - 2000)
2) Qu'est-ce que la logique? (University of Neuchatel - Switzerland - 2003)
3) Applications de la logique à la philosophie (Abstract of the course in the University of Neuchâtel - Institut de Logique - 2004/2005)
4) Logique Philosophique et la Philosophie de la Logique ( Course - University of Neuchâtel – Institut de Logique - 2005/2006 )
5) Est-il raisonnable
de se contredire? (Seminar - University of Neuchâtel -
with Jean-Yves Béziau - Institut de Psychologie - 2006/2007)
6) Lógica 1
(Universidade de Brasília - Departamento de Filosofia -
2010/0)
7) Lógica 1
(Universidade de Brasília -
Departamento de Filosofia - 2010/01)
8) Filosofia
da Lógica (Universidade de
Brasília - Departamento de Filosofia - 2010/01)
9)
Lógica 1
(Universidade de Brasília - Departamento de Filosofia -
2010/02)
10)
Lógica 2
(Universidade de Brasília - Departamento de Filosofia -
2010/02)
11) Lógica 1 (Universidade de Brasília - Departamento de Filosofia - 2011/01)
12) Tópicos
Especias
de Lógica (Universidade
de Brasília - Departamento de Filosofia - 2011/01)
11) Lógica 1 (Universidade de Brasília - Departamento de Filosofia - 2011/02)
12) Introdução à Filosofia (Universidade de Brasília - Departamento de Filosofia - 2011/02)Meetings (Organization)
UNILOG'10: world
congress and school on universal logic, Lisbon, april 2010
(see also special
session
on
paraconsistent
logics)
MBR'09:
Abduction,
Logic,
and
computational
discovery - December 2009,
Campinas, Brazil
***UNILOG'2007*** 2nd
world
congress
and
school
on
universal
logic
-
2007
-
CHINA - XI'AN
The Square of Opposition
- International Congress (supporting organizer) - check the book of
abstracts here
***UNILOG'2005*** 1st world congress and school on universal logic - 2005 - SWITZERLAND - MONTREUX
The Impact of Categories: Historical and Philosophical Aspects - Paris, École Normale Supérieure, October 10-14, 2005 (supporting organizer)
3rd meeting of the Vicious Circle Society - 2005
XIII Brazilian Logic Conference – 2003
Referee reports et al.
Paraconsistency
Newsletters (2003-2008)
Research Groups
1) GRUPO DE EPISTEMOLOGIA E HEURÍSTICA (GRUPO EeH - UNICAMP - CNPq)
2) Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications - FAPESP
3) The Universal Logic Research Project (Swiss National Science Foundation)
4) Grupo
de Lógica Teórica e Aplicada
(GTAL - UNICAMP)
5) GT Lógica
- Associação Nacional de Pós-Graduação em Filosofia - ANPOF
6) Grupo
de
Lógica
e
Filosofia
da
Ciência
da
Universidade
de
Brasilia (UnB)
The places where I gave talks
(Some places were only responsible for organizing meetings
where I gave
talks)
Universiteit Gent
- Belgium
Universidade de Brasília - Brazil
Universidade Federal da Paraíba - Brazil
Université de Aix-en-Provence (Sopha 06)
- France
Universidad del País Vasco - Spain
Uppsala Universitet - Sweden
Université de Neuchatel - Switzerland
Université
de
Lausanne - Switzerland
Universität Bern - Switzerland
Université de Genève -
Switzerland
Université de Fribourg/Universität
Freiburg – Switzerland
Univesity at Buffalo (State University of New
York) - United States
City University of New York (The Graduate Center) - United States