Munich Center for Mathematical Philosophy (MCMP)
print


Breadcrumb Navigation


Content

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

Program

Day 1 (Friday, 2 February 2018)

TimeEvent
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)

TimeEvent
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)

TimeEvent
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