SluitenHelpPrint
Switch to English
Cursus: TLMV13020
TLMV13020
Logic and Language
Cursus informatie
CursuscodeTLMV13020
Studiepunten (EC)7,5
Cursusdoelen
The participant gains anunderstanding of the concepts of continuations and CPS translations in logic and computer science, and of their use in modelling dynamic aspects of natural language semantics.
Inhoud
This course covers advancedmethods and ideas in the logical analysis of language, especially in relation to type-logical grammars, the parsing-as-deduction paradigm, and their combination with formal semantics of natural language. The course has a 'capita selecta' format, focusing on various aspects of the connection between language and reasoning.
The 2014-2015 installment studies discourse dynamics from the perspective of continuations and continuation-passing-style interpretations. In the first part of the course, we study the origin of these concepts computer science (the control operators from programming language theory) and logic (double negation embeddings of classical logic into intuitionistic logic).
In the second part of the course, we discuss the growing body of literature on natural language semantics that uses continuations to explicitly include the context of evaluation as a parameter in the meaning composition process. Topics include quantifier scope and evaluation order, cross-sentential anaphora, dynamic logic with exceptions.

Students Artificial Intelligence, for registration please contact your programme coordinator during the enrollment period.
 
SluitenHelpPrint
Switch to English