Model Theory: Philosophy, Mathematics and Language
print


Breadcrumb Navigation


Content

Program

Day 1 - Monday, January 9, 2017

TimeTopic
10:00 - 10:15 Welcome
10:15 - 11:30 Gila Sher (UCSD): The Foundational Role of Model Theory
11:30 - 11:45 Coffee Break
11:45 - 13:00 Tim Button (Cambridge): Internal Categoricity Results and Internalism in the Philosophy of Mathematics
13:00 - 14:30 Lunch Break
14:30 - 15:15 Neil Barton (Kurt Gödel Research Center, University of Vienna): Mathematics as the Science of (Different Kinds of) Structures
15:15 - 15:30 Coffee Break
15:30 - 16:15 Andrei Rodin (Russian Academy of Sciences and Saint-Petersburg State University): Categorical Model Theory and the Semantic View of Theories
16:15 - 16:20 Break
16:20 - 17:05 Maciej Kłeczek (Bielefeld): The Meaning of a First-Order Formula, Compositionality and Alphabetic Innocence
17:05 - 17:20 Coffee Break
17:20 - 18:35 Dag Westerståhl (Stockholm): Quantifiers, Models, and Meaning

Day 2 - Tuesday, January 10, 2017

TimeTopic
10:15 - 11:30 John T. Baldwin (University of Illinois at Chicago): Philosophical Implications of the Paradigm Shift in Model Theory
11:30 - 11:45 Coffee Break
11:45 - 13:00 Juliette Kennedy (Helsinki): Tarski and "The Mathematical”
13:00 - 14:30 Lunch Break
14:30 - 15:15 Michał Tomasz Godziszewski (Warsaw): Short Elementary Cuts in Countable Models of Compositional Arithmetical Truth
15:15 - 15:30 Coffee Break
15:30 - 16:15 Dimitris Tsementzis (Rutgers): Model Theory in the Univalent Foundations and its Philosophical Prospects
16:15 - 16:20 Break
16:20 - 17:05 Alexander Jones (Bristol): Minimal Adequacy and Semantic Truth
17:05 - 17:20 Coffee Break
17:20 - 18:35 Georg Schiemer (Vienna / LMU): Geometrical Roots of Model Theory

Day 3 - Wednesday, January 11, 2017

TimeTopic
10:15 - 11:30 Yoad Winter (Utrecht): Partial Models and the Symmetry-Collectivity Hypothesis
11:30 - 11:45 Coffee Break
11:45 - 13:00 Hartry Field (NYU): Generalizing Fuzzy Logic and its Model Theory, for Semantic Paradoxes and Vagueness
13:00 Lunch Break and Social Activities

Day 4 - Thursday, January 12, 2017

TimeTopic
10:15 - 11:30 Menachem Magidor (Hebrew University): Is Independence Relevant?
11:30 - 11:45 Coffee Break
11:45 - 13:00 Thomas Ede Zimmermann (Frankfurt): Models and Worlds in Linguistic Semantics
13:00 - 14:30 Lunch Break
14:30 - 15:15 Fabrizio Calzavarini (Turin): The Cognitive Reality of Model-Theoretic Semantics for Natural Language
15:15 - 15:30 Coffee Break
15:30 - 16:15 Bernhard Nickel (Harvard): Generics and Conservativity
16:15 - 16:20 Break
16:20 - 17:05 Ali Abasnezhad (LMU): Why Tolerance May Not Be Preserved In Model Theoretic Frameworks
17:05 - 17:20 Coffee Break
17:20 - 18:35 Volker Halbach (Oxford): Axiomatic Semantics and the Substitutional Theory of Logical Consequence

Downloads