On this festive occasion I will talk about a topic that Roussanka and I share an interest in---composition of natural language meaning with the help of the simply typed lambda calculus or derivatives of that logic. When this method was introduced by Richard Montague at the end of the 1960s, it came pre-packaged with a series of ontological choices, such as 1) the intension of a sentence is a set of possible worlds, 2) the logic is bivalent, and 3) the logic is static. In later years we have seen all kinds of challenges to these choices and it has been argued that alternatives offer a better fit with natural language. My general thesis is that many of these alternatives are still compatible with Montague's composition methods. The typed lambda calculus is a /general/ theory of typed functions, after all. In the past I have shown that core ideas of Situation Semantics and of Discourse Representation Theory are amenable to a type-logical treatment, today I will further illustrate the general thesis by looking at type-logical versions of vector semantics and of the Barsalou-Löbner frame semantics.



On the occasion of Roussanka Loukanova's 65th birthday.

Med anledning av Dr. Roussanka Loukanovas 65-årsdag anordnar CLLAM och Stockholms Logikseminarium en föreläsning med Reinhard Muskens, Tilburgs universitet, framstående expert på logik för naturligt språk. Roussanka Loukanova har sedan 2000 varit drivande inom svensk datorlingvistik (främst vid Uppsala universitet) och har haft täta kontakter med logiker vid universiteten i Uppsala och Stockholm. Karakteristiskt för hennes ansats till datorlingvistik är användandet av logiska metoder, och särskilt situationssemantik, i kontrast mot sannolikhetsteoretiska metoder som för närvarande är dominerande. Loukanova har varit anställd vid Filosofiska institutionen och Matematiska institutionen vid Stockholms universitet.