ON THE DEVELOPMENT OF LOGIC IN BRAZIL I: THE EARLY LOGIC STUDIES AND THE PATH TO CONTEMPORARY LOGIC

Abstract

This article presents the first part of a historical overview of the development of logic in Brazil, and describes the development of contemporary logic in the county with an emphasis on its socio-institutional and interdisciplinary aspects. After a brief introduction recounting the development of logic within the Luso-Brazilian academic milieu, we mention the work of the first Brazilian authors and groups of scholars who may be considered logicians. Special emphasis is given to the emergence of original research in logic in Brazil with the pioneering work of Newton Carneiro Affonso da Costa and the creation of paraconsistent logic. Also highlighted are the establishment of the Centre for Logic, Epistemology and History of Science (CLE) at the State University of Campinas (Unicamp), the creation of the Brazilian Logic Society (SBL), the realization of the Brazilian Logic Conferences (EBLs), and Brazilian participation in the Latin American Symposia on Mathematical Logic (SLALMs).The second part of this historical overview will appear in the next number of this journal, concerning the recent initiatives in Brazil related to logic, and the Brazilian research groups dedicated to logic.Both papers do not present or discuss the content of the research, or the specific results, of logicians or groups of researchers dedicated to logic in the country.