Modelling linguistic communication using types

Staffan Larsson (University of Gothenburg, Sweden) and Robin Cooper (University of Gothenburg, Sweden)

This course will present an approach to linguistic communication using TTR, a type theory with records. It will provide a basic introduction to TTR including formal techniques and the use of types to analyse perception, mental states and attitudes likes belief. It will show how meaning can be grounded by relating types to perceptual classifiers. It will propose a general theory of action based on types and show how linguistic communication can be embedded in this theory.

The emphasis will be on a hands-on approach where participants will be encouraged to work through examples based on exercises.