NASSLLI 2012 June 18 - 22

Sign up here for our Mailing List:

Questions? Email us:

[email protected]

Search the site:

  Powered by Google

Type Theory with Records for Natural Language Semantics

Room: UTC 4.104


We develop an integrated framework which addresses research issues in the semantics of dialogue, dialogue systems, logics of agents and linguistic work on spoken language. We combine this with grammar, semantics (both lexical and phrasal) and principles of interaction. TTR (a version of type theory with records) is a framework which has pioneered an integrated formal treatment of interaction in language. The course will provide a practical introduction to semantic analysis using TTR, grounding its tools in empirical phenomena.


A previous introduction to linguistics including formal syntax and formal semantics would be useful.



  • Lecture 1. The interactive stance: basic desiderata for a semantic theory; A theory of events and situations: frames and lexical semantics

    The interactive stance to semantics moves to an analysis of semantics which can characterize the potential for misunderstanding, rejection, and correction. A theory of events and situations is developed which is related to Fillmore's theory of frames, the basis for a rich theory of lexical semantics.

  • Lecture 2. Grammar in TTR; Incremental context and content; Tense and aspect

    Grammars are introduced as assigning types to speech events. We show how the combination of frames and typing of speech events can be applied to a theory of tense and aspect related to Reichenbach's work on the relation between speech, event and reference times and more recent work by Tim Fernando on the analysis of events as strings of component events.

  • 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.

  • Lecture 4. Unifying metacommunicative and illocutionary interaction; Generalized quantifiers and copredication

    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 will show how these are treated in TTR and how the treatment relates to cases of copredication (originally discussed by James Pustejovsky) where we seem to be able to refer to different aspects of the same object simultaneously, e.g., 'The lunch was delicious but took forever' where 'lunch' appears to be used to simultaneously refer to food and an event. A rich theory of context emerges from these analyses and this is important for showing how fragmentary utterances can be interpreted.

  • Lecture 5. Non-sentential utterances; Learning, coordination, multimodal interaction: describing interaction between parents and children during language acquisition

    We will sketch current work in progress which suggests that the approach can serve as a basis for a theory of learning and multimodal interaction, enabling the semantic description of various aspects of interaction between parents and children during language acquisition.


Robin Cooper

Email: cooper (AT) ling (DOT) gu (DOT) se


Robin Cooper has an undergraduate degree from the University of Cambridge and a PhD in Linguistics from the University of Massachusetts at Amherst. He has taught at the following universities: Universität Freiburg, University of Texas at Austin, University of Massachusetts at Amherst, University of Wisconsin at Madison, Stanford University, Lund University, Edinburgh University and University of Gothenburg where he is currently Professor of Computational Linguistics. He has held a Mellon Postdoctoral Fellowship and a Guggenheim Fellowship and has been a fellow at the Centre for Advanced Study in the Behavioral Sciences at Stanford. He is a Fellow of the British Academy and the Royal Society of Arts and Sciences in Gothenburg and a member of Academia Europaea. He holds an honorary doctorate from Uppsala. His main research interests are semantics (both theoretical and computational), dialogue semantics and computational dialogue systems.

Jonathan Ginzburg

Email: yonatan (DOT) ginzburg (AT) univ-paris-diderot (DOT) fr


Jonathan Ginzburg has held appointments at the Hebrew University of Jerusalem and King's College, London. He is currently Professor of Linguistics at Université Paris-Diderot (Paris 7). He is the author of Interrogative Investigations: the form, meaning, and use of English Interrogatives (jointly with Ivan A. Sag, CSLI 2001) and of The Interactive Stance: meaning for conversation (Oxford University Press, 2012). He is one of the founders and currently editor-in-chief of Dialogue and Discourse, one of the Linguistic Society of America's ejournals.