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
Abstract
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.
Article information
Source
Notre Dame J. Formal Logic, Volume 55, Number 4 (2014), 553-561.
Dates
First available in Project Euclid: 7 November 2014
Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1415382955
Digital Object Identifier
doi:10.1215/00294527-2798736
Mathematical Reviews number (MathSciNet)
MR3276411
Zentralblatt MATH identifier
1335.03003
Subjects
Primary: 03-XX: MATHEMATICAL LOGIC AND FOUNDATIONS
Keywords
Peter van Inwagen philosophy of logic ontological commitment substitutional quantification existential quantifiers
Citation
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