LOGICA 2017 - Department of logic

Information
Program

Information

Hejnice monastery

The 31th in the series of annual international symposia devoted to logic, was held at Hejnice, 19 - 23 June 2017

The invited speakers of the conference were

Hartry Field, Bob Hale, Sonja Smets.

Yearbook 2017

Selected contributions to the conference were published in P. Arazim, T. Lávička (eds.): The Logica Yearbook 2017

The conference was sponsored by Bernard Family Brewery Humpolec

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