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

Autores

  • 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

Palavras-chave:

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

Resumo

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

Não há dados estatísticos.

Métricas

Carregando Métricas ...

Referências

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.

Downloads

Publicado

31-10-2020

Métricas


Visualizações do artigo: 220     PDF downloads: 153

Como Citar

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. Revista Brasileira de História da Matemática, São Paulo, v. 12, n. 24, p. 01–19, 2020. DOI: 10.47976/RBHM2012v12n2401-19. Disponível em: https://rbhm.org.br/index.php/RBHM/article/view/104. Acesso em: 8 nov. 2024.

Edição

Seção

Artigos