Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review


In this talk, we contend that, for NLs, the divide between model-theoretic semantics and proof-theoretic semantics has not been well-understood. In particular, the formal semantics based on modern type theories (MTTs) may be seen as both model-theoretic and proof-theoretic. To be more precise, it may be seen both ways in the sense that the NL semantics can first be represented in an MTT in a model-theoretic way and then the semantic representations can be understood inferentially in a proof-theoretic way. Considered in this way, MTTs arguably have unique advantages when employed for formal semantics.
Original languageEnglish
Title of host publicationLogical Aspects of Computational Linguistics
Subtitle of host publication8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
EditorsNicholas Asher, Sergei Soloviev
Number of pages12
ISBN (Electronic)978-3-662-43742-1
ISBN (Print)978-3-662-43741-4
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science

Cite this