Modelling linguistic communication using types
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.