David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
This 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.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
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.
Citations of this work BETA
Tim Fernando (2009). Situations as Indices and as Denotations. Linguistics and Philosophy 32 (2):185-206.
Tim Fernando (2011). Constructing Situations and Time. Journal of Philosophical Logic 40 (3):371 - 396.
Similar books and articles
Chris Fox & Shalom Lappin, An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Simone Gozzano (2012). Type-Identity Conditions for Phenomenal Properties. In Simone Gozzano & Christopher S. Hill (eds.), New Perspective on Type Identity. The Mental and the Physical. Cambridge University Press. 111.
Paul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
Chris Fox & Shalom Lappin, Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.
Jan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Added to index2010-12-22
Total downloads14 ( #106,891 of 1,096,248 )
Recent downloads (6 months)3 ( #81,717 of 1,096,248 )
How can I increase my downloads?