ON THE DEVELOPMENT OF LOGIC IN BRAZIL II: INITIATIVES IN BRAZIL RELATED TO LOGIC AND BRAZILIAN RESEARCH GROUPS DEDICATED TO LOGIC

Authors

  • Itala M. Loffredo D’Ottaviano itala@cle.unicamp.br
    Centre for Logic, Epistemology and the History of Science (CLE) Department of Philosophy (IFCH) Universidade Estadual de Campinas (UNICAMP), Campinas, SP, Brazil
  • Evandro Luís Gomes elgomes@uem.br
    Department of Philosophy Universidade Estadual de Maringá (UEM), Maringá, Paraná, Brazil Centre for Logic, Epistemology and the History of Science (CLE) Universidade Estadual de Campinas (UNICAMP), Campinas, SP, Brazil

DOI:

10.47976/RBHM2012v12n2401-19

Keywords:

The development of logic in Brazil,, Second part, Recent initiatives, Brazilian Logic Conferences (EBLs), Latin American Symposia on Mathematical Logic (SLALMs), The Workshops on Logic, Language, Information and Computation (WoLLICs), Journals and books on logic, Brazilian research groups, Contemporary logic

Abstract

This article presents the second 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. The first part of this historical overview appeared in the previous number of this journal, concerning the early logic studies, and the path to contemporary logic in Brazil. In an attempt to capture the various dimensions of the cultivation of logic in Brazil, we describe recognized groups for teaching and research on logic in the country, their areas of expertise, the periodicals and series of books edited by research centers devoted to logic, and the regular events organized by these centers. 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

Download data is not yet available.

Metrics

Metrics Loading ...

References

ARRUDA, A. I. A survey of paraconsistent logic. In: Latin American Symposium on Mathematical Logic, IV – 1978. A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.). Amsterdam: North-Holland. p. 1-41, 1980. (Synthese Historical Library, 9)

BULLETIN OF SYMBOLIC LOGIC. Providence, RI: Association for Symbolic Logic, 1995– . Quaterly. ISSN print 1079-8986; ISSN online 1943-5894.

CARNIELLI, W. A. (ed.). Manuscrito – Revista Internacional de Filosofia: Logic and Philosophy of the Formal Sciences – A Festschrift for Itala M.L. D’Ottaviano. Campinas: Centro de Lógica, Epistemologia e História da Ciência, vol. 28 (2), 2005.

CARNIELLI, W. A., CONIGLIO, M. E., D‟OTTAVIANO, I. M. L. (eds.). Paracon-sistency: the logical way to the inconsistent. New York: Marcel Dekker, 2002.

CARNIELLI, W. A., CONIGLIO, M. E., D‟OTTAVIANO, I. M. L. (eds.). An event on Brazilian logic. Journal of the Interest Group in Pure and Applied Logics. Toulouse: 6 (12), 2004.

CARNIELLI, W. A., CONIGLIO, M. E., D‟OTTAVIANO, I. M. L. (eds.). An event on Brazilian logic. Journal of the Interest Group in Pure and Applied Logics. Toulouse: 7 (12), 2005.

Published

2020-10-31

Métricas


Visualizações do artigo: 187     PDF (Português (Brasil)) downloads: 126

How to Cite

D’OTTAVIANO, Itala M. Loffredo; GOMES, Evandro Luís. 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, [s. l.], vol. 12, no. 24, p. 01–19, 2020. DOI: 10.47976/RBHM2012v12n2401-19. Disponível em: http://www.rbhm.org.br/index.php/RBHM/article/view/104. Acesso em: 19 may. 2024.

Issue

Section

Artigos