A framework for the hyperintensional semantics of natural language with two implementations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2099, Issue , 2001, Pages 175-192

  Fox, Chris ^a   Lappin, Shalom ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; LINGUISTICS; NUMBER THEORY; SEMANTICS;

AXIOM OF EXTENSIONALITY; CARDINALITIES; HIGHER ORDER TYPES; NATURAL LANGUAGES; POSSIBLE WORLDS; PRIME FILTERS; PROPERTY THEORY; SEMANTICS OF NATURAL LANGUAGE;

COMPUTATIONAL LINGUISTICS;

EID: 84857596818     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48199-0_11     Document Type: Conference Paper

References (32)

1. P. Aczel. Frege structures and the notions of proposition, truth and set. In Barwise, Keisler, and Keenan, editors, The Kleene Symposium, North Holland Studies in Logic, pages 31-39. North Holland, 1980.
2. J Barwise and J. Etchemendy. Information, infons, and inference. In R. Cooper, K. Mukai, and J. Perry, editors, Situation Theory and Its Applications, volume 1, pages 33-78. CSLI, Stanford, CA, 1990.
3. J. Barwise and J. Perry. Situations and Attitudes. MIT Press (Bradford Books), Cambridge, MA, 1983.
4. G. Bealer. On the identification of properties and propositional functions. Linguistics and Philosophy, 12:1-14, 1989.
5. R. Carnap. Meaning and Necessity. University of Chicago Press, Chicago, 1947.
6. G. Chierchia and R. Turner. Semantics and property theory. Linguistics and Philosophy, 11:261-302, 1988.
7. A. Church. A foundation for the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
8. Chris Fox. The Ontology of Language. CSLI Lecture Notes. CSLI, Stanford, 2000.
9. C.J. Fox. Plurals and Mass Terms in Property Theory. PhD thesis, University of Essex, Colchester, U.K., 1993.
10. C.J. Fox. Discourse representation, type theory and property theory. In H. Bunt, R. Muskens, and G. Rentier, editors, Proceedings of the International Workshop on Computational Semantics, pages 71-80, ITK, Tilburg, 1994.
11. C.J. Fox. Existence presuppositions and category mistakes. Acta Linguistica Hungarica, 42(3/4), 1994. Originally presented at the Fifth Hungarian Symposium in Logic and Language, Noszvaj.
12. C.J. Fox. Plurals and mass terms in property theory. In F. Hamm and E. Hinrichs, editors, Plurality and Quanitfication, number 69 in Studies in Linguistics and Philosophy, pages 113-175. Kluwer Academic Press, Dordrecht, 1998.
13. D. Gallin. Intensional and Higher-Order Modal Logic. North-Holland, Amsterdam, 1975.
14. P.T. Johnstone. Stone Spaces. Cambridge University Press, Cambridge, 1982.
15. J. Lambek and P. Scott. An Introduction to Higher Order Categorial Logic. Cambridge University Press, Cambridge, 1986.
16. F. Landman. Pegs and alecs. In Towards a Theory of Information. The Status of Partial Objects in Semantics, Groningen-Amsterdam Studies in Semantics, pages 97-136. Foris, Dordrecht, 1986.
17. S. Lappin and C. Pollard. A hyperintensional theory of natural language interpretation without indices or situations. ms., King's College, London and Ohio State University, 1999.
18. S. Lappin and C. Pollard. Strategies for hyperintensional semantics. ms., King's College, London and Ohio State University, 2000.
19. T. Maibaum. Conservative extensions, interpretations between theories and all that! In M. Bidoit and M. M. Dauchet, editors, TAPSOFT '97: Theory and Practice of Software Development, pages 40-66, Berlin and New York, 1997. Springer.
20. P. Martin-Löf. Studies in Proof Theory (Lecture Notes). Bibliopolis, Napoli, 1984.
21. R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, NewH aven/London, 1974. Edited with an introduction by R.H. Thomason.
22. R. Muskens. Meaning and Partiality. CSLI and FOLLI, Stanford, CA, 1995.
23. A. Ranta. Intuitionistic categorial grammar. Linguistics and Philosophy, 14:203-239, 1991.
24. A. Ranta. Type Theoretic Grammar. Oxford University Press, 1994.
25. J. Seligman and L. Moss. Situation theory. In J. van Bentham and A. ter Meulen, editors, Handbook of Logic and Language. Elsvier, North Holland, Amsterdam, 1997.
26. J.M. Smith. An interpretation of Martin-Löf's Type Theory in a type-free theory of propositions. Journal of Symbolic Logic, 49, 1984.
27. G. Sundholm. Constructive generalised quantifiers. Synthese, 79:1-12, 1989.
28. R. Thomason. A modeltheory for propositional attitudes. Linguistics and Philosophy, 4:47-70, 1980.
29. R. Turner. A theory of properties. Journal of Symbolic Logic, 52(2):455-472, June 1987.
30. R. Turner. Properties, propositions, and semantic theory. In Proceedings of Formal Semantics and Computational Linguistics, Switzerland, 1988.
31. R. Turner. Truth and Modality for Knowledge Representation. Pitman, 1990.
32. R. Turner. Properties, propositions and semantic theory. In M. Rosner and R. Johnson, editors, Computational Linguistics and Formal Semantics, Studies in Natural Language Processing, pages 159-180. Cambridge University Press, Cambridge, 1992.