Guest post by Vít Punčochář.
Logica 2012 was the 26th event in the series of conferences annually held in the Czech Republic. This symposium is organized by the Department of Logic in the Institute of Philosophy of the Czech Academy of Sciences. Logica 2012 took place at Hejnice Monastery (North Bohemia) from 18th to 22nd June. As usually, the contributions (4 invited plus 27 contributed talks) were devoted to various branches of logic. Invited speakers were Sergei Artemov, Warren Goldfarb, David Makinson and Barbara Partee.
Several papers were focused on Wittgenstein and his view of logic. Warren Goldfarb explored what Wittgenstein sought to put in the place of the criticized Frege-Russell construction of number. Timm Lampert claimed in his remarkable talk that in the framework of a Wittgensteinian alternative to mathematical logic (called “New Logic”) Church’s theorem does not hold. Lampert sketched a new approach to decidability of first order logic. Victor Rodych addressed Gödel’s incompleteness theorems from the perspective of Wittgenstein’s philosophy of mathematics.
Among historically oriented lectures we should mention especially Barbara Partee’s talk on the history of formal semantics presented as interdisciplinary field closely related to linguistics, logic, philosophy and some other disciplines.
The concept of truth is among those topics which are regularly discussed at Logica symposia. Theodora Achourioti presented a paper concerned with modelling the word “true” as it occurs in natural language. She argued that this word is better captured as an operator rather than a predicate. Ole Hjortland compared different revisionist formal theories of truth. Sergei Artemov gave a talk on the Brouwer-Heyting-Kolmogorov (BHK) semantics that identifies truth with provability. Artemov presented a formalization of the first-order BHK semantics based on the so called first-order logic of proofs.
Among other subjects often debated at Logica can be included also paraconsistent, substructural, and especially relevance logics. This year, for example, David Makinson explored possible ways in which relevance logic can be understood as an extension of classical logic. Michael Dunn constructed a formal framework that enables us to explain why contradictory information is often better than no information. Igor Sedlár worked out a philosophical interpretation of the ternary relation which occurs in the semantics of substructural logics.
To illustrate the variety of topics addressed at Logica 2012, we will shortly mention some other talks. Christian Fermüller explored formal rationality principles in logical dialogue games. Three papers were concerned with the logic of questions (Chris Fox, Pawel Lupowski and Michal Peliš in a joint paper with Ondrej Majer). Libor Běhounek spoke about fuzzy plurivaluations and Petr Švarný focused on some semantical issues of temporal branching structures.
Selected papers from Logica 2012 will be published in The Logica Yearbook 2012 (College Publications).
For many years Logica has been sponsored by the Czech brewery Bernard.