Discurso de Posse na Academia Brasileira de Filosofia, 23/06/2016
Discurso de Recepção pelo Acadêmico Newton Costa 23/06/2016
Pesquisadora 1A do CNPq, sua área de atuação é Lógica e Fundamentos da Ciência. Possui graduação em Matemática, graduação em Música-Piano, doutorado em Matemática pela Universidade Estadual de Campinas (UNICAMP), com pós-doutorado na Universidade da Califórnia - Berkeley, na Universidade de Stanford e na Universidade de Oxford. Atualmente é Professor Titular Colaborador em Lógica e Fundamentos da Ciência do Departamento de Filosofia da Unicamp. Assessora ad hoc de diversas instituições de ensino e de fomento ao ensino e à pesquisa do Brasil e do exterior. Consultora, reviewer e membro de conselhos editorais de periódicos de circulação internacional, do Brasil e do exterior. Membro de comissões científicas, organizadora e coordenadora de diversos eventos brasileiros e internacionais. Foi Secretária de Educação da Cidade de Campinas. Membro fundador do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp e da Sociedade Brasileira de Lógica (SBL). Diretora do CLE por quatro mandatos (1986-1993; 2004-2009); Presidente da SBL por quatro mandatos (1994-2003; 2011-2014); Presidente do Latin-American Committee on Logic da Association for Symbolic Logic por dois mandatos (1993- 1999); Coordenadora da Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa (COCEN) da Unicamp, por dois mandatos (1998-2002; 2009-2013). Membro de várias sociedades científicas. Professora convidada em diversas universidades do Brasil, América e Europa, conferencista plenária em diversos eventos internacionais. Foi Editora do The Journal of Non-Classical Logic, primeiro periódico de circulação internacional na área de lógicas não- clássicas. Criadora e editora da Coleção CLE, coleção de livros nas áreas de lógica, epistemologia e história da ciência, com mais de 80 volumes publicados. Suas áreas de atuação são lógica e fundamentos da matemática e da ciência, história e filosofia da ciência, álgebra de lógica, lógicas não clássicas, lógica universal, teoria da auto- organização e sistêmica. Foi Pró-Reitora de Pós-Graduação (PRPG) da Unicamp (2013-2014). É membro do Centro de Investigação Professor Doutor Joaquim Veríssimo Serrão, Casa de Portugal e de Camões, Portugal. Premio Aristóteles em Ciencia e Investigación, Academia de Ciencias y Humanidades del Instituto de Estudios Superiores de Estagira, México. Finalista do Prêmio Jabuti 2018, Área
de Humanidades. É membro eleita, e Assessora, da Académie Internationale de Philosophie des Sciences (AIPS).
Livros e artigos
Principais Livros Publicados
-
Para além das Colunas de Hércules, uma história da paraconsistência - De Heráclito a Newton da Costa. Coleção CLE, v. 80; Série Unicamp Ano 50. Campinas, SP: CLE/Editora da Unicamp. 1. ed. Campinas, SP: CLE/Editora da UNICAMP, 2017. 712p. Com Evandro Lúis Gomes.
-
Alfred Tarski, Conferências na Unicamp em 1975 - Lectures at Unicamp in 1975. Coleção CLE, v. 76; Série Unicamp Ano 50. Campinas, SP: CLE/Editora da Unicamp. 1a. ed. Campinas, SP: Editora da Unicamp/Centro de Lógica, 2016. v. 1. 240p. Com Leandro O. Suguitani e Jorge P. Viana.
-
Auto-organização: estudos interdisciplinares. Coleção CLE, v. 66. Campinas, SP : CLE/UNICAMP. 5. ed. Campinas, SP: CLE/UNICAMP, 2014. v. 66. 446p. Org, com Ettore Bresciani Filho, Maria Eunice Q. Gonzales, Ramon C. de Andrade e Ana Maria Pellegri.
-
Science, Truth and Consistency - Festschrift for Newton da Costa. Proceedings of the CLE/AIPS Event 2009. Manuscrito - International Journal of Philosophy, v. 34, n. 1. Campinas, SP: CLE/UNICAMP, 2011. Com Evandto Agazzi e Daniela Mundici.
-
The Legacy of Newton da Costa. Studia Logica, v. 97, n. 1. Springer Verlag. Springer Verlag, 2011. Com Daniela Mundici.
-
Science, Truth and Consistency - Festschrift for Newton da Costa. Proceedings of the CLE/AIPS Event 2009. Principia International Journal of Epistemology, v. 14, n.2, 2011. Florianópolis, SC: Universidade Federal de Santa Catarina, 2011. Com Evandro Agazzi e Daniele Mundici
-
Science, Truth and Consistency - Festschrift for Newton da Costa. Proceedings of the CLE/AIPS Event 2009. Principia International Journal of Epistemology, v. 14, n.3, 2011. Florianópolis, SC: Universidade Federal de Santa Catarina, 2011. Cpm Evandro Agazzi e Daniele Mundici.
-
Universidade, Interdisciplinaridade e Memória: uma análise antropológica da experiência acadêmica dos Centros e Núcleos da Unicamp. 1. ed. Campinas: Arte- Escrita/CMU-Unicamp, 2009. 237p. Com Marcos S. Queiroz.
-
Brazilian national identity and self-organization. Coleção CLE, vol. 53. Campinas, SP: CLE/UNICAMP, 2009. v. 53. 186p. Co Maria Eunice Q. Gonzales.
-
The many sides of logic. College Publications: Studies in Logic, n. 12. College Publications, 2009. 586p. Com Walter A. Carnielli e Marcelo E. Coniglio..
-
Paraconsistency: the logical way to the inconsistent. Proceedings of the II World
-
Congress on Paraconsistency (WCP'2000). New York: Marcel Dekker Inc., 2002. Cm walter A. Carnielli e Marcelo E. Coniglio.
-
Gramsci: filosofia, política e bom senso. Autor: Michel Debrun. Coleção CLE, v. 31. 1. ed. Campinas, SP: CLE/Editora da Unicamp, 2001. v. 31. 290p. Co maria Eunice Q. Gonzales.
-
Algebraic foundations of many-valued reasoning (Trends in Logic). Dordrecht: Kluwer Academic Publishers, 2000. v. 2. 223p. Com Roberto Cignoli e Daniele Mundici.
-
Advances in contemporary logic and computer science. EUA: American Mathematical Society, Contemporary Mathematics, 1999. v. 235. 326p. Com Walter A. Carnielli e Marcelo E. Coniglio.
-
Álgebras das lógicas de Lukasiewicz. Coleção CLE v. 12, (2a Ed.). Campinas, SP: CLE/UNICAMP, 1995. 256p Com Roberto Cignoli e Daniele Mundici.
-
N.A. Vasiliev e a lógica paraconsistente,Org. Autor: Ayda Ignez Arruda. Coleção CLE. Campinas, SP: CLE/UNICAMP, 1990. v. 7. 95p .
-
Regra W: passado, presente e futuro. In: Coleção CLE, v. 2. Campinas, SP: CLE/UNICAMP, 1987. 58p. Com Edgar G. K. López-Escobar.
-
EDITORA da COLEÇÃO CLE – mais de 80 volumes publicados.
Principais Artigos e Capítulos Publicados
-
Provided you're not trivial: adding defaults and paraconsistency to a formal model of explanation. In: Contradictions, from consistency to inconsístency. Ed.: W.A. Carnielli and Jacek Malinowski. Trends in Logic, v. 47, p. 109-138, 2018. Com david Gaytán e Raymundo Morado.
-
The Dawn of the Reductio in the Early Ancient Logic. In: Dmitri Zaitsev. (Org.). In: Dmitri Zaitsev. (Org.). Modern logic: Its Subject Matter, Foundations and Prospects. 1ed. Moscow: Forum, 2018, p. 187-229. 1ed.Moscou: , 2018, v. , p. 187-229. Com Evandro L. Gomes.
-
Early apagocical inference forms: the rise of the "reductio ad absurdum" in the beginning of ancient logic. Coleção CLE, v. 79 and Aracne Editrice (Magistralia Filosofi del Terço Millennio - Quaestiones). In: Fábio Bertato e Gianfranco Basti. (Org.). (UN-) Certainty and (IN-) Exactness. 1aed.Campinas, SP: CLE/UNICAMP, 2018, v. , p. 141- 178. Com Evando L. Gomes.
-
On Informational Ethics. Org.: Eluiza Bortolotto Guizzi et al.. Sementes de Pragmatismo na Contemporaneidade: Homenagem a Ivo Assad Ibri. 1aed.: FiloCzar, 2018, v. , p. 309-336. Com João A. de Moraes.
-
Vasiliev's Ideas for Non-Aristotelian Logics: Insight Towards Paraconsistency. In: V. Markin; D. Zaitsev. (Eds.). In: V. Markin; D. Zaitsev. (Org.). The Logical Legacy of Nikolai Vasiliev and Modern Logic. 1ed.Heidelberg; New York: Springer International Publishing AG, 2018, v. 387, p. 1-19. 1ed.: , 2017, v. 387, p. 1-19. Com Evandro L. Gomes.
-
Studies on da Costa's paraconsistent differential calculus: hyper-metric and hyperfunctions. SOUTH AMERICAN JOURNAL OF LOGIC, v. 2, p. 319-332, 2016. Com Marcelo R. Soares.
-
George Berkeley e os fundamentos do cálculo diferencial e integral. Cadernos de História e Filosofia da Ciência (UNICAMP), v. 1, p. 33-73, 2015. Com Fábio Bertatao.
-
A Quantitative-Informational Approach to Logical Consequence. In: Arnold Koslow; Arthur Buchsbaum. (Org.). The Road to Universal Logic - Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II. IIed.: Springer International Publishing Switzerland, 2015, v. II, p. 105-124. Com marcos A. Alves.
-
Habit, self-organization, and abduction. In: Dana Riesenfeld, Giovanni Scarafile. (Org.). Philosophical Dialogue. Perspectives on theory of controversies and the ethics of communication - Explorations of Marcelo Dascal's contributions to philosophy. 1ed.London: Springer, 2013, v. , p. 1-20. Com Ramon C. de Andrade, Mariana C. Broens e Maria Eunice Q. Gonzales.
-
Translations as representations between logics. In: Evandro Agazzi. (Org.). Representation and explanation in the sciences. 1ed.Milão, Itália: FrancoAngeli, 2013, v. , p. 228-243.
-
On Gödel's modal interpretation of intuitionistic logic. In: Jean-Yves Béziau. (Org.). Universal Logic: an anthology from Paul Hertz to Dov Gabbay. 18ed.: Springer, 2012, v. XVIII, p. 71-88. Com Hércules de A. Feitosa.
-
On the development of logic in Brazil II: initiatives in Brazil related to logic and Brazilian research groups dedicated to logic. Revista Brasileira de História da Matemática, v. 12, p. 1-19, 2012. Com Evandro L. Gomes.
-
Medical equipment classification: method and decision-making support based on paraconsistent annotated logic. MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, v. 1, p. 1-8, 2012. Com Natália F. Oshiyama, Rosana A. Bassani e José Wanderley M. Bassani.
-
Um panorama da teoria aristotélica do silogismo categórico. Revista Brasileira de Filosofia, v. 238, p. 117-141, 2012. Com Evandro L. Gomes.
-
Aristotle's theory of syllogism and paraconsistency. Principia (Florianópolis. Online), v.
-
14,n.1, p. 1-20, 2011. Com Evandro L. Gomes.
-
On the development of logic in Brazil I: the early logic studies and the path to contemporary logic. Revista Brasileira de História da Matemática, v. 11, p. 3-28, 2011. Com Evandro L. Gomes.
-
Analytical tableaux for da Costa's paraconsistent predicate calculi Cn*. In: Jean-Yves Béziau; Marcelo Esteban Coniglio. (Org.). Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the Occasion of His 60th Birthday. Londres, Inglaterra: College Publications, 2011, v. , p. 239-264. Com Milton A. de Castro.
-
On the theory of quasi-truth. Agazzi, E.; Di Bernardo, J. (Ed.). In: Agazzi, E.; Di Bernardo, J.. (Org.). Series Special Issues of Epistemology: Relations between Natural Sciences and Human Sciences - Relations entre les Sciences Naturelles et les Sciences Humaines. Genova, Itália: Tilgher-Genova Publishing Company, 2010, v. , p. 325-340.
-
New dimensions on translations between logics. Logica Universalis (Print), v. 3, p. 1- 19, 2009. Com Walter A. Carnielli e Marcelo E. Coniglio.
-
Peircean pragmatic truth and da Costa's quasi-truth. Studies in Computational Intelligence (Print), v. 64, p. 383-398, 2007. Com Carlos Hifume.
-
Luca Pacioli and the "Controversy of the Perspective": the classification of the mathematics from the classical antiquity to the end of the quattrocento. Revista Brasileira de História da Matemática, v. 1, p. 505-525, 2007. Com Fábio Bertato.
-
Translations from Lukasiewicz logics into classical logic: Is it possible? Essays in Logic and Ontology. Malinowski, J., Pietruszczak, A. (Ed.). Poznan Studies the Philosophy of the Sciences and the Humanities, Torun, v. 91, p. 157-168, 2006. Com Hércules de A. Feitosa.
-
Analytical tableaux for da Costa's hierarchy of paraconsistent logics. Electronic Notes in Theoretical Computer Science, v. 143, p. 27-44, 2006. Com Milton A. de Castro.
-
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn. Logical approaches to paraconsistency. P. Bernard, A. Herzig (Ed.). Paris. Journal of Applied Non-Classical Logics, Paris, v. 15, n.1, p. 69-103, 2005. Com Milton A. da Castro.
-
On NCGw: a paraconsistent sequent calculus. In:. Paraconsistency: the logical way to the inconsistent, Lecture Notes in Pure and Applied Mathematics, Kluwer, v. 228, p. 227- 240, 2002. Com José Eduardo de A. Moura.
-
Conservative translations. Annals of Pure and Applied Logic, North Holand, Amsterdam, v. 108, p. 205-227, 2001. Com Hércules de A. Feitosa.
-
Natural deduction for paraconsistent logic. Logica Trianguli, v. 4, p. 3-24, 2000. Com Milton A. de castro.
-
Paraconsistent logics and translations. Synthese (Dordrecht), v. 125, p. 77-95, 2000. Com Hércuels de A. Feitosa.
-
Many-valued logics and translations. The Journal of Applied Non Classical Logics, Editions Hermes, Paris, França, v. 9, n.1, p. 121-140, 1999. Com Hércules de A. Feitosa.
-
Translations between logics. Lecture Notes in Pure and Applied Mathematics, v. 203, p. 435-448, 1999. Com Jairo J. da Silva e Antonio M. Sette.
-
On the development of paraconsistent logic and da Costa's work. The Journal of Non- Classical Logic, CLE / Unicamp, Campinas, SP, v. 7, n.1/2, p. 89-152, 1999.
-
A many-valued paraconsistent logic. Reports on Mathematical Logic, Wydawnictwo U Jagiell., Krakow, v. 22, p. 89-103, 1988. Com Richard L. Epstein.
-
Definability and quantifier elimination for J3-theories. Studia Logica, Kluwer Acad. Publ., Dordrecht, v. 46, n.1, p. 37-54, 1987.
-
The conditional and the compounding of errors. Journal of Applied Non-Classical Logics, CLE / UNICAMP, Campinas, SP, v. 3, n.2, p. 91-117, 1986. Com Edgar G. K. López-Escobar .
-
The completeness and compactness of a three-valued first order logic. Revista Colombiana de Matemáticas, Bogotá, Colômbia, v. XIX, n.1-2, p. 31-42, 1985.
-
The model extension theorems for J3-theories. (Lectures Notes in Mathematics). Methods In Mathematical Logic, Springer & Verlag, Berlin, v. 1130, p. 157-173, 1985.
-
The conditional and paraconsistent logics (Lectures Notes in Pure and Applied Mathenatics). Mathematical Logic and Formal Systems, v. 203, p. 141-160, 1985. Com Edgar G. K. López-Escobar.
-
Sur un problème de Jaskowski. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, Paris, França, v. 270-A, p. 1349-1353, 1970. Com Newton C. A. da Costa.