Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 55, Number 4 (2014), 553-561.
Peter van Inwagen, Substitutional Quantification, and Ontological Commitment
Peter van Inwagen has long claimed that he doesn’t understand substitutional quantification and that the notion is, in fact, meaningless. Van Inwagen identifies the source of his bewilderment as an inability to understand the proposition expressed by a simple sentence like “() ( is a dog),” where “” is the existential quantifier understood substitutionally. I should think that the proposition expressed by this sentence is the same as that expressed by “() ( is a dog).” So what’s the problem? The problem, I suggest, is that van Inwagen takes traditional existential quantification to be ontologically committing and substitutional quantification to be ontologically noncommitting, which requires that the two quantifiers have different meanings—but no different meaning for the substitutional quantifier is forthcoming. What van Inwagen fails to appreciate is that substitutional quantification is directed at a criterion of ontological commitment, namely, W. V. O. Quine’s, which is quite different from van Inwagen’s criterion. Substitutional quantification successfully avoids the commitments Quine’s criterion would engender but has the same commitments as existential quantification given van Inwagen’s criterion. The question, then, is whether the existential quantifier is ontologically committing, as van Inwagen believes. The answer to that question will depend on whether the ordinary language “there is/are,” which is codified by the existential quantifier, is ontologically committing. There are good reasons to doubt that it is.
Notre Dame J. Formal Logic, Volume 55, Number 4 (2014), 553-561.
First available in Project Euclid: 7 November 2014
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03-XX: MATHEMATICAL LOGIC AND FOUNDATIONS
Craig, William. Peter van Inwagen, Substitutional Quantification, and Ontological Commitment. Notre Dame J. Formal Logic 55 (2014), no. 4, 553--561. doi:10.1215/00294527-2798736. https://projecteuclid.org/euclid.ndjfl/1415382955