Austinian truth, attitudes and type theory ∗

Abstract
This paper is part of a broader project whose aim is to present a coherent unified 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 first 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Translate to english
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,126
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Monotonicity in Opaque Verbs.Thomas Ede Zimmermann - 2006 - Linguistics and Philosophy 29 (6):715 - 761.
Constructing Situations and Time.Tim Fernando - 2011 - Journal of Philosophical Logic 40 (3):371 - 396.
Situations as Indices and as Denotations.Tim Fernando - 2009 - Linguistics and Philosophy 32 (2):185-206.

Add more citations

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.
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.

Monthly downloads

Added to index

2010-12-22

Total downloads

21 ( #238,029 of 2,171,811 )

Recent downloads (6 months)

2 ( #173,730 of 2,171,811 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums