- Lecture 1. Why Type Theory with Records (TTR)? Arguments from semantic ontology, synsem interface, semantics/dialogue interface, language dynamics. Introduction to TTR slides: part 1 , part 2
- Lecture 2. Grammar in TTR
- Grammars are introduced as assigning types to speech events. We start by looking at a type theoretic view of events based on recent work by Tim Fernando where events are analyzed in terms of strings of observations of component events. We then show this view applies to speech events and develop a toy grammar to illustrate this view.
- slides: lecture 2
- Lecture 3. A theory of abstract entities and illocutionary interaction: analysis in terms of dialogue game boards; Negation
- The semantic ontology is expanded to include abstract entities such as propositions, questions, and outcomes which underpin illocutionary interaction. This provides the background for an analysis of negation that combines aspects of classical, intuitionistic and situation semantics views.
- slides: part 1 part 2
- Lecture 4. Unifying metacommunicative and illocutionary interaction; Generalized quantifiers and clarification interaction
- We provide a unified theory of metacommunicative and illocutionary interaction on the basis of the notion of Austinian locutionary propositions. This provides a basis for describing various linguistic phenomena occuring during grounding and clarification interaction. Formal semantics has been traditionally concerned with questions concerning quantifiers such as 'every', 'most' and 'a few'. We show how taking a dialogue oriented stance forces one to reevaluate the nature of GQ denotations.
- Slides part 1 part 2
- Lecture 5. Non-sentential utterances; extensions: disfluencies, multilogue, conversational genres. Slides: lecture 5