TY - CHAP

T1 - Formal Semantics in Modern Type Theories

T2 - Is It Model-Theoretic, Proof-Theoretic, or Both?

AU - Luo, Zhaohui

N1 - Invited Talk

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-662-43742-1_14

DO - 10.1007/978-3-662-43742-1_14

M3 - Chapter (peer-reviewed)

SN - 978-3-662-43741-4

T3 - Lecture Notes in Computer Science

SP - 177

EP - 188

BT - Logical Aspects of Computational Linguistics

A2 - Asher, Nicholas

A2 - Soloviev, Sergei

PB - Springer

ER -