This course covers advanced methods and ideas in the logical analysis of language, with an emphasis on type-logical methods for the analysis of natural language syntax and semantics. The course has a 'capita selecta' format, focusing on various aspects of the connection between language and reasoning.

The current edition consists of three parts. In the first part, we introduce Intuitionistic Logic and its sub-structural variants, emphasizing their equivalence to computational models, in line with the Curry-Howard isomorphism between logics and functional programming languages. Among the inhabitants of this substructural territory, we find categorial grammar logics, deductive systems that allow us to argue about natural language syntax in a strictly formal manner. During the second part, we extend these logics with structural control operators, permitting explicit control of restricted forms of reordering and restructuring. Further, we see how the proofs-as-programs interpretation can provide a natural bridge between syntactic structure and meaning composition. Finally, in the third part of the course, we switch to an applied perspective, where we investigate the applicability of modern machine-learning algorithms towards extracting and building numerical representations of proofs from natural language sentences.

N.B. You can enroll in this course via Osiris during the 'wijzigingsdagen' of the Humanities faculty: 24th and 25th of October 2022.
N.B. Inschrijven in Osiris voor deze cursus is mogelijk op 24 en 25 oktober 2022 tijdens de wijzigingsdagen van de faculteit Geesteswetenschappen (GW).