Abstract
This paper sets forth a new theory of quantifiers and term connectives, called shadow theory, which should help simplify various semantic theories of natural language by greatly reducing the need of Montagovian proper names, type-shifting, and λ-conversion. According to shadow theory, conjunctive, disjunctive, and negative noun phrases such as John and Mary, John or Mary, and not both John and Mary, as well as determiner phrases such as every man, some woman, and the boys, are all of semantic type e and denote individual-like objects, called shadows— conjunctive, disjunctive, or negative shadows, such as John-and-Mary, John-or-Mary, and not-(John-and-Mary). There is no essential difference between quantification and denotation: quantification is nothing but denotation of shadows. Individuals and shadows constitute a Boolean structure. Formal language LSD (Language for Shadows with Distributivity), which takes compound terms to denote shadows, is investigated. Expansions and enrichments of LSD are also considered toward the end of the paper.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Akiba, K. (in preparation a). The coherence and significance of conjunctive, disjunctive, and negative objects.
Akiba, K. (in preparation b). A shadow-theoretic treatment of plurals, determiner phrases, and distributive and non-distributive predicates.
Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4, 159–219. (Reprinted in P. Portner & B. Partee (Eds.) (2002), Formal semantics (pp. 75–126). Oxford: Blackwell.)
Bonevac D. (1987) Deduction. Mayfield, Palo Alto, CA
Curry H., Feys R. (1958) Combinatory logic, Vol. 1. North-Holland, Amsterdam
Frege, G. (1893). Grundgesetze der Arithmetik, Band I. Jena: Pohle. (Parts translated in English in M. Furth (Ed.) (1964), The basic laws of arithmetic. Berkeley, CA: University of California Press.)
Groenendijk, J., & Stokhof, M. (1991). Dynamic predicate logic. Linguistics and Philosophy, 14, 39–100. (Reprinted in S. Davis & B. Gillon (Eds.) (2004), Semantics (pp. 263–304). Oxford: Oxford University Press.)
Heim I., Kratzer A. (1998) Semantics in generative grammar. Blackwell, Malden, MA
Henkin L., Monk J., Tarski A. (1971) Cylindric algebras, part 1. North-Holland, Amsterdam
Kamp, H. (1981). A theory of truth and semantic representation. In J. Groenendijk, T. Janssen & M. Stokhof (Eds.), Formal methods in the study of language (pp. 277–322). Amsterdam: Mathematische Centrum. (Reprinted in J. Groenendijk, T. Janssen & M. Stokhof (Eds.) (1984), Truth, interpretation, and information(pp. 1–41). Dordrecht: Foris. Also reprinted in P. Portner & B. Partee (Eds.) (2002), Formal semantics (pp. 189–222). Oxford: Blackwell, and S. Davis & B. Gillon (Eds.) (2004), Semantics (pp. 234-262). Oxford: Oxford University Press.)
Kamp H., Reyle U. (1993) From discourse to logic. Kluwer, Dordrecht
Lewis, D. (1970). General semantics. Synthese, 22, 18–67. (Reprinted in D. Lewis (1983), Philosophical papers, Vol. 1 (pp. 189–232). Oxford: Oxford University Press).
R. Montague, (1973), The proper treatment of quantification in ordinary English. In J. Hintikka, J. Moravcsik & P. Suppes (Eds.), Approaches to natural language (pp. 221–242). Dordrecht: Reidel. (Reprinted in R. Montague, (1974), Formal philosophy (pp. 247–270). New Haven, CT: Yale University Press. Also reprinted in P. Portner & B. Partee (Eds.) (2002), Formal semantics (pp. 17–34). Oxford: Blackwell.)
Neale S. (1990) Descriptions. MIT Press, Cambridge, MA
Partee, B. (1986). Noun phrase interpretation and type-shifting principles. In J. Groenendijik, D. de Jongh & M. Stokhof (Eds.), Studies in discourse representation theory and the theory of generalized quantifiers (pp. 115–143). Dordrecht: Foris. (Reprinted in B. Partee (2004), Compositionality in formal semantics (pp. 203–230). Malden, MA: Blackwell. Also reprinted in P. Portner & B. Partee (Eds.) (2002), Formal semantics (pp. 357–381). Oxford: Blackwell.)
Partee, B., & Rooth, M. (1983). Generalized conjunction and type ambiguity. In R. Bäuerle, C. Schwarze & A. von Stechow (Eds.), Meaning, use and interpretation of language (pp. 361–383). Berlin: Walter de Gruyter. (Reprinted in P. Portner & B. Partee (Eds.) (2002), Formal semantics (pp. 334–356). Oxford: Blackwell.)
Peters S., & Westerståhl D. (2006) Quantifiers in language and logic. Oxford University Press, Oxford
Quine, W. (1960). Variables explained away. Proceedings of American Philosophical Society, 104, 343–347. (Reprinted in W. Quine (1966), Selected logic papers (pp. 227–235). New York, NY: Random House.)
Russell B. (1903) The principles of mathematics, Vol. 1. Cambridge University Press, Cambridge, England
Russell B. (1905) On denoting. Mind 14: 479–493
Schönfinkel, M. (1924). Über die Bausteine der mathematischen Logik. Mathematische Annalen, 92, 305–366. (Translated in English as, On the building brocks of mathematical logic, in J. van Heijenoort (Ed.) (1967), From Frege to Gödel (pp. 355–366). Cambridge, MA: Harvard University Press.)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Akiba, K. A New Theory of Quantifiers and Term Connectives. J of Log Lang and Inf 18, 403–431 (2009). https://doi.org/10.1007/s10849-009-9095-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-009-9095-8