1 Personal data
Citizenship: Brazilian
Personal Address:
Av. Jos Bonif cio, 1967 | Jardim das Paineiras | 13092-305 | Campinas, S o Paulo | Brazil
Telephone/Fax: +55 19 3252-6827 | +55 19 99604-5468
Professional Address:
Centre for Logic, Epistemology and the History of Science (CLE) | University of Campinas (Unicamp)
| CP 6133 | 13083-970 | Campinas, S o Paulo | Brazil
E-mail: itala@unicamp.br
Telephone: +55 19 3521-6518 Fax: +55 19 3289-3269
2 Academic qualifications
• B.A. in Music (Piano), Carlos Gomes Music Conservatory, Brazil, 1960.
• Specialization in Music (Piano), Carlos Gomes Music Conservatory, Brazil, 1961–1962.
• Bachelor Degree in Mathematics, Pontifical Catholic University of Campinas (PUC-Campinas),
Campinas, S o Paulo, Brazil, 1966.
• Master Degree in Mathematics, Institute of Mathematics, Statistics and Scientific Computation
(IMECC), University of Campinas (Unicamp), Campinas, 1974.
– Master Dissertation: Fechos caracterizados por interpreta es [Closures characterized by interpretations,
in Portuguese]. Advisor: M rio Tourasse Teixeira.
• PhD in Mathematics, IMECC, Unicamp, Campinas, 1982.
– PhD Thesis: Sobre uma teoria de modelos trivalente [On a three-valued model theory, in
Portuguese]. Advisor: Newton Carneiro Affonso da Costa.
• Livre-Docente (equivalent to the German “Habilitation”) in Logic and the Foundations of
Mathematics, IMECC, Unicamp, Campinas, 1987.
• Full Professor of Logic and the Foundations of Mathematics, Department of Philosophy,
Institute of Philosophy and the Humanities (IFCH), Unicamp, Campinas, 1998.
3 Professional Positions
Current Position:
• Full Professor (Collaborator) of Logic and the Foundations of Mathematics, Department of
Philosophy, Institute of Philosophy and the Humanities (IFCH), Unicamp, Campinas, from
the retirement in 2014.
• Researcher, Centre for Logic, Epistemology and the History of Science (CLE), Unicamp,
Campinas.
• Researcher of the Brazilian National Council of Scientific and Technological Development
(CNPq), Brazil – Level 1A, the higher classification level in Brazil.
• Member of the Scientific Council of the Centre for Logic, Epistemology and the History of
Science (CLE), Unicamp, Campinas.
• Member (Coordinator) of the Group of Logic and Epistemology of the Department of Philosophy,
Unicamp, Campinas.
• Member of the Group of Theoretical and Applied Logic (GLTA) of the Centre for Logic,
Epistemology and the History of Science (CLE), Unicamp, Campinas.
• Academic Coordinator of the Research Group “Self-Organization, Systemics and Information”,
Centre for Logic, Epistemology and the History of Science, since 1997.
• Academic Vice-Coordinator of the project “Formal Approaches to Philosophy of Religion and
Analytic Theology”, sponsored by the John Templeton Foundation, since 2018.
Previous Positions:
• Experience in High School Mathematical Education.
• Assistant Professor at Pontifical Catholic University of Campinas (PUC-Campinas), 1967–
1968.
• Assistant Professor, Department of Mathematics, Mathematics, Statistics and Computer Science
Institute (IMECC), University of Campinas (Unicamp), 1969–1987.
• Associate Professor, Department of Mathematics, Mathematics, Statistics and Computer Science
Institute (IMECC), University of Campinas (Unicamp), 1987–1993.
• Associate Professor, Department of Philosophy, Philosophy and Social Sciences Institute
(IFCH), University of Campinas, 1993–1998.
• Full Professor of Logic and the Foundations of Mathematics, Department of Philosophy,
Institute of Philosophy and the Humanities (IFCH), Unicamp, Campinas, 1998–2014.
4 Main research areas
• History and Philosophy of Science
• History and Philosophy of Logic
• Logic and the Foundations of Science
• Non-Classical Logics
• Paraconsistent Logic
• Algebraic Logic
• Universal Logic
• Theory of Self-Organization, Systemics and Information
5 Academic-administrative activities
• Director of the Education Department, City of Campinas, Brazil, 1977 and 1978.
• Director of the Centre for Logic, Epistemology and the History of Science (CLE), Unicamp,
for four terms: 1986–1989, 1989–1992, and 2004–2009.
• Vice-Director of CLE, Unicamp, 1992–1995.
• Head of the Coordination of Interdisciplinary Centers and Nuclei of Research (Cocen) of the
University of Campinas, responsible for 21 Interdisciplinary Research Centers, for two terms:
1998–2002 and 2009–2013.
• Executive for Cooperative Agreements between Unicamp and several Brazilian, American,
and European institutions.
• Provost of Graduate Studies of the University of Campinas (Unicamp), 2013–2014.
6 Languages proficiency
• English
• French
• Italian
• Portuguese
• Spanish
7 Visiting positions
• Research fellow (Post-doctoral position), Institute of Mathematics, University of California,
Berkeley, USA, 1984–1985.
• Research fellow (Post-doctoral position), Institute for Applied Mathematics to the Social
Sciences, Stanford University, USA, 1984–1985.
• Visiting researcher, Philosophy Department, Oxford University, England, 1988.
• Visiting professor, Istituto di Informatica, Universit degli Studi di Torino, Italy, 1990.
• Invited speaker and visiting professor in several Brazilian, American, European, and Eastern
universities.
8 Membership in scientific societies
Current and former membership
• Sociedade Brasileira de L gica [Brazilian Logic Society], founding member 1977
• Sociedade Brasileira de Ci ncia Cognitiva [Brazilian Cognitive Science Society]
• Sociedade Brasileira de Matem tica [Brazilian Mathematical Society]
• Sociedade Brasileira de Hist ria da Ci ncia [Brazilian History of Science Society]
• Sociedade Brasileira de Hist ria da Matem tica [Brazilian History of Mathematics Society]
• Association for Symbolic Logic
• American Mathematical Society
• Academia Mexicana de L gica [Mexican Academy of Logic]
9 Editorial activities
• Member of the Editorial Board of The Journal of Non-Classical Logic, the first journal in the
world in the area of non-classical logics, 1986–1991
• Member of the Editorial Board of Cole o CLE, since 1986
• Member of the Editorial Board of The Journal of Applied Non-Classical Logics, since 1992
• Member of the Editorial Board of Ludus Vitalis – Journal of Philosophy of Life Sciences, since 1995
• Member of the Editorial Board of Revista Viv ncia, 2003–2017
• Member of the Editorial Board of Filogenese – Revista Eletr nica de Pesquisa na Gradua o em
Filosofia, State University of S o Paulo (Unesp), since 2008
• Member of the Editorial Board of Trans/Forma o, since 2003
• Member of the Editorial Board of the International Journal of Reasoning-based Intelligent Systems
(IJRIS), since 2010
• Member of the Editorial Board of Philosophies, since 2018
• Member of the Editorial Board of the Russian Scientific Journal ‘Philosophy, Methodology and
History of Science’, since 2017
• Editor of the Boletim da Sociedade de L gica, 1984–1985 and 1993
• Editor of The Journal of Non-Classical Logic, 1989–1991
• Editor of several volumes organized as special issues of proceedings of Brazilian and international
meetings
• Creator and Editor (since 1986) of Cole o CLE, a collection of books in the areas of logic,
epistemology and history of science, published by the Centre for Logic, Epistemology and
the History of Science of Unicamp, with more than 85 published books
• Member of the Editorial Board of Logica Universalis, Springer/Birkauser, since 2018
• Member of the Editorial Committee of the Collection Academia Brasileira de Filosofia, College
Publications, since 2019
• Member of the Editorial Board of the Editora FiloCzar, since 2021
• Member of the Editorial Board of the Editora UFABC, since 2021
• Member of the Honorary Editorial Board of the Revista Mexicana de L gica, since 2021
• Member of the Programme Committee of Edukacja Filozofczna, since 2021
• Member of the Advisory Board of Distinctio: Journal of Intersubjective Studies, since 2021
10 Other activities, honours, and awards
• Member (founding member, 1977) of the Centre for Logic, Epistemology and the History of
Science (CLE) of the University of Campinas (Unicamp)
• Member and President of several academic boards
• Participant as invited teacher and keynote speaker, organizer and coordinator of several
Brazilian and international scientific meetings, as for instance coordinator of the XI Brazilian
Logic Conferences (1996), II World Congress on Paraconsistency (2000), XIII Brazilian Logic
Conference / Event CLE 25 Years (2003), Event CLE 30 Years / XV Brazilian Logic Conference
/ XIV Latin-American Symposium on Mathematical Logic (2008), Event CLE/AIPS “Science,
Truth and Consistency” (2009)
• Researcher of several interdisciplinary international research projects, as for instance the
following projects, sponsored by the S o Paulo Research Foundation (Fapesp): Translations
between Logics (1995–1997); Consequence and Combinations of Logics (2005–2010); Interdisciplinarity
and Academic Production: an Anthropological Valuation of the University of
Campinas (2010–2011); Logical Consequence, Reasoning, and Computation (LogCons, 2010–
2014).
• Researcher of several other interdisciplinary international projects, as for instance the Project
“Mathematical Tools for the Management of Uncertain andVague Information (MaToMUVI)”,
under IRSES 2009, Program Marie Curie (Seventh Framework Programme), European Union
(EU), with the participation of researchers from Argentina, Brazil, Italy and Spain (2011–
2015); the Project “Intensionality as a Unifier: Logic, Language and Philosophy”, sponsored
by the Agencia Estatal de Investigaci n [Research State Agency, in Spanish] of Spain and by
the European Union (EU), involving researchers from Spain, Argentina, Brazil and Portugal
(2018–2021); and the TransAtlantic Project “Big Data and the Explanation of Human Action:
an Investigation fromthe Complex Systems Perspective”, with the participation of researchers
from Argentina, Brazil and France, sponsored in Brazil by the S o Paulo Research Foundation
(Fapesp) (2017–2021).
• Author of several technical reports
• Referee and reviewer for several scientific journals
• Ad hoc advisor of universities and scientific and research support institutions of several
American and European countries
• Executor of several academic agreements between Unicamp and other Brazilian and non-
Brazilian institutions.
• Second Secretary, Secretary, Treasurer andVice-President of the Sociedade Brasileira de L gica
[Brazilian Logic Society], from 1983
• President of the Committee on Logic in Latin America of the Association for Symbolic Logic,
for two terms: 1995–1997 and 1997–2000
• President of the Sociedade Brasileira de L gica [Brazilian Logic Society], for four terms:
1993–1996, 1996–1999, 1999–2003, and 2011–2014
• Special issue of Manuscrito – International Journal of Philosophy: Logic and Philosophy of the
Formal Sciences. A Festschrift for Itala M. Loffredo D’Ottaviano. v. 28, n. 2, 2005
• The bookUmPrel dio L gica [A prelude to Logic, in Portuguese] by H rcules de Ara jo Feitosa
and Leonardo Paulovich, Editora Unesp, 2005, honoring Itala M. Loffredo D’Ottaviano
• Advisor and supervisor of more than fifty students of Scientific Initiation, Master Dissertation,
PhD Thesis and Post-doctorate research projects
• Member of the Acad mie Internationale de Philosophie des Science (AIPS), elected in May
2011
• Premio Arist teles en Ciencia e Investigaci n [Aristotle Prize in Science and Research],
Academ a de Ciencias y Humanidades del Instituto de Estudios Superiores de Estagira
[Academy of Sciences of the Institute of Superior Studies of Stagira], Mexico, 2014
• Member of the Academia Brasileira de Filosofia [Brazilian Academy of Philosophy] (ABF),
Chair 27 “Jos Bonif cio de Andrada e Silva”, elected in 2016
• Member of the Council of the Acad mie Internationale de Philosophie des Science (AIPS),
since 2018
• Member of the Research Center Professor Doctor Joaquim Ver ssimo Serr o, Casa de Portugal
e de Cam es, Portugal, since 2017
• Prize Abeu 2018 [Brazilian Association of University Editorships], Category of Humanities.
Prize winning book: Para al m das Colunas de H rcules, uma Hist ria da Paraconsist ncia [Beyond
the Columns of Hercules, a history of paraconsistency: from Heraclitus to Newton da Costa, in
Portuguese], with Evandro Lu s Gomes, 2018
• Prize Jabuti 2018 – the most relevant literary prize in Brazil – Finalist in the Category of Humanities.
Prize finalist book: Para al m das Colunas de H rcules, uma Hist ria da Paraconsist ncia
[Beyond the Columns of Hercules, a history of paraconsistency: from Heraclitus to Newton da Costa,
in Portuguese], with Evandro Lu s Gomes, 2018
• Lecture “Itala Maria Loffredo D’Ottaviano”, created by the Sociedade Brasileira de L gica
[Brazilian Logic Society] to be a Special Session of the Brazilian Logic Conferences (EBL).
Decision taken by the Assembly of Members of the Society, 2019
• Member of the Institut International de Philosophie (IIP), elected in November 2021
11.1 Papers, Book Chapters, and Book Forewords
• A medida do c rculo: uma tradu o do texto ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ de Arquimedes [A measure
of the circle: a translation of Arquimedes’ text ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ, in Portuguese].
Brazilian Journal on the History of Mathematics, 21(41): 1–13, 2021. (In collaboration with
F. M. Bertato and G. L. Grudtner)
• Baptizing paraconsistent logics: the unique touch of Mir Quesada. South American Journal
of Logic: The Heterodox in Logic and Reason, a special issue dedicated to Francisco Mir Quesada
(L. F. Bartolo Alegre and J. C. Cifuentes, Invited Ed.), 6(2): 1–22, 2020. (In collaboration with
E. L. Gomes)
• Gerland’s Dialectica and Paraconsistency. Edukacja Filozoficzna: dedicated to J sef Maria Boche nski,
70: 143–170, 2020. (In collaboration with E. L. Gomes)
• Big Data: truth, quasi-truth or post truth? Acta Scientiarum: Human and Social Sciences, 42(3):
1–7, 2020. (In collaboration with R. P. Cavassane)
• Galois pairs with the modal operators of paraconsistent logic J3. In: A True Polymath: a tribute
to Francisco Antonio Doria. J. A. de Barros and D. Krause (Eds.), 143–167. London: College
Publications, 2020. (In collaboration with H. A. Feitosa)
• Conceitos b sicos da Teoria de Sistemas e Auto-organiza o [Basic concepts of the Theory
of Systems and Self-Organization, in Portuguese]. In: Arley Morenum Liber Amicorum –
Homenagem a Arley Ramos Moreno in Memoriam. C. T. Rodrigues (Ed.). S o Paulo: FiloCzar;
Funda o Fausto Castilho, 2020.
• Big Data: implica es epistemol gicas e ticas [Ethical and epistemological implications, in
Portuguese]. Foreword. In: Big Data: implica es epistemol gicas e ticas [Big Data: ethical and
epistemological implications, in Portuguese]. E. A. de Souza, M. C. Broens, and M. E. Quilici
Gonzalez (Invited Eds.). Campinas: Cole o CLE, 89: 7–8, 2020.
• Learning the undecidable from networked systems. In: Unravelling complexity: the life and
work of Gregory Chaitin. S. Wuppuluri and F. A. Doria (Eds.), 131–179. Singapore: World
Scientific Publishing Co., 2020. (In collaboration with F. S. Abrah o, K. Ehmuth, F. A. D ria,
and A. Ziviani)
• A nice theorem of Monsieur Glivenko. In: A Question is more Illuminating than an Answer.
A Festschrift for Paolo A. S. Veloso. E. H. Haeusler, L. C. Pinheiro Dias, and J. Petr cio Viana
(Eds.). London: College Publications, Tributes Series, 44: 92–111, 2020. (In collaboration with
E. L. Gomes)
• Some interpretations of a logic of pragmatic truth. In: Aventuras en el Mundo de la L gica:
Ensayos en honor a Mar a Manzano. A. Huertas, A. Moldovan, and E. Alonso (Eds.). London:
College Publications, 2019. (In collaboration with H. A. Feitosa)
• Operadores modais da l gica paraconsistente J3 como pares de Galois [Modal operators of
the paraconsistent logic J3 as pairs of Galois, in Portuguese]. In: Filosofia da linguagem, da
l gica e anal tica [Philosophy of language, of logic and analytics, in Portuguese]. S o Paulo: Anpof,
84–93, 2019. (In collaboration with H. A. Feitosa)
• Translations between logics: a survey. In: The Proceedings of the 14th International Ludwig
Wittgensteins Symposium: Philosophy of Logic and Mathematics, Kirchberg am Wechsel 2018.
G. Mars, P. Weingartner and B. Ritter (Eds.), 121–140. Berlin: De Gruyter, 2019. (In collaboration
with H. A. Feitosa)
• Implications and information: a quantitative-informational analysis of material implication.
In: Systems, self-organization, and information: an interdisciplinary perspective. A. Pereira Jr.,
W. A. Pickering, and R. Gudwin (Eds.), 103–115. New York: Routledge, Taylor & Francis
Group, 2018. (In collaboration with M. A. Alves)
• Basic concepts of systemics. In: Systems, self-organization, and information: an interdisciplinary
perspective. A. Pereira Jr.,W. A. Pickering, and R. Gudwin (eds.), 47–63. New York: Routledge,
Taylor & Francis Group, 2018. (In collaboration with E. Bresciani Filho)
• Quality and Form in the philosophy of Charles Sanders Peirce. Cognitio: Revista de Filosofia,
20(2): 343–377, 2019. (In collaboration with A. A. Ferraz)
• reductio ad absurdum [The dawn of the reductio in the
early Ancient logic, in Russian]. In : , -
. . . . . : [In: Modern logic: its subject
matter, foundations and prospects. D. Zaitsev (Ed.), v. 1: 187–229. Moscow: Forum, 2018]. (In
collaboration with E. L. Gomes)
• Early apagogical inference forms: the rise of the Reductio ad Absurdum in the beginnings of
ancient logic. In: (Un-)Certainty and (In-)Exactness. F. Bertato and G. Basti (Invited Eds.).
Rome/Campinas: Aracne Editrice/Cole o CLE, 79: 141–178, 2018. (In collaboration with E. L.
Gomes)
• On informational ethics. In: Sementes de pragmatismo na contemporaneidade: homenagem a Ivo
Assad Ibri [Seeds of pragmatism in contemporaneity: an homage to Ivo Assad Ibri, in Portuguese].
E. B. Guizzi et al. (Ed.), 309–336. S o Paulo: FiloCzar, 2018. (In collaboration with J. A. de
Moraes)
• Paraconsistent modalities as a possible way of treating epistemic-doxastic paradoxes. In:
Logic, intelligence, and artifices: tribute to Tarcisio H. C. Pequeno. J.-Y. B ziau, F. Ferreira,
A. T. Martins, and M. Pequeno (Eds.), 1: 71–96. London: College Publications, 2018. (In
collaboration with R. J. R. Silva J nior)
• Vasiliev’s ideas for non-aristotelian logics: insight towards paraconsistency. In: The Logical
Legacy of Nikolai Vasiliev and Modern Logic. V. Markin and D. Zaitsev (Eds.), 387: 1–19.
Heidelberg; New York: Springer, 2018. (In collaboration with E. L. Gomes)
• Provided you’re not trivial: adding defaults and paraconsistency to a formal model of explanation.
In: Contradictions, from consistency to inconsistency. W. A. Carnielli and J. Malinowski
(Ed.), Trends in Logic, 47: 109–138, 2018. (In collaboration with D. Gaytan and R. Morado)
• I Soeitxawe: Congresso Internacional de Pesquisa Cient fica na Amaz nia [I Soeitxawe: International
Congress of Scientific Research in Amazonia]. Foreword, in collaboration with
M. E. Quilici Gonzalez. In: I Soeitxawe: Congresso Internacional de Pesquisa Cient fica na Amaz nia.
C. M. Wanderley (Invited Ed.), e-book and printed. Campinas: Cole o CLE, 82: 7–13,
2017.
• Studies on da Costa’s paraconsistent differential calculus: hyper-metric and hyperfunctions.
South American Journal of Logic, 2: 319–332, 2016. (In collaboration with M. R. Soares)
• Apuntes para una historia de la l gica em Ibero-am rica. In: Enciclopedia Ibero-americana
de Filosof a (EIAF) – Filosof a bero-americana del siglo XX, Filosof a te rica e historia de la
filosofia. L. Oliv , O. Guarigha, and R. Mate (Eds.), 33(1): 101–170, 2015. (A. Aliseda and
M. Manzano, collaborator)
• A quantitative-informational approach to logical consequence. In: The road to universal logic
– Festschrift for the 50th birthday of Jean-Yves B ziau. A. Koslow and A. Buchsbaum (Eds.),
105–124. Switzerland: Springer, 2015. (In collaboration with M. A. Alves)
• Translations as representations between logics. In: Representation and Explanation in the Sciences.
E. Agazzi (Ed.), 228–243. Milan: Franco Angeli, 2013.
• On G del’s modal interpretation of intuitionistic logic. In: Universal Logic: an anthology – From
Paul Hertz to Dov Gabbay. J.-Y. B ziau (Ed.), XVIII: 71–88. Springer, 2012. (In collaboration
with H. A. Feitosa)
• Calculus infinitesimalis: uma teoria entre a raz o e o mito? [Calculus infinitesimalis: a theory
between reasoning and the myths, in Portuguese]. Ci ncia & Educa o, 18(4): 981–996, 2012.
(In collaboration with T. F. Carvalho)
• Medical equipment classification: method and decision-making support based on paraconsistent
annotated logic. Medical & Biological Engineering & Computing, 50(4): 395–402, 2012.
(In collaboration with N. F. Oshiayama, R. A. Bassani, J. W. M. Bassani)
• On the development of logic in Brazil II: initiatives in Brazil related to logic and Brazilian
research groups dedicated to logic. Brazilian Journal on the History of Mathematics, 12(24): 1–19,
2012. (In collaboration with E. L. Gomes)
• Um panorama da teoria aristot lica do silogismo categ rico [An outline of the Aristotelian
theory of the categorical syllogism, in Portuguese]. Revista Brasileira de Filosofia, 238: 117–141,
2012. (In collaboration with E. L. Gomes)
• On the development of logic in Brazil I: the early logic studies and the path to contemporary
logic. Brazilian Journal on the History of Mathematics, 11(22): 3–28, 2011–2012. (In collaboration
with E. L. Gomes)
• Analytical tableaux for da Costa’s paraconsistent predicate calculi C∗
n. In: Logic without
Frontiers: Festschrift forWalter Alexandre Carnielli on the occasion of his 60th birthday. J.-Y. B ziau
and M. E. Coniglio (Eds.), 1: 239–264. London: College Publications, 2011. (In collaboration
with M. A. de Castro)
• Aristotle’s theory of syllogism and paraconsistency. Principia: International Journal of Epistemology,
14: 71–97, 2010. (In collaboration with E. L. Gomes)
• On the theory of quasi-truth. In: Series Special Issues of Epistemology: Relations between Natural
Sciences and Human Sciences – Relations entre les Sciences Naturelles et les Sciences Humaines.
Proceedings of the Meeting of the Acad mie Internationale de Philosophie des Sciences, Rovereto,
Italy, September 15–18, 2008. E. Agazzi and G. Di Bernardo (Eds.), 325–340. Genova: Tilgher-
Genova, 2010.
• Paraconsistent logics and applications. In: Fronteras de la Ciencia y Complejidad. C. Maldonado
(Ed.), 35–55. Bogot : Universidad del Ros rio, 2010.
• New dimensions on translations between logics. Logica Universalis, 3: 1–19, 2009. (In collaboration
withW. A. Carnielli and M. E. Coniglio)
• XIV Latin-American Symposium on Mathematical Logic (SLALM) – General Report. The
Bulletin of Symbolic Logic, 15(3): 332–376, 2009. (In collaboration withW. A. Carnielli and M. E.
Coniglio)
• Cogito ergo sum non machina! Sobre o reconhecimento humano de verdades da aritm tica
e m quinas de Turing [Cogito ergo sum non machina! On the human recognition of truths
of arithmetic and Turing machines, in Portuguese]. Cognitio: Revista de Filosofia, 10: 221–229,
2009. (In collaboration with R. P. Tassinari)
• Conceitos b sicos de sistema din mico e t rmico [Basic concepts of dynamic and thermal
systems, in Portuguese]. In: Auto-Organiza o: estudos interdisciplinares [Self-Organization:
interdisciplinary studies, in Portuguese]. E. Bresciani Filho, I. M. L. D’Ottaviano, M. E. Q.
Gonzalez, and G. M. Souza (Invited Eds.). Campinas: Cole o CLE, 52: 19–32, 2008. (In
collaboration with E. Bresciani Filho and L. F. Milanez)
• O logos da arte e a l gica da ci ncia [The logos of art and the logic of science, in Portuguese].
In: A Rep blica dos Saberes: arte, ci ncia, universidade e outras fronteiras [The Republic of knowledge:
art, science, university and other frontiers, in Portuguese]. C. A. Leite Brand o (Org.), 155–165.
Belo Horizonte: Editora UFMG, 2008.
• Analytical tableaux for da Costa’s paraconsistent logics. CLE e-Prints (Online), 8: 1–4, 2008.
(In collaboration with M. A. Castro)
• Tarski’s relation algebra and the “Borner’s Operator”. CLE e-Prints (Online), 8: 21–40, 2008.
(In collaboration with L. O. Suguitani)
• Luca Pacioli and the “Controversy of the Perspective”: the classification of the mathematics
from the classical antiquity to the end of the quattrocento. Brazilian Journal on the History of
Mathematics, 1: 505–525, 2007. (In collaboration with F. M. Bertato)
• Deductive systems and translations. In: Perspectives on Universal Logic. J.-Y. B ziau and A.
Costa-Leite (Invited Eds.), 125–157. Milan: Polimetrica International Scientific Publisher,
2007. (In collaboration with H. A. Feitosa)
• Peircean pragmatic truth and da Costa’s quasi-truth. Studies in Computational Intelligence, 64:
383–398, 2007. (In collaboration with C. Hifume)
• Sobre teorias da verdade e a quase-verdade de da Costa [On the theories of truth and da
Costa’s quasi-truth, in Portuguese]. In: Encontro com as ci ncias cognitivas – Cole o Estudos
Cognitivos [Meeting with Cognitive Sciences – Cognitive Studies Collection, in Portuguese]. M. C.
Broens, J. G. Coelho, and M. E. Q. Gonzalez (Invited Eds.), v. 5. S o Paulo: Cultura Acad mica,
2007. (In collaboration with C. Hifume)
• Newdimensions on translations between logics. In: 2ndWorld Congress and School on Universal
Logic, Xi’an, China, 2007 – Unilog’07: Proceedings of the 2nd World Congress and School on
Universal Logic. J.-Y. B ziau (Ed.), 44–54. Xi’an: 2007. (In collaboration with W. A. Carnielli,
M. E. Coniglio)
• Analytical tableaux for da Costa’s hierarchy of paraconsistent logics. Electronic Notes in
Theoretical Computer Science, 143: 27–44, 2006. (In collaboration with M. A. Castro)
• Sobre Leibniz, Newton e infinit simos, das origens do c lculo infinitesimal aos fundamentos
do c lculo paraconsistente [On Leibniz, Newton and the infinitesimals, from the origins of
the infinitesimal calculus to the foundations of the paraconsistent calculus, in Portuguese].
Educa o Matem tica Pesquisa, 8: 13–43, 2006. (In collaboration with T. F. Carvalho)
• Translations from Łukasiewicz logics into classical logic: is it possible? In: Essays in Logic
and Ontology. J. Malinowski and A. Pietruszczak (Eds.), Poznan Studies the Philosophy of the
Sciences and the Humanities, 91: 157–168, 2006. (In collaboration with H. A. Feitosa)
• Analytical tableaux for da Costa’s hierarchy of paraconsistent logics Cn. In: Logical approaches
to paraconsistency. P. Bernard and A. Herzig (Eds.), Journal of Applied Non-Classical Logics, 15(1):
69–103, 2005. (In collaboration with M. A. Castro)
• Da Costa’s paraconsistent differential calculus and a transference theorem. CLE e-Prints
(Online), 5: 1–20, 2005. (In collaboration with T. F. Carvalho)
• Analytical tableaux for da Costa’s hierarchy of paraconsistent logics. In: 12th Workshop on
Logic, Language, Information and Computacion (WoLLIC 2005), 25–45. Florian polis, 2005.
• Operadores de consequ ncia cumulativos e tradu es entre l gicas cumulativas [Cumulative
consequence operators and translations between cumulative logics, in Portuguese]. Revista
Eletr nica Informa o e Cogni o, 4: 47–60, 2005. (In collaboration with M. C. Scheer)
• Sobre o infinit simo e o c lculo diferencial paraconsistente de da Costa [On the infinitesimal
and da Costa’s paraconsistent differential calculus, in Portuguese]. Revista Eletr nica
Informa o e Cogni o, 4: 78–102, 2005. (In collaboration with T. F. Carvalho)
• Da Costa’s paraconsistent differential calculus and a transference theorem. In: 2nd Indian
International Conference on Artificial Intelligence (II CAI 2005): Proceedings of the 2nd Indian
International Conference on Artificial Intelligence, v. 1. Pune: 2005. (In collaboration with T. F.
Carvalho)
• Sobre o conceito de infinit simo e o desenvolvimento do c lculo diferencial e integral [On
the concept of infinitesimal and the development of the differential and integral calculus, in
Portuguese]. In: VI Semin rio Nacional de Hist ria da Matem tica – VI SNHM. Anais VI Semin rio
Nacional de Hist ria da Matem tica – VI SNHM. Bras lia: Sociedade Brasileira de Hist ria da
Matem tica, 2005.
• Sistema din mico ca tico e auto-organiza o [Chaotic dynamic system and self-organization,
in Portuguese]. In: Auto-organiza o: estudos interdisciplinares [Self-Organization: interdisciplinary
studies, in Portuguese]. G. M. Souza, I. M. L. D’Ottaviano, and M. E. Q. Gonzalez
(Invited Eds.). Campinas: Cole o CLE, 38: 239–258. (In collaboration with E. Bresciani Filho)
• Sist mica, auto-organiza o e cria o [Systems, self-organization, and creation, in Portuguese].
Multici ncia, 3: 1–23, 2004. (In collaboration with E. Bresciani Filho)
• Um olhar alg brico sobre as tradu es intuicionistas [An algebraic view on the intuitionistic
translations, in Portuguese]. In: L gica: teoria, aplica es e reflex es. H. A. Feitosa and F. T.
Sautter. Campinas: Cole o CLE, 39: 59–89, 2004. (In collaboration with H. A. Feitosa)
• Hist ria da l gica e o surgimento das l gicas n o cl ssicas [History of logic and the advent of nonclassical
logics, in Portuguese]. Rio Claro: Sociedade Brasileira de Hist ria da Matem tica /
Unesp, Cole o Hist ria da Matem tica para Professores, 1: 1–66, 2003. (In collaboration with
H. A. Feitosa)
• A busca por uma defini o de tradu o l gica [The quest for a definition of logic translation,
in Portuguese]. Epist m , 14: 139–170, 2002. (In collaboration with H. A. Feitosa)
• On NCGω: a paraconsistent sequent calculus. In: Paraconsistency: the logical way to the
inconsistent. W. A. Carnielli, M. E. Coniglio, and I. M. L. D’Ottaviano (Eds.). Dordrecht:
Kluwer Academic Publishers, Lecture Notes in Pure and Applied Mathematics, 228: 227–240,
2002. (In collaboration with J. E. Almeida)
• Conservative translations. Annals of Pure and Applied Logic, 108: 205–227, 2001. (In collaboration
with H. A. Feitosa)
• Gramsci: filosofia, pol tica e Bom Senso [Gramsci: philosophy, politics and Common Sense].
Foreword of post-mortem opera. In: M. M. Debrun. Gramsci: filosofia, pol tica e Bom Senso.
Campinas: Editora da Unicamp/Cole o CLE, 31: 7–11, 2001.
• Natural deduction for paraconsistent logic. Logica Trianguli, 4: 3–24, 2000. (In collaboration
with M. A. Castro)
• Conceitos b sicos de sist mica [Basic concepts of systemics, in Portuguese]. In: Autoorganiza o:
estudos interdisciplinares [Self-Organization: interdisciplinary studies, in Portuguese].
I. M. L. D’Ottaviano and M. E. Q. Gonzalez (Invited Eds.). Campinas: Cole o CLE, 30: 283–
306, 2000. (In collaboration with E. Bresciani Filho)
• Paraconsistent logics and translations. Synthese, 125: 77–95, 2000. (In collaboration with H. A.
Feitosa)
• Conservative translations and model-theoretic translations. Manuscrito – International Journal
of Philosophy, 22(2): 117–132, 1999. (In collaboration with H. A. Feitosa)
• Many-valued logics and translations. The Journal of Applied Non Classical Logics, 9(1): 121–140,
1999. (In collaboration with H. A. Feitosa)
• Translations between logics. Lecture Notes in Pure and Applied Mathematics, 203: 435–448, 1999.
(In collaboration with J. J. da Silva and A. M. A. Sette)
• Translations between logical systems – a manifesto. Logique & Analyse, 40(157): 67–81, 1997.
(In collaboration withW. A. Carnielli)
• The Centre for Logic in Campinas and the development of logic in Brazil. Logique &Analyse,
153/4: 15–29, 1996. (In collaboration withW. A. Carnielli and E. H. Alves)
• Fuzzy sets on drawing fair plane curves. In: VIII SIBGRAPI. Anais do VIII SIBGRAPI. S o
Carlos: Universidade Federal de S o Carlos (UFSCar), pp. 87–94, 1995.
• The intelectual development of Andr s Raggio. In: Logic, sets and information. W. A. Carnielli
and L. C. Pereira (Invited Eds.). Campinas: Cole o CLE, 14: 1–24, 1995.
• A l gica cl ssica e o surgimento das l gicas n o-cl ssicas [Classical logic and the advent
of non-classical logics, in Portuguese]. In: S culo XIX: o nascimento da ci ncia contempor nea
[19th Century: the birth of contemporary science, in Portuguese]. F. R. R. vora (Invited Ed.).
Campinas: Cole o CLE, 11: 65–94, 1992.
• N. A. Vasiliev e a l gica paraconsistente [N. A. Vasiliev and paraconsistent logic]. Foreword
of post-mortem opera. In: A. I Arruda. N. A. Vasiliev e a l gica paraconsistente. Campinas:
Cole o CLE, 7: 11–16, 1992.
• On the development of paraconsistent logic and da Costa’s work. The Journal of Non-Classical
Logic, 7(1/2): 89–152, 1990.
• Paradoxos auto-referenciais, as l gicas n o-cl ssicas e aplica es [Self-reference paradoxes,
non-classical logics, and applications, in Portuguese]. Ci ncia e Cultura (SBPC), 42 (2): 164–173,
1990.
• A many-valued paraconsistent logic. Reports on Mathematical Logic, 22: 89–103, 1988. (In
collaboration with R. L. Epstein)
• Definability and quantifier elimination for J3-theories. Studia Logica, 46(1): 37–54, 1987.
• The conditional and the compounding of errors. The Journal of Non-Classical Logic, 3(2): 91–117,
1986. (In collaboration with E. G. K. L pez Escobar)
• The completeness and compactness of a three-valued first order logic. Revista Colombiana de
Matem ticas, XIX(1–2): 31–42, 1985.
• The conditional and paraconsistent logics. In: Mathematical Logic and Formal Systems, Lectures
Notes in Pure and Applied Mathematics, 203: 141–160, 1985. (In collaboration with E. G. K.
L pez Escobar)
• The model extension theorems for J3-theories. In: Methods in Mathematical Logic, Lectures Notes
in Mathematics, 1130: 157–173, 1985.
• Imers o em fechos fluentes [Immersion in fluent closures, in Portuguese] In: Simp sio Tarski de
L gica Matem tica. A. I. Arruda (Ed.), 50–56. Proceedings Simp sio Tarski de L gica Matem tica.
Campinas: Unicamp, 1975.
• Sur un probl me de Jaskowski. Comptes Rendus de l’Acad mie des Sciences, S rie 1, Math matique,
270-A: 1349–1353, 1970. (In collaboration with da N. C. A. Costa)
11.2 Published Books and Edited Volumes
• Proceedings of the 19th Brazilian Logic Conference (XIX EBL). Journal of Applied Logics. The IfCoLog
Journal of Logics and their Applications, v. 9, Issue 1, January 2022. London: College Publications:
print and online. (Editor, in collaboration with R. Silvestre, L. Suguitani, and P. Viana)
• Aftermath of the Logical Paradise. Campinas: Cole o CLE, v. 81, 2018. (Invited editor, in
collaboration with J.-Y. B ziau and A. Costa-Leite)
• Para al m das Colunas de H rcules, uma hist ria da paraconsist ncia: de Her clito a Newton da Costa
[Beyond the Columns of Hercules, a history of paraconsistency: from Heraclitus to Newton da Costa,
in Portuguese]. Campinas: Editora Unicamp, S rie Unicamp Ano 50, v. 50; Cole o CLE, v. 80,
2017. 712p. (In collaboration with E. L. Gomes)
• Lectures at Unicamp in 1975 – Alfred Tarski. Campinas: Editora Unicamp, S rie Unicamp Ano
50, v. 30; Cole o CLE, v. 76, 2016. 157p. (In collaboration with L. Suguitani and J. P. Petrucio)
• Auto-organiza o: estudos interdisciplinares. Campinas: Cole o CLE, v. 66, 2014. (In collaboration
with E. Bresciani Filho, M. E. Q. Gonzalez, A. M. Pellegrini, and R. S. Capelle de
Andrade)
• Algebraic foundations of many-valued reasoning. 2nd ed. Berlin: Springer Science & Business
Media, Trends in Logic, v. 2, 2013. 223p. (In collaboration with R. L. O. Cignoli and D. Mundici)
• Uma hist ria concisa da l gica paraconsistente [A concise history of paraconsistent logic, in Portuguese].
Campinas: Sociedade Brasileira da Hist ria da Matem tica, Cole o Hist ria da
Matem tica para Professores [Collection History of Mathematics for Teachers, in Portuguese], 2013.
139p. (In collaboration with E. L. Gomes)
• Studia Logica, v. 97, n. 1, February 2011: The Legacy of Newton da Costa. (Editor, in collaboration
with D. Mundici)
• Science truth and consistency – Festschrift for Newton da Costa. Proceedings of the CLE/AIPS Event
2009. Manuscrito: International Journal of Philosophy, v. 33, n. 2, jul.-dez., 2010. (Editor, in
collaboration with E. Agazzi and D. Mundici)
• Universidade, interdisciplinaridade e mem ria: uma an lise antropol gica da experi ncia acad mica
dos Centros e N cleos da Unicamp [University, interdisciplinarity, and memory: an anthropogical
analysis of the academic experience of the Centers and Nuclei of Unicamp, in Portuguese]. Campinas:
Arte-Escrita/CMU-Unicamp, 2009. 237p. (In collaboration with M. S. Queiroz)
• Brazilian national identity and self-organization (Author: M. M. Debrun). Campinas: Cole o
CLE, v. 53, 2009. 186p. (Organization and Foreword, in collaboration with M. E. Q. Gonzales)
• The many sides of logic. London: College Publications, Studies in Logic, n. 12, 2009. 586p.
(Editor, in collaboration withW. A. Carnielli and M. E. Coniglio)
• Auto-organiza o: estudos interdisciplinares [Self-organization: interdisciplinary studies, in Portuguese].
Campinas: Cole o CLE, v. 52, 2008. 344p. (Organization and Foreword, in collaboration
with E. Bresciani Filho and M. E. Q. Gonzalez)
• An event on Brazilian logic. Proceedings of the XIII Brazilian Logic Conference (XIII EBL). Logic
Journal of the Interest Group in Pure and Applied Logics (IGPL), v. 12, n. 7, 2005. 280p. (Editor, in
collaboration withW. A. Carnielli and M. E. Coniglio)
• Auto-organiza o: estudos interdisciplinares [Self-organization: interdisciplinary studies, in Portuguese].
Campinas: Cole o CLE, v. 38, 2004. 380p. (Organization and Foreword, in
collaboration with G. M. Souza and M. E. Q. Gonzalez)
• An event on Brazilian logic. Proceedings of the XIII Brazilian Logic Conference (XIII EBL). Logic
Journal of the Interest Group in Pure and Applied Logics (IGPL), v. 12, n. 6, 2004. 300p. (Editor, in
collaboration withW. A. Carnielli and M. E. Coniglio)
• Paraconsistency: the logical way to the inconsistent. Proceedings of the II World Congress on
Paraconsistency (WCP’2000). New York: Marcel Dekker, 2002. (Editor, in collaboration with
W. A. Carnielli and M. E. Coniglio)
• Gramsci: filosofia, pol tica e Bom Senso [Gramsci: philosophy, politics and common sense, in Portuguese].
(Author: M. M. Debrun). Campinas: Editora da Unicamp, Cole o CLE, v. 31, 2001.
290p. (Organization and Foreword)
• Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers, Trends
in Logic, v. 2, 2000. 223p. (In collaboration with R. L. O. Cignoli and D. Mundici)
• Auto-organiza o: estudos interdisciplinares [Self-organization: interdisciplinary studies, in Portuguese].
Campinas: Cole o CLE, v. 30, 2000. 361p. (Organization and Foreword, in collaboration
with M. E. Q. Gonzalez)
• Advances in contemporary logic and computer science. Contemporary Mathematics, v. 235, 1999.
326p. (Editor, in collaboration with W. A. Carnielli and M. E. Coniglio)
• XI Brazilian Conference on Mathematical Logic. Logic Journal of the Interest Group in Pure and
Applied Logics (IGPL). 1997. (Editor, in collaboration withW. A. Carnielli)
• lgebras das l gicas de Łukasiewicz [Algebras of Łukasiewicz’ logics, in Portuguese]. 2 ed. Campinas:
Cole o CLE, v. 12, 1995. 256p. (In collaboration with R. L. O. Cignoli and D. Mundici)
• The semantic foundations of logic: propositional logics, v. 1. 2nd ed. New York: The Clarendon
Press/Oxford University Press, 1995. (Collaborator. Author: R. L. Epstein)
• lgebras das l gicas de Łukasiewicz [Algebras of Łukasiewicz’ logics, in Portuguese]. Campinas:
Cole o CLE, v. 12, 1994. 256p. (In collaboration with R. L. O. Cignoli and D. Mundici)
• The semantic foundations of logic: propositional logics Dordrecht: Kluwer Academic Publishers
Group, 1990. v. 1. (Collaborator. Author: R. L. Epstein)
• N. A. Vasiliev e a l gica paraconsistente [N. A. Vasiliev and paraconsistent logic, in Portuguese]
(Author: A. I. Arruda). Campinas: Cole o CLE, v. 7, 1990, 95p. (Organization and Foreword)
• Regra ω: passado, presente e futuro [ω-Rule: past, present and future, in Portuguese]. Campinas:
Cole o CLE, v. 2, 1987. (In collaboration with E. G. K. L pez Escobar)
11.3 Volumes published as Editor of The Journal of Non-Classical Logic
• The Journal of Non-Classical Logic, v. 8, n. 1. Campinas: CLE/Unicamp, 1991.
• The Journal of Non-Classical Logic, v. 8, n. 2. Campinas: CLE/Unicamp, 1991.
• The Journal of Non-Classical Logic, v. 7, n. 1/2. Campinas: CLE/Unicamp, 1990.
11.4 Volumes published as Editor of Cole c˜ao CLE (Collection of Books in the
Areas of Logic, Epistemology and History of Science)
• Axiomatic Theory of Distributions. N. C. A. da Costa and J. A. Ba ta Segundo. Campinas:
Cole o CLE, v. 89, 2021.
• Big Data: Implica es Epistemol gicas e ticas. E. A. de Souza, M. C. Broens, and M. E. Quilici
Gonzalez (Invited Eds.). Campinas: Cole o CLE, v. 88, 2020.
• Topics in History and Philosophy of Computing. H. Cukiermann and F. Bertato (Invited Eds.).
Campinas: Cole o CLE, v. 87, 2020.
• Wittgenstein in/on translation. P. Oliveira, A. Pichler, and A. Moreno (Invited Eds.), e-book and
printed. Campinas: Cole o CLE, v. 86, 2019.
• O Paradigma da complexidade e a tica informacional. J. A. de Moraes. Campinas: Cole o CLE,
v. 85, 2019.
• Cogni o, emo es e a o. M. A. Alves (Invited Ed.). Campinas: Cole o CLE, v. 84, 2019.
• O Paradoxo do Mentiroso. G. A. Cardoso. Campinas: Cole o CLE, v. 83, 2018.
• I SOEITXAWE: Congresso Internacional de Pesquisa Cient fica na Amaz nia. C. M. Wanderley
(Invited Ed.), e-book and printed. Campinas: Cole o CLE, v. 82, 2017.
• Aftermath of the logical paradise. J.-Y. B ziau, A. Costa-Leite, and I. M. L. D’Ottaviano (Invited
Eds.). Campinas: Cole o CLE, v. 81, 2018.
• Para al m das Colunas de H rcules, uma hist ria da paraconsist ncia: de Her clito a Newton da Costa.
E. L. Gomes and I. M. L. D’Ottaviano. Campinas: Cole o CLE, v. 80, 2017.
• (Un-)certainty and (in-)exactness: Proceedings of the 1st CLE Colloquium for Philosophy and Formal
Sciences. F. Bertato and G. Basti (Invited Eds.). Campinas: Cole o CLE, v. 79, 2018.
• Informa o, conhecimento e modelos. M. A. Alves, M. C. C. Gr cio, and D. Mart nez- vila
(Invited Eds.). Campinas: Cole o CLE, v. 78, 2017.
• Wittgenstein – conhecimento e ceticismo. A. R. Moreno (Invited Ed.). Campinas: Cole o CLE,
v. 77, 2016.
• Alfred Tarski: lectures at Unicamp 1975. L. Suguitani, P. J. Viana, and I. M. L. D’Ottaviano.
Campinas: Cole o CLE, v. 76, 2016.
• Crossing oceans: exchange of products, instruments and procedures in the history of chemistry and
related sciences selected papers. A. M. Alfonso-Goldfarb,W. A. Carnielli, H. Chang, M. H. M. Ferraz,
J. L. Goldfarb, and S. Waisse (Invited Eds.). Campinas: Cole o CLE, v. 75, 2015.
• Intuici n y pensamiento: la concepci n fregeana de la geometria. F. Plaza. Campinas: Cole o CLE,
v. 74, 2015.
• Informa o, complexidade e auto-organiza o: estudos interdisciplinares. M. Broens, J. A. de Moraes,
and E. A. de Souza (Invited Eds.). Campinas: Cole o CLE, v. 73, 2015.
• Wittgenstein e seus aspectos =Wittgenstein and his aspects =Wittgenstein et ses aspects. A. Moreno
(Invited Ed.). Campinas: Cole o CLE, v. 72, 2015.
• Hesiod’s Cosmos: a linguistic-mathematic view. A. Freitas. Campinas: Cole o CLE, v. 71, 2015.
• Origens da qu mica no Brasil. C. A. L. Filgueiras. Campinas: Cole o CLE, v. 70, 2015.
• Uranografia ou a descri o do C u. Z. Oliveira. Campinas: Cole o CLE, v. 69, 2015.
• Wittgenstein – compreens o: adestramento, treinamento, defini o. A. R. Moreno (Invited Ed.).
Campinas: Cole o CLE, v. 68, 2015.
• Materialismo e evolucionismo III: evolu o e acesso na hominiza o. J. Q. de Moraes (Invited Ed.).
Campinas: Cole o CLE, v. 67. 2015
• Auto-organiza o: estudos interdisciplinares. E. Bresciani Filho, I. M. Loffredo D’Ottaviano,
M. E. Q. Gonzalez, A. M. Pellegrini, and R. S. Capelle de Andrade (Invited Eds.). Campinas:
Cole o CLE, v. 66, 2014.
• Incurs es semi ticas. L. F. B. da Silveira. Campinas: Cole o CLE, v. 65, 2014.
• In the steps of Galois: Proceedings of the variste Galois Bicentenary Meeting. F. M. Bertato,
J. C. Cifuentes, and J.-J. Szczeciniarz (Invited Eds.). Campinas: Cole o CLE, v. 64, 2013.
• Wittgenstein e a epistemologia. A. R. Moreno (Invited Ed.). Campinas: Cole o CLE, v. 63, 2013.
• Hist ria da matem tica – v. 2 (2 ed.). R. G. Lintz. Campinas: Cole o CLE, v. 62, 2012.
• A rela o entre a filosofia mec nica e os experimentos alqu micos de Robert Boyle. K. Cecon. Campinas:
Cole o CLE, v. 61, 2011.
• Sistemas axiom ticos formalizados: a quest o da desinterpreta o e da formaliza o da axiom tica.
A. A. Vieiro. Campinas: Cole o CLE, v. 60, 2011.
• Materialismo e evolucionismo II: a origem do homem. J. Q. de Moraes (Invited Ed.). Campinas:
Cole o CLE, v. 59, 2011.
• Wittgenstein: certeza? A. R. Moreno (Invited Ed.). Campinas: Cole o CLE, v. 58, 2010.
• Um fil sofo e a multiplicidade de dizeres: homenagem aos 70 anos de vida e 40 de Brasil de Zeljko
Loparic. R. R. dos Reis and A. Faggion (Invited Eds.). Campinas: Cole o CLE, v. 57, 2010.
• A “De Divina Proportione” de Luca Pacioli – tradu o anotada e comentada. F. M. Bertato. Campinas:
Cole o CLE, v. 56, 2010.
• Wittgenstein: como ler o lbum? A. R. Moreno (Invited Ed.). Campinas: Cole o CLE, v. 55,
2009.
• Dimensions of logical concepts. J.-Y. B ziau and A. Costa-Leite (Invited Ed.). Campinas: Cole o
CLE, v. 54, 2009.
• Michel Debrun: Brazilian national identity and self-organization – identidade nacional Brasileira e
auto-organiza o. I. M. L. D’Ottaviano and M. E. Q. Gonzalez (Invited Eds.). Campinas: Cole o
CLE, v. 53, 2009.
• Auto-organiza o:estudos interdisciplinares. E. Bresciani Filho, I. M. L. D’Ottaviano, M. E. Q.
Gonzalez, and G. M. Souza (Invited Eds.). Campinas: Cole o CLE, v. 52, 2008.
• Orealismo naturalista de Quine: cren a e conhecimento sem dogmas. M. B. Nascimento. Campinas:
Cole o CLE, v. 51, 2008.
• Alguns aspectos do pensamento formal: homenagem a Gilles-Gaston Granger. A. R. Moreno (Invited
Ed.). Campinas: Cole o CLE, v. 50, 2008.
• Wittgenstein: aspectos pragm ticos. A. R. Moreno (Invited Ed.). Campinas: Cole o CLE, v. 49,
2007.
• M rio Tourasse Teixeira: o homem, o educador, o matem tico. R. M. A. Souto. Campinas: Cole o
CLE, v. 48, 2007.
• Materialismo e evolucionismo: epistemologia e hist ria dos conceitos. J. Q. de Moraes (Invited Ed.).
Campinas: Cole o CLE, v. 47, 2007.
• Hist ria da matem tica – v. 2. R. G. Lintz. Campinas: Cole o CLE, v. 46, 2007.
• Hist ria da matem tica – v. 1 (2 ed.). R. G. Lintz. Campinas: Cole o CLE, v. 45, 2007.
• Filosofia da mente e intelig ncia artificial (2nd ed.). J. F. Teixeira. Campinas: Cole o CLE, v. 44,
2006.
• Wittgenstein: tica – est tica – epistemologia. A. R. Moreno (Invited Ed.). Campinas: Cole o
CLE, v. 43, 2006.
• Logical forms (Part II): logic, language and knowledge. O. Chateaubriand. Campinas: Cole o
CLE, v. 42, 2005.
• A sem ntica transcendental de Kant (3 ed.). Z. Loparic. Campinas: Cole o CLE, v. 41, 2005.
• Introdu o teoria da relatividade com aplica es f sica nuclear. N. Bernardes. Campinas: Cole o
CLE, v. 40, 2005.
• L gica: teoria, aplica es e reflex es. H. A. Feitosa and F. T. Sautter (Invited Eds.). Campinas:
Cole o CLE, v. 39, 2004.
• Auto-organiza o: estudos interdisciplinares. G. M. Souza, I. M. L. D’Ottaviano, and M. E. Q.
Gonzalez, (Invited Eds.). Campinas: Cole o CLE, v. 38, 2004.
• Problemas, lenguajes y algoritmos. M. Sagastume, G. Baum, and G. Mart nez. Campinas: Cole o
CLE, v. 37, 2003.
• Ofil sofo e sua hist ria: uma homenagem a Oswaldo Porchat. M. B.Wrigley and P. J. Smith (Invited
Eds.). Campinas: Cole o CLE, v. 36, 2003.
• A gram tica das cores em Wittgenstein. J. C. Salles. Campinas: Cole o CLE, v. 35, 2002.
• Asem ntica transcendental de Kant: umestudo sobre a anal tica transcendental (2nd ed.). Z. Loparic.
Campinas: Cole o CLE, v. 29, 2002.
• Logical forms (Part I): truth and description. O. Chateaubriand. Campinas: Cole o CLE, v. 34,
2001.
• A epistemologia de Claude Bernard. L. H. Dutra. Campinas: Cole o CLE, v. 33, 2001.
• Sintaxe e sem ntica universais. M. K. F. Pereira. Campinas: Cole o CLE, v. 32, 2001.
• Gramsci: filosofia, pol tica e Bom-Senso. M. M. Debrun. Campinas: Cole o CLE, v. 31, 2001.
• Auto-organiza o: estudos interdisciplinares. I. M. L. D’Ottaviano and M. E. Q. Gonz lez (Invited
Eds.). Campinas: Cole o CLE, v. 30, 2000.
• A sem ntica transcendental de Kant: um estudo sobre a anal tica transcendental. Z. Loparic. Campinas:
Cole o CLE, v. 29, 2000.
• Fundamentos da psican lise: pensamento, linguagem, realidade e ang stia. O. F. Gabbi Jr. (Invited
Ed.). Campinas: Cole o CLE, v. 28, 1999.
• David Bohm e a controv rsia dos quanta. O. Freire Jr. Campinas: Cole o CLE, v. 27, 1999.
• Termodin mica, linguagem e indetermina o. N. Bernardes. Campinas: Cole o CLE, v. 26, 1999.
• O empirismo construtivo: uma reformula o e defesa. O. Bueno. Campinas: Cole o CLE, v. 25,
1999.
• O estatuto das entidades metapsicol gicas luz da teoria kantiana das ideias. V. L. Blum. Campinas:
Cole o CLE, v. 24, 1999.
• Elementos de teoria paraconsistente de conjuntos. N. C. A. da Costa, J.-Y. B ziau, and O. Bueno.
Campinas: Cole o CLE, v. 23, 1998.
• Mec nica relacional. A. K. T. Assis. Campinas: Cole o CLE, v. 22, 1998.
• Aspectos da descri o f sica da realidade. S. S. Chibeni. Campinas: Cole o CLE, v. 21, 1997.
• Una introducci n a la teor a de conjuntos y los fundamentos de las matem ticas. C. A. Di Prisco.
Campinas: Cole o CLE, v. 20, 1997.
• Potencial cient fico: estructura y problemas de evaluaci n. S. Kara-Murza. Campinas: Cole o
CLE, v. 19, 1997.
• Auto-organiza o: estudos interdisciplinares. M. M. Debrun, M. E. Q. Gonz lez, and O. Pessoa
Jr. (Invited Eds.). Campinas: Cole o CLE, v. 18, 1996.
• Filosofia da mente e intelig ncia artificial. J. F. Teixeira. Campinas: Cole o CLE, v. 17, 1996.
• Tese de Church: algumas quest es hist rico-conceituais. R. E. Biraben. Campinas: Cole o CLE,
v. 16, 1996.
• Espa o e tempo. F. R. R. vora (Invited Ed.). Campinas: Cole o CLE, v. 15, 1995.
• lgebras das l gicas polivalentes de Łukasiewicz (2 ed.). R. Cignoli, I. M. L. D’Ottaviano, and
D. Mundici. Campinas: Cole o CLE, v. 12, 1995.
• Logic, sets and information. W. A. Carnielli and L. C. Pereira (Invited Eds.). Campinas: Cole o
CLE, v. 14, 1995.
• Freud: racionalidade, sentido e refer ncia. O. F. Gabbi Jr. Campinas: Cole o CLE, v. 13, 1994.
• lgebras das l gicas polivalentes de Lukasiewicz. R. Cignoli, I. M. L. D’Ottaviano, and D. Mundici.
Campinas: Cole o CLE, v. 12, 1994.
• S culo XIX: o nascimento da ci ncia contempor nea. F. R. R. vora (Invited Ed.). Campinas:
Cole o CLE, v. 11, 1992.
• O m todo dos isomorfismos parciais e a caracteriza o alg brica da expressabilidade matem tica. J. C.
Cifuentes Vasquez. Campinas: Cole o CLE, v. 10, 1991.
• A in rcia e o espa o-tempo absoluto de Newton a Einstein: uma an lise filos fica. M. Ghins. Campinas:
Cole o CLE, v. 9, 1991.
• Raz o e afetividade: o pensamento de Lucien L vy-Bruhl. R. Cardoso de Oliveira. Campinas:
Cole o CLE, v. 8, 1990.
• N.A. Vasiliev e a l gica paraconsistente. A. I. Arruda. Campinas: Cole o CLE, v. 7, 1990.
• Sobre o predicativismo em Hermann Weyl. J. J. da Silva. Campinas: Cole o CLE, v. 6, 1989.
• O desenvolvimento hist rico da ci ncia da nutri o em rela o a outras ci ncias. K. M. O. Santos.
Campinas: Cole o CLE, v. 5, 1989.
• A revolu o copernico-galileana: a revolu o galileana. F. R. R. vora. Campinas: Cole o CLE,
v. 4, 1988.
• A revolu o copernicano-galileana: astronomia e cosmologia pr -galileanas. F. R. R. vora. Campinas:
Cole o CLE, v. 3, 1988.
• Regra ω: passado, presente e futuro. I. M. L. D’Ottaviano and E. G. K. L pez-Escobar. Campinas:
Cole o CLE, v. 2, 1987.
• C lculo proposicional: uma intera o da lgebra e da l gica. F. Miraglia Neto. Campinas: Cole o
CLE, v. 1, 1987.