Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation



Meaning: Models and Proofs

Time: 11 October, 2013 (10:00) - 12 October, 2013 (18:00)
Location: LMU Munich Professor-Huber-Platz (Room V U 104)

Co-organised by the Munich Center for Mathematical Philosophy and the Arché Research Centre, St Andrews.What does a theory of meaning involve? Does it consist in representation in terms of models, is it best articulated rather in terms of inferential connections, or is there some third possibility? The central theme of the workshop concerns formal approaches to meaning, and the meaning of logical connectives in particular. Are the meanings of the logical constants best characterized truth-conditionally or proof-conditionally, or in some other way? Is there indeed a conflict between model-theoretic and proof-theoretic semantics, or can the two be reconciled? What, if any, are the constraints on semantic characterizations of logical expressions? For instance, is the infamous ‘tonk’ semantically well-defined? How do the meaning of the logical constants connect with deductive practice? Is Modus Ponens valid in virtue of the meaning of ‘if’, or does the validity of the inference define the meaning of the conditional? How do philosophical and formal questions about the semantics of logical expressions extend to various non-classical logics?


Friday, October 11

  • 9:30 -10:00 Coffee
  • 10:00-11:15 Graham Priest: "The meaning of the quantifiers"
  • 11:15-11:30 Break
  • 11:30-12:15 Bruno Jacinto: tba
  • 12:15-13:00 Marta Sznajder: tba
  • 13:00-14:00 Lunch
  • 14:00-15:15 Dag Prawitz: tba
  • 15:15-15:30 Break
  • 15:30-16:45Ole Hjortland: "Proof Theoretic Harmony in Substructural Logics"
  • 16:45-16:30 Break
  • 17:00-18:15 Heinrich Wansing: "The meaning of the quantifiers"

Saturday October 12

  • 9:30 -10:00 Coffee
  • 10:00-11:15 lorian Steinberger: "Understanding and inference"
  • 11:15-11:30 Break
  • 11:30-12:15 Alex Yates: "Truth-conditional Theories of Meaning within Fregean Limits"
  • 13:00-14:00 Lunch
  • 14:00-15:15 Gil Sagi: "What is a fixed term?"
  • 15:15-15:30 Break 
  • 15:30-16:45 Stewart Shapiro: "Consequence: deductions and models"
  • 16:45-16:30 Break
  • 17:00-18:15 Stephen Read: "Semantic pollution and syntactic purity"

Stephen Read (
Ole T. Hjortland (

Confirmed Speakers

  • Ole T. Hjortland (MCMP, LMU Munich)
  • Bruno Jacinto (Arché)
  • Dag Prawitz (Stockholm)
  • Graham Priest (CUNY, Melbourne, Arché)
  • Stephen Read (Arché, St Andrews)
  • Gil Sagi (MCMP, LMU Munich)
  • Marta Sznajder (MCMP, LMU Munich)
  • Florian Steinberger (MCMP, LMU Munich)
  • Heinrich Wansing (Bochum)
  • Alexander Yates