Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Workshop: The Semantic Conception of Logic (2-4 February 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 ( or Jack (



Day 1 (Friday, 2 February 2018)

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)

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)

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


Internationales Begegnungszentrum der Wissenschaft München e.V.
Amalienstraße 38
80799 München