Austinian truth, attitudes and type theory ∗
AbstractThis paper is part of a broader project whose aim is to present a coherent uniﬁed approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which relate to situation theory and situation semantics. We ﬁrst point out a relationship between type theory and the Austinian notion of truth. We then consider how records in type theory might be used to represent situations and how dependent record types can be used to model constraints on situations. We then sketch treatments of attitude phenomena for which Barwise and Perry proposed situation semantic analyses (perception complements, belief, the Pierre puzzle) as well as two other intensional phenomena (intensional verbs and intentional identity). Finally we give a characterisation of the type theory used and a small illustrative fragment of English.
Similar books and articles
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Type-Identity Conditions for Phenomenal Properties.Simone Gozzano - 2012 - In Simone Gozzano & Christopher S. Hill (eds.), New Perspective on Type Identity. The Mental and the Physical. Cambridge University Press. pp. 111-126.
An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
Added to PP
Historical graph of downloads
Citations of this work
Reductionism About Understanding Why.Insa Lawler - 2016 - Proceedings of the Aristotelian Society 116 (2):229-236.
Monotonicity in Opaque Verbs.Thomas Ede Zimmermann - 2006 - Linguistics and Philosophy 29 (6):715 - 761.
Grounding as a Side‐Effect of Grounding.Staffan Larsson - 2018 - Topics in Cognitive Science 10 (2):389-408.
Divergently Seeking Clarification: The Emergence of Clarification Interaction.Jonathan Ginzburg & Dimitra Kolliakou - 2018 - Topics in Cognitive Science 10 (2):335-366.
Constructing Situations and Time.Tim Fernando - 2011 - Journal of Philosophical Logic 40 (3):371 - 396.
References found in this work
No references found.