ON THE DEVELOPMENT OF LOGIC IN BRAZIL I: THE EARLY LOGIC STUDIES AND THE PATH TO CONTEMPORARY LOGIC
DOI:
10.47976/RBHM2011v11n2203-28Palavras-chave:
The development of logic in Brazil, First part, Early logic studies, Contemporary logic, Socio-institutional and interdisciplinary aspects, First Brazilian authors and groups, Paraconsistent logic, Centre for Logic, Epistemology and the History of Science (CLE), Brazilian Logic Society (SBL), Brazilian Logic Conferences (EBL), Latin American Symposia on Mathematical Logic (SLALM).Resumo
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.
Downloads
Métricas
Referências
AMOROSO COSTA, M. As ideias fundamentais da matemática e outros ensaios. Introduction by Authur Gerhardt Santos, Lélio Gama and Antonio Paim. 3ed. São Paulo: Convívio, 1981.
ARRUDA, A.I. Considerações sobre os sistemas formais NFn. 55p. Habilitationsschriff. Faculdade de Filosofia, Ciências e Letras, Universidade Federal do Paraná, Curitiba, PR, 1964.
ARRUDA, A.I. Simpósio de Lógica Matemática. A.I. Arruda (org.). Campinas, SP: Instituto de Matemática, Estatística e Ciência da Computação, 78p, 1975.
ARRUDA, A.I., DA COSTA, N.C.A., CHUAQUI, R. (eds.). Non-classical logics, model theory and computability. Amsterdam: North-Holland, 1977. (Studies in Logic and the Foundations of Mathematics, 89)
ARRUDA, A.I., DA COSTA, N.C.A., CHUAQUI, R. (eds.). Latin-American Symposium on Mathematical Logic, IV – 1978. Amsterdam: North-Holland, 1980. (Synthèse Historical Library, 9)
BUICKEROOD, J.G. The natural history of the Understanding: Locke and the rise of facultative logic in the eighteenth century. History and Philosophy of Logic. London, 6: p. 157-190, 1985.
CADERNOS DE HISTÓRIA E FILOSOFIA DA CIÊNCIA. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência, 1980-. Semi-annual. ISSN 0101–3424.
CAMPOS, F.A. Tomismo no Brasil. São Paulo: Grijalbo, 1964.
Downloads
Publicado
Métricas
Visualizações do artigo: 211 PDF downloads: 285