Notre Dame Journal of Formal Logic

Peter van Inwagen, Substitutional Quantification, and Ontological Commitment

William Craig

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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 “(Σx) (x 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 “(∃x) (x 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


Export citation

References

  • [1] Azzouni, J., Deflating Existential Consequence: A Case for Nominalism, Oxford Univ. Press, Oxford, 2004.
    Mathematical Reviews (MathSciNet): MR2046942
  • [2] Azzouni, J., “Ontological commitment in the vernacular,” Noûs, vol. 41 (2007), pp. 204–26.
  • [3] Azzouni, J., “Ontology and the word ‘exist’: Uneasy relations,” Philosophia Mathematica, vol. 18 (2010), pp. 74–101.
    Mathematical Reviews (MathSciNet): MR2594385
    Digital Object Identifier: doi:10.1093/philmat/nkp011
  • [4] Chihara, C. S., Ontology and the Vicious-circle Principle, Cornell University Press, Ithaca, N. Y., 1973.
    Mathematical Reviews (MathSciNet): MR469678
  • [5] Church, A., “Ontological commitment,” Journal of Philosophy, vol. 55 (1958), pp. 1008-14.
  • [6] Dunn J. M., and N. D. Belnap, Jr., “The substitution interpretation of the quantifiers,” Noûs, vol. 2 (1968), pp. 177–85.
  • [7] Hintikka, J., “Behavioral criteria of radical translation,” p. 79 in Words and Objections: Essays on the Work of W. V. Quine, edited by D. Davidson and J. Hintikka, D. Reidel, Dordrecht, 1969.
  • [8] Hofweber, T., “Ontology and objectivity,” Ph.D. dissertation, Stanford University, Stanford, Calif., 1999.
  • [9] Marcus, R. B., “Modalities and intensional languages,” Synthèse, vol. 13 (1961), pp. 303–22.
  • [10] Marcus, R. B., “Interpreting quantification,” Inquiry, vol. 5 (1962), pp. 252–59.
  • [11] Quine, W. V., “Existence and quantification,” pp. 94–96 in Ontological Relativity and Other Essays, Columbia University Press, New York, 1969.
  • [12] Quine, W. V., “Replies,” p. 315 in Words and Objections: Essays on the Work of W. V. Quine, edited by D. Davidson and J. Hintikka, D. Reidel, Dordrecht, 1969.
  • [13] Van Inwagen, P., “Why I don’t understand substitutional quantification,” Philosophical Studies, vol. 39 (1981), pp. 281–85.
    Mathematical Reviews (MathSciNet): MR608775
    Digital Object Identifier: doi:10.1007/BF00354359
  • [14] Van Inwagen, P., “Quantification and fictional discourse,” pp. 235–247 in Empty Names, Fiction and the Puzzles of Non-Existence, edited by A. Everett and T. Hofweber, Stanford University, Center for the Study of Language and Information, Stanford, Calif., 2000.
  • [15] Van Inwagen, P., “Metaontology,” pp. 13–31 in Ontology, Identity, and Modality, Cambridge Studies in Philosophy, Cambridge University Press, Cambridge, 2001.
  • [16] Van Inwagen, P., “A theory of properties,” pp. 107–38 in Oxford Studies in Metaphysics, vol. 1, edited by D. Zimmerman, Oxford University Press, Oxford, 2004.
  • [17] Van Inwagen, P., “Being, existence, and ontological commitment,” pp. 472–506 in Metametaphysics: New Essays on the Foundations of Ontology, edited by D. Chalmers, D. Manley, and R. Wasserman, Oxford University Press, Oxford, 2009.
  • [18] Van Inwagen, P., “God and other uncreated things,” pp. 3–20 in Metaphysics and God, edited by K. Timpe, Routledge, London, 2009.
  • [19] Van Inwagen, P., Metaphysics, 3rd ed., Westview Press, Boulder, Colo., 2009.
  • [20] Vision, G., “Reference and the ghost of Parmenides,” pp. 297–336 in Non-Existence and Predication, edited by R. Haller, vol. 25–26 of Grazer Philosophische Studien, Rodopi, Amsterdam, 1986.

Duke University Press

Notre Dame Journal of Formal Logic

New content alerts

Email RSS ToC RSS Article
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

+ See more