Information
LOGICA 2017
|
 |
The 31st in a series of annual international symposia devoted to logic.
|
Invited speakers
Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets
Program Committee
Francesco Berto, Marta Bílková, Patricia Blanchette, Georg Brun, Walter Carnielli, Petr Cintula, Michael Dunn, Christian Fermüller, Bob Hale, Hartry Field, Volker Halbach, Gary Kemp, Vojtěch Kolman, David Makinson, Carles Noguera, Jaroslav Peregrin, Shahid Rahman, Hans Rott, Gabriel Sandu, Sebastian Sequoiah‑Grayson, Sonja Smets, Nick Smith and Zach Weber.
Program
The program of the conference is available here.
The official language of the symposium is English. The scheduled length of contributed lectures is 30 minutes including approx. 10 minutes for discussion. Selected contributions to Logica symposia are published in The Logica Yearbook series (College Publications).
The conference fee
The fee for the symposium is 430 EUR for participants and 300 EUR for accompanying persons. The fee covers full board and lodging at Hejnice Monastery during the symposium, the conference coach from Prague to Hejnice and back, and (for participants) a copy of the volume containing contributions to the symposium.
The fee should be paid through bank transfer to the account of the Institute of Philosophy CAS v.v.i. at Raiffeisenbank.
IBAN: CZ22 5500 0000 0000 1133 9990,
SWIFT (BIC): RZBCCZPP
Bank address: Národní 1010/9, Praha 1, 110 00, Czech Republic.
Please use "LOGICA 2017" as the unique Identifier of your payment.
For internal transfers within the Czech Republic the account number is 11339990/5500 (the fee can be paid in Czech crowns).
Please arrange the transfer so that the transfer fees do not reduce the amount that comes to the Institute's account. Please send us a copy of the payment order or bring a hard copy to Hejnice.
Registration form
Participants please register here (please do not register unless you have been in contact with the organizers before).
All correspondence concerning the symposium should be directed to
Tato e-mailová adresa je chráněna před spamboty. Pro její zobrazení musíte mít povolen Javascript.
or to:
Vít Punčochář & Vladimír Svoboda
Co-chairs of the Organizing Committee of Logica 2017
Institute of Philosophy
Academy of Sciences of the Czech Republic
Jilská 1, 110 00 Praha 1, Czech Republic
Program
Logica 2017 Program
Tuesday 20.6.
Bob Hale. What Makes True Universal Statements True?
Danielle Macbeth. Proof in Mathematics and in Logic
Ansten Klev. The Logical Form of Identity Criteria
Geoff Georgi. Demonstratives in First-Order Logic
Alexander Kocurek. On the Concept of a Notational Variant
Reinhard Kahle and Gabriele Pulcini. Purity, Impurity, and Hilbert's 24th Problem
Joan Bertran. Logic as Language and Logic as Calculus: The Leibnizian Background of the Frege--Schröder Polemic
Jaroslav Peregrin and Vladimír Svoboda. Laws of Logic – Where Do They All Come From?Roberto Ciuni and Massimiliano Carrara. Normality Operators and Classical Recapture in Many-Valued Logic
André Fuhrmann. Deontic Modals: Why Abandon the Default Approach
Grigory Olkhovikov. Proving as a Form of Doxastic Agency and Its Representation in Justification Stit Logic
Wednesday 21.6.
Sonja Smets. Logic Goes Viral: Modalities for Epistemic Social Networks
Claudia Fernández-Fernández and Fernando R. Velázquez-Quesada. Understanding the Concept of Awareness in Awareness Logic and Reconsidering Explicit Knowledge
Murali Ramachandran. Knowledge-to-Safety Bootstrapping: A Beautifully Simple Block to Williamson's KK-Reductio
Ilaria Canavotto. A Multi-Agent Dynamic Action Logic for Negative Modes of Actions
Pawel Lupkowski. Belief Revision of a Questioning Agent
Georg Brun. Deductivism and the Logical Analysis of Non-Deductive Arguments
Hanna Karpenko and Olivier Roy. A Representation Theorem for Logical Dialogues in Abstract Argumentation Frameworks
Alfredo Roque Freire. On the Translation Sense of Relative Consistency Proofs and Its Relation to Ontological Commitment
Ulf Hlobil. Choosing Your Nonmonotonic Logic: A Shopper's Guide
Dan Kaplan. A Multi-Succedent Sequent Calculus for Logical Expressivists
Pavel Arazim. Dynamics of Change in Logic
Thursday 22.6.
Hartry Field. Generalizing Fuzzy Logic for Semantic Paradoxes (and Vagueness)
Lorenzo Rossi and Julien Murzi. Generalized Revenge
Emil Badici. Causality and Prediction in the Trojan Fly Paradox
Franz Berto and Tom Schoonen. Fiction: Plausibility and Closeness Orderings
John Kearns. „I Asked you to Mail that Letter, not to Burn it," an Illocutionary Logical Analysis of Directive Acts and Arguments
Friday 23.6.
Sonja Smets and Fernando R. Velázquez-Quesada. How to Make Friends: A Logical Approach to Social Group Creation -Eric Raidl. Ranking Semantics for Doxastic Conditionals
Zachary Garrett. Semantic Nihilism and Supervaluationism
Guillermo Badia. Variable Sharing in Substructural Logics: An Algebraic Characterization
Balthasar Grabmayr. Invariance of Metamathematical Theorems with Regard to Gödel Numberings
