Austinian truth, attitudes and type theory

Research on Language and Computation

Volumn 3, Issue 2, 2005, Pages 333-362

  Cooper, Robin ^a  

^a UNIVERSITY OF GOTHENBURG   (Sweden)

Author keywords

Attitudes; Intensionality; Records; Situation semantics; Situation theory; Type theory

Indexed keywords

EID: 33744543656     PISSN: 15707075     EISSN: 15728706     Source Type: Journal    
DOI: 10.1007/s11168-006-0002-z     Document Type: Article

References (25)

1. Austin J. L. (1961) Truth, in Urmson and Warnock. In: Urmson J. O., Warnock G. J. (eds.), Philosophical Papers. Oxford University Press, Oxford, pp. 117-133.
2. 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).
3. Barwise J., Perry J. (1983) Situations and Attitudes. MIT Press, Cambridge.
4. Barwise J., Seligman J. (1997) Information Flow: The Logic of Distributed Systems. Vol. 44, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.
5. Cooper R. (2005) Records and Record Types in Sematic Theory. Journal of Logic and Computation 15(2), pp. 99-111.
6. Cooper R. (1996) The Role of Situations in Generalized Quantifiers. In: Lappin S. (ed.), The Handbook of Contemporary Semantic Theory. Blackwell, Oxford.
7. Cooper R. (2004) Dynamic Generalised Quantifiers and Hypothetical Contexts. In: Ursus Philosophicus, A Festschrift for Björn Haglund. Department of Philosophy, Göteborg University.
8. Cooper R., Ginzburg I (1996) A Compositional Situation Semantics for Attitude Reports. In: Seligman J., Westerståhl D. (eds.), Logic, Language and Computation, Vol. 1. CSLI Publications.
9. Coquand T., Pollack R., Takeyama M. (2004) A Logical Framework with Dependently Typed Records. Fundamenta Informaticae 20, pp. 1-22.
10. Davidson D. (1980) Essays on Actions and Events. Clarendon Press, Oxford,
11. 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.
12. Fauconnier G. (1985) Mental Spaces. MIT Press, Cambridge, MA.
13. Geach P. T. (1967) Intentional Identity. Journal of Philosophy 64, pp. 627-632.
14. Kamp H., Reyle U. (1993) From Discourse to Logic. Kluwer, Dordrecht.
15. Kaplan D. (1989) Demonstratives: An Essay on the Semantics, Logic, Metaphysics, and Epistemology of Demonstratives and Other Indexicals. In: Almog J., Perry J., Wettstein H. K. (eds.), Themes from Kaplan. Oxford University Press, Oxford.
16. Kohlhase M., Kuschert D., Pinkal M. (1996) A Type-Theoretic Semantics for λ-DRT. In: Dekker P., Stokhof M. (eds.), Proceedings of the 10th Amsterdam Colloquium. ILLC, Amsterdam, pp. 479-498.
17. Kripke S. (1979) A Puzzle about Belief. In: Margalit A. (ed.), Meaning and Use. Reidel, Dordrecht, pp. 239-283.
18. Larsson S. (2002) Issue-Based Dialogue Management. PhD thesis, Göteborg University.
19. Montague R. (1974) Formal Philosophy: Selected Papers of Richard Montague, and with an introduction by R. H. Thomason (ed.), Yale University Press, New Haven.
20. Muskens R. (1995) Combining Montague Semantics and Discourse Representation. Linguistics and Philosophy 19, pp. 143-186.
21. Ranta A. (1991) Constructing Possible Worlds. Theoria 57, pp. 77-99.
22. Ranta A. (1994) Type-Theoretical Grammar. Clarendon Press, Oxford.
23. Roberts C. (1989) Modal Subordination and Pronominal Anaphora in Discourse. Linguistics and Philosophy 12/6, pp. 683-721.
24. Sag I., Wasow T., Bender E. (2003) Syntactic Theory. 2nd edn., CSLI Publications, Stanford.
25. Sundholm G. (1986) Proof Theory and Meaning. In: Gabbay D., Guenthner F. (eds.), Handbook of Philosophical Logic, Vol. III. Reidel, Dordrecht.