Abstract
In this paper we present a framework for constructing hyperintensional semantics for natural language. On this approach, the axiom of extensionality is discarded from the axiom base of a logic. Weaker conditions are specified for the connection between equivalence and identity which prevent the reduction of the former relation to the latter. In addition, by axiomatising an intensional number theory we can provide an internal account of proportional cardinality quantifiers, like most. We use a (pre-)lattice defined in terms of a (pre-)order that models the entailment relation. Possible worlds/situations/indices are then prime filters of propositions in the (pre-)lattice. Truth in a world/situation is then reducible to membership of a prime filter. We showho wthi s approach can be implemented within (i) an intensional higher-order type theory, and (ii) first-order property theory.
Abstract
We are grateful to Tom Maibaum and Carl Pollard for invaluable help and advice in developing the semantic approach proposed here. Much of the the second author’s research relies heavily on earlier joint work with Pollard, and we are grateful to him for helpful comments on an earlier draft of this paper. We would also like to thank Nissim Francez, Dov Gabbay, Jonathan Ginzburg, Howard Gregory, Jim Lambek, AndrewPit ts, Phil Scott and three anonymous referees for useful discussion of many of the ideas presented in this paper. Of course we bear sole responsibility for the shortcomings of our proposals. The second author’s research is funded by grant number AN2687/APN 9387 from the Arts and Humanities Research Board of the United Kingdom.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
J. Barwise and J. Perry. Situations and Attitudes. MIT Press (Bradford Books), Cambridge, MA, 1983.
G. Bealer. On the identification of properties and propositional functions. Linguistics and Philosophy, 12:1–14, 1989.
R. Carnap. Meaning and Necessity. University of Chicago Press, Chicago, 1947.
G. Chierchia and R. Turner. Semantics and property theory. Linguistics and Philosophy, 11:261–302, 1988.
A. Church. A foundation for the simple theory of types. Journal of Symbolic Logic, 5:56–68, 1940.
Chris Fox. The Ontology of Language. CSLI Lecture Notes. CSLI, Stanford, 2000.
C.J. Fox. Plurals and Mass Terms in Property Theory. PhD thesis, University of Essex, Colchester, U.K., 1993.
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.
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.
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.
D. Gallin. Intensional and Higher-Order Modal Logic. North-Holland, Amsterdam, 1975.
P.T. Johnstone. Stone Spaces. Cambridge University Press, Cambridge, 1982.
J. Lambek and P. Scott. An Introduction to Higher Order Categorial Logic. Cambridge University Press, Cambridge, 1986.
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.
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.
S. Lappin and C. Pollard. Strategies for hyperintensional semantics. ms., King’s College, London and Ohio State University, 2000.
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 NewY ork, 1997. Springer.
P. Martin-Löf. Studies in Proof Theory (Lecture Notes). Bibliopolis, Napoli, 1984.
R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven/London, 1974. Edited with an introduction by R.H. Thomason.
R. Muskens. Meaning and Partiality. CSLI and FOLLI, Stanford, CA, 1995.
A. Ranta. Intuitionistic categorial grammar. Linguistics and Philosophy, 14:203–239, 1991.
A. Ranta. Type Theoretic Grammar. Oxford University Press, 1994.
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.
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.
G. Sundholm. Constructive generalised quantifiers. Synthese, 79:1–12, 1989.
R. Thomason. A modeltheory for propositional attitudes. Linguistics and Philosophy, 4:47–70, 1980.
R. Turner. A theory of properties. Journal of Symbolic Logic, 52(2):455–472, June 1987.
R. Turner. Properties, propositions, and semantic theory. In Proceedings of Formal Semantics and Computational Linguistics, Switzerland, 1988.
R. Turner. Truth and Modality for Knowledge Representation. Pitman, 1990.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fox, C., Lappin, S. (2001). A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. In: de Groote, P., Morrill, G., Retoré, C. (eds) Logical Aspects of Computational Linguistics. LACL 2001. Lecture Notes in Computer Science(), vol 2099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48199-0_11
Download citation
DOI: https://doi.org/10.1007/3-540-48199-0_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42273-0
Online ISBN: 978-3-540-48199-7
eBook Packages: Springer Book Archive