EBL 2011 - Brazilian Logic Conference

Plenary lectures

Carlos Areces (INRIA Nancy Grand Est)
Logics to Describe and Change

Carlos Caleiro (Department of Mathematics, TU Lisbon)
Abstract valuation semantics

Gregory Chaitin ((IBM T. J. Watson Research Center, New York)
Life as evolving software

Newton da Costa (UFSC)
Lógica e Espaço-tempo [Logic and space-time]

Hans van Ditmarsch (Dept. of Logic, University of Sevilla)
Dynamic Epistemic Logic

Richard L. Epstein (Advanced Reasoning Forum)
Reasoning about the World as Process

Lou Goble (Department of Philosophy, Willamette University)
Deontic Logic (Adapted) for Normative Conflicts

Carlos Di Prisco (Instituto Venezolano de Investigaciones Científicas)
A glance to Ramsey theory>

José Iovino (University of Texas at San Antonio)

The Future of Logic - Roundtable

Jean-Yves Beziau, UFRJ (Org)

Logic was a major field or research in the XXth century, it had a tremendous influence on computer science, mathematics, philosophy, linguistics... We may wonder if in the next future, the XXIth century, the power of logic will go on developing, if challenging new logical theories will be created, if innovative applications will appear changing the face of the world. Four logicians will talk about this issue from four different perspectives:

Walter Carnielli, UNICAMP, (Computation)
Oswaldo Chateaubriand, PUC-Rio (Metaphysics)
Richard L.Epstein, Advanced Reasoning Forum, (Argumentation)
Decio Krause, UFSC (Philosophy of Science)
Francisco Miraglia, USP (Mathematics)

Machines from Turing to Quantum

Walter Carnielli, UNICAMP (Org)

Anderson de Araújo (CLE-UNICAMP)
A uniform halting protocol for quantum Turing machines

Andrey Bovykin (University of Bristol)
Turing-complete and arithmetically-complete templates: the atlas and the theory of all possible machines

Gregory Chaitin (UBA and HCTE/UFRJ)
Turing as a Biologist

José Carlos Cifuentes (UFPR)
Cantor, Turing e o princípio finitista arquimediano: uma introdução à teoria dos aritmos

Francisco Antonio Doria (PEP and COPPE/UFRJ)
On Hypercomputation

Manuel Doria (APIT-PEP and COPPE/UFRJ)
Computing Devices as Real Patterns

Pannel Section on Critical Thinking and Logic

Exchange of teaching and pedagogical experiences
(in Portuguese and in English)

Walter Carnielli (UNICAMP)
Richard L. Epstein (Advanced Reasoning Forum)

And parallel sessions of contributed papers

Historical Remarks

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 fifteen EBLs in several places, the previous editions of this conference were held in Campinas (1977, 1978), Recife (1979), Campinas (1980, 1981), São José dos Campos (1983), Rio de Janeiro (1984), São José dos Campos (1986), São Paulo (1988), Itatiaia (1993), Salvador (1996), Itatiaia (1999), Campinas (2003), Itatiaia (2006) and Paraty (2008) . 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).

The last edition of the EBL, was preceded by the Logic School, which was held at Unicamp on May 7th and 8th, 2008. In those days, Brazilian and other Latin American students had the opportunity of attending the lectures of American, Brazilian and Argentinean researches, with international reputation, about different topics, which contributed for the development of these students as future researchers in Logic. The Professors that delivered lectures at the School were Walter Carnielli (Unicamp-BR), Marcelo Coniglio (Unicamp-BR), John Corcoran (Univ. of Buffalo - USA), Itala M. Loffredo D'Ottaviano (Unicamp-BR) and Jaakko Hintikka (Boston Univ. - USA).

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 last 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. The Logic School will be held at the Institute of Mathematics and Statistics - UFF, on May 7th -8th, 2011.

During the Conference, there will happen the Brazilian Logic Society meeting, when the new head will be elected.

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 last two annals were published on:

  • W. A. Carnielli, M. E. Coniglio, I. M. Loffredo D' Ottaviano (Editores). The Many Sides of Logic. Series "Studies in Logic", College Publications, London. 2009

  • Walter Carnielli, Décio Krause (Editores). Logic Journal of the IGPL. Special Issue: Proceedings of the XIV Brazilian Logic Conference. 15 (5-6). 2007

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. Henceforth, the XVI EBL will promote the interchange between Brazilian researchers in these fields and the prominent researchers in Latin American, beside invited speakers from other continents. The XVI EBL will bring together widely known researchers in Computer Science, Philosophy, Mathematics and Logic, so to present original results and discuss a wide variety of topics related to Logic.

The Logic School will bring together undergraduate and graduate students from different research centers so to put them in contact with several researchers, who will delivery lectures in view of introducing these students to essential topics that may be helpful for their development as future researchers working in areas related to Logic.


© 2011 - XVI EBL - Brazilian Logic Conference / Logic School / May 7th – 13th, 2011 Contact us
Home | Description | Comittees | Program | Keynote Speakers | Turing Session | Call for papers | Submissions | Logic School | Registration | Proceedings | Touristic information

Siga o XVI EBL:
 Logotipo do You Tube Logotipo do Facebook Logotipo do Linkedin Logotipo Blog Logotipo do Twitter

Valid CSS!        CSS válido!       Valid XHTML 1.0 Transitional