The Brazilian Logic Conference (EBL) is organised by the SBL since 1979.

Meetings

  • 2022: Salvador-BA
  • 2019: João Pessoa-PB
  • 2017: Pirenópolis-GO
  • 2014: Petrópolis-RJ
  • 2011: Petrópolis-RJ
  • 2008: Paraty-RJ
  • 2006: Itatiaia-RJ
  • 2003: Campinas-SP
  • 1999: Itatiaia-RJ
  • 1996: Salvador-BA
  • 1993: Itatiaia-RJ
  • 1988: São Paulo-SP
  • 1986: São José dos Campos-SP
  • 1984: Rio de Janeiro-RJ
  • 1983: São José dos Campos-SP
  • 1981: Campinas-SP
  • 1980: Campinas-SP
  • 1979: Recife-PE
  • 1978: Campinas-SP
  • 1977: Campinas-SP

Historical Remarks (adapted from the wonderful EBL 2011 webpage)

The Brazilian Logic Conference (EBL) was officially founded on February 14th, 1979, although the first conferences had occurred in 1977. The goal of EBL is to congregate logicians from all over the country, motivating and keeping an active interest in Logic and its applications, stimulating researches and contributing for the development of this branch of science. Currently, the EBL counts with more than a hundred members, all of them belong to prominent research institutes from Brazil and abroad, specially, in Latin America.

The Brazilian Logic Society (SBL) has organized twenty EBLs in several places. The EBLs has counted with important researchers delivering conferences, as for instance, Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Roberto Cignoli, John Corcoran, Newton da Costa, Carlos Di Prisco, E. G. K. Lopez-Escobar, G. Malinowski, Daniele Mundici, Claudio Pizzi, Jaakko Hintikka, A. Raggio, A. M. Sette, R. M. Smullyan, L. W. Szczerba and others. Many of them received institutional support from the Association for Symbolic Logic (ASL).

It is now a tradition EBL is preceded by the Logic School, where Brazilian and other Latin American students have the opportunity of attending lectures researches with international reputation, about different topics, which contributed for the development of these students as future researchers in Logic.

Content and proposes of EBL

The Brazilian Logic Conference (EBL) is a traditional event on the agenda of several prominent researchers from Brazil and Latin America, in the areas of Computer Science, Foundations and Philosophy of Science, Informatics, Artificial Intelligence, Logic and Mathematics. It is important to remark that some research agencies, national and international, have been regularly supported the realization of the EBLs.

The goal of EBL is to encourage the dissemination and the discussion of research papers in the area of Logic and their interconnections with the areas of Computer Science, Foundation and Philosophy of Science, Informatics, Artificial Intelligence and Mathematics.

It is noticeable the increasing interests in Formal Logic during the last decades, which motivates researchers on Logic to study not only the philosophical and mathematical questions related to the subject but also some problems raised from the different areas mentioned above, for which the logical formalism has been successfully applied. The work developed by Brazilian and Latin American logicians has been acknowledged abroad, as one can see by their scientific production, much of it done together with well known logicians from other research centers.

Thus, besides counting with prominent researchers on Logic, this Event has been turned also to examine interconnected disciplines, focused on the model emphasized by the Centre for Logic, Epistemology and History of Science. The central topics of the Event are: Mathematical and Philosophical Logic, Applications, History and Philosophy of Logic, Non Classical Logics and Applications, Philosophy of Formal Sciences, Foundation of Computation, Physics, Mathematics and related issues. Since the edition of EBL in 2008, the Logic School was incorporated to the Conference, aimed at undergraduate and graduate students interested in Logic and connected researches, but it is also open to anyone who may want to participate.

During the Conference, the Brazilian Logic Society meeting takes place, where several important matters are discussed.

Finally, one of the most important activities of a scientific community comes from its capacity for publishing papers widely acknowledged, which testifies its identity as a scientific center and turns up its academic strength. From this perspective, many EBLs and Latin American Symposiums had their annals published on important journals of the area, internationally recognized, such as: Bulletin of Symbolic Logic (USA), IGPL (Oxford, England), American Mathematical Society (USA), Revista Colombiana de Matemáticas (Colombia), Springer, North Holland and others.

The importance of the Conference for the scientific background in Brazil

Logic has played a central role in philosophy. It has been present as long as the works of Aristotle, Leibniz and Kant. Nonetheless, at the end of 19th century, with the seminal work of Frege, and at the beginning of this century, with the work of Russel and Whitehead, the study of logic has achieved a higher level of preciseness and sophistication.

These philosophers began a "revolution" in logic, and in the last century, the study in this area of Philosophy has been continuously developed with deep discoveries resulting from the work of the mentioned philosophers. To get the picture of how modern Logic has enlightened fundamental philosophical concepts, it is enough to recall the works of Frege and Russel about the nature of Mathematics, Gödel, Church and Turing about computability and decidability, Tarski about truth, and Lukasiewicz, Brower and da Costa about non classical logics.

Contemporary Logic makes use of sophisticated mathematical tools and treats fundamental topics on computation. However, as it used to be, Logic still can be considered as a branch of Philosophy. In fact, modern logic provides conceptual tools for important and influent philosophical investigations, such as Chomsky's theories about language and mind, Davidsons philosophy of language, Wittgenstein's Tractatus, and the theories of computation and mind, treated by contemporary Philosophy of Mind.

Informatics and Computer Science, that began from logical investigations, promotes recurrently development with the challenges from new problems and the introduction of new ideas. These disciplines, which are essentially mathematical in their theoretical aspects (recursiveness, computability, complexity, data process, formal languages, artificial intelligence etc.) also raise new problems and ideas that need philosophical examination.

Logic and Mathematics are so closely related that it is difficult to say which one comes first. The fundamental mathematical problem, which gave place to modern logic are still unexpired as a source of progress in Logic, topped with the mathematical-logical models which demand informatics, philosophy of science and several other sciences. All the areas mentioned above have been developed at the universities and research centers in Brazil and Latin America.