SluitenHelpPrint
Switch to English
Cursus: TLMV13020
TLMV13020
Logic and Language
Cursus informatieRooster
CursuscodeTLMV13020
Studiepunten (ECTS)7,5
Categorie / NiveauM (Master)
CursustypeCursorisch onderwijs
VoertaalEngels
Aangeboden doorFaculteit Geesteswetenschappen; Utrecht Graduate School of Humanities; Domein Talen, Literatuur en Communicatie AM;
Contactpersoonprof. dr. M.J. Moortgat
Telefoon+31 30 2536043
E-mailM.J.Moortgat@uu.nl
Docenten
Docent
prof. dr. M.J. Moortgat
Feedback en bereikbaarheid
Overige cursussen docent
Blok
2  (13-11-2017 t/m 26-01-2018)
Aanvangsblok
2
TimeslotB: DI-ochtend, DO-middag, DO-namiddag
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 23-10-2017 09:00 t/m 24-10-2017 23:59
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure(Sub)school
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.
 
Ingangseisen
Voorkennis
Formal semantics; logic and computation.
Voorkennis kan worden opgedaan met
Verdiepingspakket 'Reasoning'
Verplicht materiaal
Literatuur
Primary research papers, electronically available. including -Barker and Shan, Continuations and Natural Language (to appear, available via SemanticsArchive).
Literatuur
For the logical background: Classical logic and control operators, Ch 6 of Sørensen and Urzyczyn, Lectures on the Curry-Howard Isomorphism. -Lebedeva, Expressing Discourse Dynamics via Continuations. PhD Thesis Nancy 2013 (Beth Dissertation Award)
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Werkcollege (Verplicht)

Algemeen
During the HC, the theoretical background is introduced, and the participants hold a presentation. During the WC, participants work on assignments, and get feedback on their homework.

Voorbereiding bijeenkomsten
Reading the assigned literature; make the homework assignments.

Toetsen
Opdracht(en) 1
Weging30
Minimum cijfer-

Paper
Weging40
Minimum cijfer-

Referaat
Weging30
Minimum cijfer-

Beoordeling
Understanding of the the concepts and and techniques introduced in the HC as apparent from the participant's presentation and short research paper.

Deadlines
weekly

SluitenHelpPrint
Switch to English