Predicate abstraction, the limits of quantification, and the modality of existence
- Philip Percival
- … show all 1 hide
Purchase on Springer.com
$39.95 / €34.95 / £29.95*
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.
For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession.
- Atlas, J. D. (1977). Negation, ambiguity and presupposition. Linguistics and Philosophy, 1, 321–336. CrossRef
- Barendregt, H. P. (1997). The impact of the lambda calculus in logic and computer science. The Bulletin of Symbolic Logic, 3, 181–214. CrossRef
- Bencivenga, E., & Woodruff, P. W. (1981). A new modal language with the λ operator. Studia Logica, 40, 383–389. CrossRef
- Cartwright, R. (1997). On singular propositions. In A. Kazmi (Ed.), Meaning and reference (pp. 67–83), Canadian Journal of Philosophy Supplementary Volume 23. Calgary: University of Calgary Press.
- Church, A. (1932). A set of postulates for the foundation of logic. Annals of Mathematics, 33, 346–366. CrossRef
- Fine, K. (2005). Modality and tense. Oxford: Clarendon.
- Fitting, M. (1991). Modal logic should say more than it does. In J.-L. Lassez & G. Plotkin (Eds.), Computational logic, essays in honor of Alan Robinson. Cambridge, MA: M. I. T. Press.
- Fitting, M. (1996). A modal Herbrand theorem. Fundamenta Informaticae, 28, 101–122.
- Fitting, M., & Mendleson, R. (1998). First-order modal logic. Dordrecht: Kluwer.
- Glanzberg, M. (2008). Descriptions, negation, and focus. In R. Stainton & C. Viger (Eds.), Compositionality, context and semantic values (pp. 193–220). Berlin: Springer.
- Graff Fara, D. (2006). Descriptions with adverbs of quantification. Philosophical Issues 16 (Philosophy of Language).
- Grice, H. P. (1969). Vacuous names. In D. Davidson & J. Hintikka (Eds.), Words and objections: Essays on the work of W. V. Quine. Dordrecht: Reidel.
- Hoffman, A. (2003). A puzzle about truth and singular propositions. Mind, 112, 635–651. CrossRef
- Horn, L.R. (1985). Metalinguistic negation and pragmatic ambiguity. Language, 61, 121–174.
- Kripke, S. (2005). Russell’s notion of scope. Mind, 114, 1005–1037. CrossRef
- Lambert, K., & Bencivenga, E. (1986). A free logic with simple and complex predicates. Notre Dame Journal of Formal Logic, 27, 247–256. CrossRef
- Ludlow, P. (2007). “Descriptions” (revised version July 26, 2007). Stanford Encyclopedia of Philosophy, available at http://plato.stanford.edu/entries/descriptions.
- Menzel, P. (1991). The true modal logic. Journal of Philosophical Logic, 20, 331–374. CrossRef
- Neale, S. (2005). A century later. Mind, 114, 809–871. doi:10.1093/mind/fzi809. CrossRef
- Prior, A. N. (1971). Objects of thought. Oxford: Clarendon. CrossRef
- Salmon, N. (1987). Existence. In J. E. Tomberlin (Ed.), Philosophical perspectives 1: Metaphysics. Atascadero, CA: Ridgeview Press.
- Saul, J. (1997). Substitution and simple sentences. Analysis, 57, 102–108. CrossRef
- Stalnaker, R. (1977). Complex predicates. Monist, 60, 327–339.
- Stalnaker, R. (1995). The interaction of modality with quantification and identity. In W. Sinnott-Armstrong, et al. (Eds.), Modality, morality and belief. Cambridge: Cambridge University Press.
- Stalnaker, R. (2003). Ways a world might be. Oxford: Clarendon.
- Stephanou, Y. (2007). Serious actualism. Philosophical Review, 116, 219–250. CrossRef
- Thomason, R. H., & Stalnaker, R. (1968). Modality and reference. Nous, 2, 359–372. CrossRef
- Thomason, R. H., & Stalnaker, R. (1973). A semantic theory of adverbs. Linguistic Inquiry, 4, 195–220.
- Williamson, T. (1987). Equivocation and existence. Proceedings of the Aristotelian Society, 87, 109–127.
- Williamson, T. (1989). Being and being so. Acta Analytica, 4, 93–114.
- Williamson, T. (1999). Truthmakers and the converse Barcan formula. Dialectica, 53, 253–270. CrossRef
- Williamson, T. (2000). Existence and contingency. Proceedings of the Aristotelian Society, 100, 117–139. CrossRef
- Williamson, T. (2002). Necessary existents. In A. O’Hear (Ed.), Logic, thought and language (pp. 233–251). Cambridge: Cambridge University Press. CrossRef
- Predicate abstraction, the limits of quantification, and the modality of existence
Volume 156, Issue 3 , pp 389-416
- Cover Date
- Print ISSN
- Online ISSN
- Springer Netherlands
- Additional Links
- Predicate abstraction
- Singular proposition
- Logical form
- Philip Percival (1)
- Author Affiliations
- 1. Department of Philosophy, University of Nottingham, Nottingham, NG7 2RD, UK