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|
|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|
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.