Skip to main content
SpringerLink
Log in

Austinian Truth, Attitudes and Type Theory

  • Published:
Research on Language and Computation

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • J.L. Austin (1961) Truth, in Urmson and Warnock J.O. Urmson G.J. Warnock (Eds) Philosophical Papers. Oxford University Press Oxford 117–133

    Google Scholar 

  • Barwise J., Cooper R. (1991) Simple Situation Theory and its Graphical Representation. In: Seligman J. (ed.), Partial and Dynamic Semantics III, DYANA Deliverable R2.1.C. Centre for Cognitive Science, University of Edinburgh (Indiana University Logic Group Preprint No. IULG-91-8).

  • J. Barwise J. Perry (1983) Situations and Attitudes MIT Press Cambridge

    Google Scholar 

  • Barwise J., Seligman J. (1997) Information Flow: The Logic of Distributed Systems. Vol. 44, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.

  • R. Cooper (2005) ArticleTitleRecords and Record Types in Sematic Theory Journal of Logic and Computation 15 IssueID2 99–111 Occurrence Handle10.1093/logcom/exi004

    Article  Google Scholar 

  • R. Cooper (1996) The Role of Situations in Generalized Quantifiers S. Lappin (Eds) The Handbook of Contemporary Semantic Theory. Blackwell Oxford

    Google Scholar 

  • Cooper R. (2004) Dynamic Generalised Quantifiers and Hypothetical Contexts. In: Ursus Philosophicus, A Festschrift for Björn Haglund. Department of Philosophy, Göteborg University.

  • Cooper R., Ginzburg J. (1996) A Compositional Situation Semantics for Attitude Reports. In: Seligman J., Westerståhl D. (eds), Logic, Language and Computation, Vol. 1. CSLI Publications.

  • T. Coquand R. Pollack M. Takeyama (2004) ArticleTitleA Logical Framework with Dependently Typed Records Fundamenta Informaticae 20 1–22

    Google Scholar 

  • D. Davidson (1980) Essays on Actions and Events Clarendon Press Oxford

    Google Scholar 

  • van Eijck J., Kamp H. (1997) Representing Discourse in Context. In: van Benthem J., ter Meulen A. (eds), Handbook of Logic and Language. North Holland, Amsterdam and MIT Press, Cambridge, MA.

  • G. Fauconnier (1985) Mental Spaces MIT Press Cambridge, MA

    Google Scholar 

  • P.T. Geach (1967) ArticleTitleIntentional Identity Journal of Philosophy 64 627–632 Occurrence Handle10.2307/2024459

    Article  Google Scholar 

  • H. Kamp U. Reyle (1993) From Discourse to Logic Kluwer Dordrecht

    Google Scholar 

  • D. Kaplan (1989) Demonstratives: An Essay on the Semantics, Logic, Metaphysics, and Epistemology of Demonstratives and Other Indexicals J. Almog J. Perry H.K. Wettstein (Eds) Themes from Kaplan. Oxford University Press Oxford

    Google Scholar 

  • M. Kohlhase D. Kuschert M. Pinkal (1996) A Type-Theoretic Semantics for λ-DRT P. Dekker M. Stokhof (Eds) Proceedings of the 10th Amsterdam Colloquium. ILLC Amsterdam 479–498

    Google Scholar 

  • S. Kripke (1979) A Puzzle about Belief A. Margalit (Eds) Meaning and Use. Reidel Dordrecht 239–283 Occurrence Handle10.1007/978-1-4020-4104-4_20

    Chapter  Google Scholar 

  • Larsson S. (2002) Issue-Based Dialogue Management. PhD thesis, Göteborg University.

  • Montague R. (1974) Formal Philosophy: Selected Papers of Richard Montague, and with an introduction by R. H. Thomason (ed.), Yale University Press, New Haven.

  • R. Muskens (1995) ArticleTitleCombining Montague Semantics and Discourse Representation Linguistics and Philosophy 19 143–186 Occurrence Handle10.1007/BF00635836

    Article  Google Scholar 

  • A. Ranta (1991) ArticleTitleConstructing Possible Worlds Theoria 57 77–99 Occurrence Handle10.1111/j.1755-2567.1991.tb00541.x

    Article  Google Scholar 

  • A. Ranta (1994) Type-Theoretical Grammar Clarendon Press Oxford

    Google Scholar 

  • C. Roberts (1989) ArticleTitleModal Subordination and Pronominal Anaphora in Discourse Linguistics and Philosophy 12 IssueID6 683–721 Occurrence Handle10.1007/BF00632602

    Article  Google Scholar 

  • I. Sag T. Wasow E. Bender (2003) Syntactic Theory EditionNumber2 CSLI Publications Stanford

    Google Scholar 

  • G. Sundholm (1986) Proof Theory and Meaning D. Gabbay F. Guenthner (Eds) Handbook of Philosophical Logic, Vol.III. Reidel Dordrecht

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Linguistics, Göteborg University, Box 200, 405 30, Göteborg, Sweden

    Robin Cooper

Authors
  1. Robin Cooper
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Robin Cooper.

About this article

Cite this article

Cooper, R. Austinian Truth, Attitudes and Type Theory. Research Language Computation 3, 333–362 (2005). https://doi.org/10.1007/s11168-006-0002-z

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11168-006-0002-z

Keywords

Search

Navigation