Logic List Mailing Archive

Model Theory: Philosophy, Mathematics and Language

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