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 -