9-12 Jan 2017
Munich, Germany
CFR: Model Theory: Philosophy, Mathematics and Language 9 - 12 January 2017, Munich Center for Mathematical Philosophy, LMU Munich Model theory is a branch of mathematical logic that studies languages and their interpretations. As such, research in model theory overlaps many areas in philosophy, linguistics, and mathematics. The introduction of model theory in the beginning of the previous century was intertwined with the development of set-theoretic foundations for mathematics; the implications and applications for philosophy and linguistics soon followed. The aim of this conference is to bring together philosophers, linguists and mathematicians for whom model theory is a basic tool-kit. We wish to facilitate knowledge transfer between these disciplines and create a fruitful discussion on the applicability and the foundational role of model theory. To do this, the conference will explore the following research questions: Are model-theoretic tools sufficient for an adequate demarcation of logical from non-logical constants? How does the model-theoretic definition of truth advance our understanding of the semantic paradoxes? How is meaning in natural language represented in models? How can models account for specific linguistic phenomena (e.g., natural language quantifiers)? What are the philosophical and linguistic consequences of a theory's complexity as measured by model-theoretic classification theory? Programme: Day 1 - Monday, January 9, 2017 10:00-10:15 Welcome 10:15-11:30 Gila Sher ?The Foundational Role of Model Theory? 11:30-11:45 Coffee break 11:45-13:00 Tim Button ?Internal Categoricity Results and Internalism in the Philosophy of Mathematics? 13:00-14:30 Lunch break 14:30-15:15 Neil Barton ?Mathematics as the Science of (Different Kinds of) Structures? 15:15-15:30 Coffee break 15:30-16:15 Andrei Rodin ?Categorical Model Theory and the Semantic View of Theories? 16:15-16:20 ---- 16:20-17:05 Maciej K?eczek ?The Meaning of a First-Order Formula, Compositionality and Alphabetic Innocence? 17:05-17:20 Coffee break 17:20-18:35 Dag Westerståhl ?Quantifiers, Models, and Meaning? Day 2 - Tuesday, January 10, 2017 10:15-11:30 John T. Baldwin ?Philosophical Implications of the Paradigm Shift in Model Theory? 11:30-11:45 Coffee break 11:45-13:00 Richard Kaye ?Satisfaction Classes for Stratified Logic? 13:00-14:30 Lunch break 14:30-15:15 Micha? Godziszewski ?Short Elementary Cuts in Countable Models of Compositional Arithmetical Truth? 15:15-15:30 Coffee break 15:30-16:15 Dimitris Tsementzis ?Model Theory in the Univalent Foundations and its Philosophical Prospects? 16:15-16:20 ---- 16:20-17:05 Alexander Jones ?Minimal Adequacy and Semantic Truth? 17:05-17:20 Coffee break 17:20-18:35 Georg Schiemer ?Geometrical Roots of Model Theory? 19:00 Conference dinner Day 3 - Wednesday, January 11, 2017 10:15-11:30 Yoad Winter ?Partial Models and the Symmetry-Collectivity Hypothesis? 11:30-11:45 Coffee break 11:45-13:00 Volker Halbach ?Axiomatic Semantics and the Substitutional Theory of Logical Consequence? 13:00-13:15 Coffee Break 13:15-14:00 Juliette Kennedy ?Tarski and "the mathematical?? From 14:00 Lunch and social activities Day 4 - Thursday, January 12, 2017 10:15-11:30 Menachem Magidor ?Is Independence Relevant?? 11:30-11:45 Coffee break 11:45-13:00 Thomas Ede Zimmermann ?Models and Worlds in Linguistic Semantics? 13:00-14:30 Lunch break 14:30-15:15 Fabrizio Calzavarini ?The Cognitive Reality of Model-Theoretic Semantics for Natural Language? 15:15-15:30 Coffee break 15:30-16:15 Bernhard Nickel ?Generics and Conservativity? 16:15-16:20 ---- 16:20-17:05 Ali Abasnezhad ?Why Tolerance May Not Be Preserved In Model Theoretic Frameworks? 17:05-17:20 Coffee break 17:20-18:35 Hartry Field ?Generalizing fuzzy logic and its model theory, for semantic paradoxes and vagueness? Call for Registration: To register for the conference, please email your name and affiliation to modeltheory2017@lrz.uni-muenchen.de. There will be a conference dinner on Tuesday, January 10, 2017. We would be grateful if you could let us know if you plan to attend. For further details on the conference, please visit: http://www.lmu.de/modeltheory2017 Organisers: Lavinia Picollo (MCMP), Gil Sagi (University of Haifa), John Wigglesworth (MCMP) -- John Wigglesworth Ludwig-Maximilians-Universität München Munich Center for Mathematical Philosophy www.wigglesworth.org -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam