Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Workshop on Logical Constants (5-6 October 2016)


Idea and Motivation

Contemporary accounts of logical consequence make crucial reference to a distinction between the logical and the nonlogical vocabulary in a language. Recent decades have seen a variety of proposals for defining logicality: either by setting a strict criterion or by relativistic or pragmatic approaches.

The two traditions defining contemporary thought on the topic are the proof theoretic and the semantic traditions. What distinguishes these traditions is first and foremost the mathematical tools they employ in studying logical consequence. However, the difference is not merely methodological: there are deep philosophical questions involved, having to do with the relation between language, meaning and truth.

The discussion on logicality is thus bifurcated, each tradition employing its own considerations and technical machinery. While the investigation of the connections between proof theory and semantics is one of the greatest successes of modern logic, the particular topic of criteria for logicality has remained, on the most part, divided.

The aim of this workshop is to promote a dialogue between people working in these two traditions, for the benefit of both, and with the hope of gaining a wide perspective on the issues concerned with logicality.


Day 1 (5 October 2016)

09:00 - 09:15 Welcome Address
09:15 - 10:45 Denis Bonnay (Université Paris Ouest Nanterre La Défense): A Carnapian Approach to the Meaning of Logical Constants: The Case of Modal Logic
10:45 - 11:00 Coffee Break
11:00 - 11:55 Owen Griffiths (Cambridge) and Alex Paseau (Oxford): In Defence of Isomorphism Invariance
12:00 - 12:55 Michaela McSweeney (Boston University): Logical Realism, Representation, and Logical Constants (cancelled)
12:55 - 14:15 Lunch Break
14:15 - 15:10 Matthias Jenny (MIT): Bilateralism vs. One World: The (Minimal) Metaphysics of Non-Contradiction
15:15 - 16:10 Mattia Petrolo (IHPST, University Paris 1 Panthéon-Sorbonne), Alberto Naibo (IHPST, University Paris 1 Panthéon-Sorbonne) and Thomas Seiller (Copenhagen): A Computational Analysis of Logical Constants
16:10 - 16:30 Coffee Break
16:30 - 18:00 Gil Sagi (Haifa): Invariance Criteria: Terms and Constraints
19:00 Conference Dinner

Day 2 (6 October 2016)

10:00 - 11:30 Jack Woods (Leeds): Characterizing Invariance
11:30 - 11:45 Coffee Break
11:45 - 13:15 Julien Murzi (Salzburg): Classical Harmony and Separability
13:15 - 14:30 Lunch Break
14:30 - 15:25 Eugenio Orlandelli (Bologna), Hermógenes Oliveira (Tübingen) and Mattia Petrolo (IHPST, University Paris 1 Panthéon-Sorbonne): A Relevant Problem for Stability
15:30 - 16:25 Luca Tranchini (Wilhelm-Schickard-Institut, Eberhard Karls Universität Tübingen): Harmony, Stability and Identity: An Intensional Account
16:25 - 16:45 Coffee Break
16:45 - 18:15 Paul Egre (Institut Jean-Nicod): Characterizing Logical Consequence in Many-Valued Logics


The MCMP gratefully acknowledges support from the the Alexander von Humboldt Foundation.

Photo Credits

Header background: GollyGforce, "Boing!". Some right reserved (desaturated from original). Source: