Workshop: The Semantic Conception of Logic (2-4 February 2018)
25.01.2018
In 1936, Tarski characterized logical consequence as, roughly, guaranteed truth of a conclusion given the truth of a set of premises no matter what the non-logical expressions in the premises and conclusion mean. If there is any consensus view about logical consequence, it is that Tarski was more or less right about this. The Semantic Conception of Logic is the combination of Tarski’s approach to logical consequence fleshed out with a semantic criterion distinguishing logical expressions from non-logical expressions. Some version of the semantic conception of logic seems to be common, if sometimes implicit, background to much theorizing in metaphysics, formal semantics, and the philosophy of mathematics.
This workshop will be a platform for discussing contributions to a collection of papers entitled "The Semantic Conception of Logic", edited by Gil Sagi and Jack Woods, under contract with Cambridge University Press. The working drafts will be circulated in advance to those registered. Each session will consist of a short presentation and a long discussion. Everyone welcome to register by writing to Gil (gsagi@univ.haifa.ac.il) or Jack (j.woods@leeds.ac.uk).
Organizer
- Hannes Leitgeb (LMU/MCMP)
- Gil Sagi (Haifa/MCMP)
- Denis Bonnay (ENS)
Program
Day 1 (Friday, 2 February 2018)
Time | Event |
---|---|
15:30 - 16:55 | Gil Sagi and Jack Woods: Introduction to Invariance—problems and prospects |
17:05 - 18:30 | Beau Madison Mount: Invariance in non-extensional type theories |
Day 2 (Saturday, 3 February 2018)
Time | Event |
---|---|
10:00 - 11:25 | Gennaro Chierchia: On being trivial: Grammar vs. logic |
11:35 - 13:00 | Gila Sher: Invariance and logicality in perspective |
13:00 - 14:00 | Lunch |
14:00 - 15:25 | Denis Bonnay and Sebastian Speitel: Invariance and categoricity for logical constants |
15:35 - 17:00 | Roy Cook: There might be a paradox of logical validity after all |
Day 3 (Sunday, 4 February 2018)
Time | Event |
---|---|
10:00 - 11:25 | Salvatore Florio and Luca Incurvati: Overgeneration in the higher infinite |
11:35 - 13:00 | Alexandra Zinke: Reinterpreting logic |
13:00 - 14:00 | Lunch |
14:00 - 15:25 | Mario Gomez-Torrente: The Problem of Logical Constants and the Semantic Tradition: From Invariantist Views to a Pragmatic Account |
15:35 - 17:00 | Logical revision and logical consequence |
Venue
Internationales Begegnungszentrum der Wissenschaft München e.V.
Amalienstraße 38
80799 München
Acknowledgement
The workshop is supported by the Institut d'Etudes Cognitives at Ecole Normale Supérieure.