Abstract
Quineans have taken the basic expression of ontological commitment to be an assertion of the form '∃ x φ', assimilated to theEnglish 'there is something that is a φ'. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference.
Similar content being viewed by others
References
Baldwin, Thomas: 1979, 'Interpretations of Quantifiers', Mind, 88, 215–240.
Boolos, George S. and Richard C. Jeffrey: 1989, Computability and Logic, Cambridge University Press, New York, third edition. First edition, 1974; second edition, 1980.
Chihara, Charles S.: 1990, Constructibility and Mathematical Existence, Clarendon Press and Oxford University Press, Oxford and New York.
Dummett, Michael A. E.: 1981, Frege: Philosophy of Language, Duckworth, London, second edition.
Empiricus, Sextus: 1935, Against the Logicians, volume 2 of Loeb Classical Library. Harvard University Press, Cambridge, Massachusetts. Translated by the Reverend R. G. Bury.
Enderton, Herbert B.: 1972, A Mathematical Introduction to Logic, Academic Press, Orlando, Florida.
Etchemendy, John: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge, MA.
Field, Hartry: 1991, 'Metalogic and Modality', Philosophical Studies 62, 1–22.
Fine, Kit and Timothy McCarthy: 1984, 'Truth Without Satisfaction', Journal of Philosophical Logic 13, 397–421.
Geach, Peter Thomas: 1951, 'Symposium: On What There Is, I', Proceedings of the Aristotelian Society, supplementary volume 25, 125–36. Joint Session of the Aristotelian Society and the Mind Association at the University of Edinburgh, 1951. Symposiasts: Peter Thomas Geach, Alfred Jules Ayer, Willard Van Orman Quine.
Geach, Peter Thomas: 1963, 'Quantification Theory and the Problem of Identifying Objects of Reference', Acta Philosophica Fennica 16, 41–52. Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, 23–26 August, 1962. All page references are to the slightly rewritten reprinting as 139–146 and 205–209 of (Geach 1972).
Geach, Peter Thomas: 1964, 'Nominalism', Sophia: A Journal for Discussion in Philosophical Theology, 3, 3–14. Journal subtitle varies. All page references are to the reprinting as 289–301 of (Geach 1972).
Geach, Peter Thomas: 1968, 'History of the Corruptions of Logic: An Inaugural Lecture', Leeds, 1968. All page references are to the reprinting as pp. 44–61 of (Geach 1972).
Geach, Peter Thomas: 1969, 'Perils of Pauline', Review of Metaphysics 23, 287–300. All page references are to the reprinting as 153–165 of (Geach 1972).
Geach, Peter Thomas: 1972, Logic Matters, University of California Press, Berkeley, California.
Geach, Peter Thomas: 1980, Reference and Generality: An Examination of Some Medieval and Modern Theories, Cornell University Press, Ithaca, New York, third edition. First edition 1962, amended edition 1968.
Gottlieb, Dale and Timothy McCarthy: 1979, 'Substitutional Quantification and Set Theory', Journal of Philosophical Logic 8, 315–31.
Gottlieb, Dale: 1980, Ontological Economy: Substitutional Quantification and Mathematics, Oxford University Press, New York.
Harman, Gilbert: 1967, 'Quine on Meaning and Existence', Review of Metaphysics 21, 343–67.
Hugly, Philip and Charles Sayward: 1994, 'Quantifying over the Reals', Synthese 101, 53–64.
Jackson, Frank: 1980, 'Ontological Commitment and Paraphrase', Philosophy: The Journal of the Royal Institute of Philosophy 55, 303–15.
Kripke, Saul A.: 1976, 'Is there a Problem about Substitutional Quantification?', in Gareth Evans and John McDowell (eds), Truth and Meaning: Essays in Semantics, Clarendon Press, Oxford, 325–419.
Kripke, Saul A.: 1980, Naming and Necessity, Blackwell, Oxford.
Lavine, Shaughan: 1991, 'Is Quantum Mechanics an Atomistic Theory?', Synthese 89, 253–71.
Lavine, Shaughan: 1994, Understanding the Infinite, Harvard University Press, Cambridge, MA.
Luschei, E. C.: 1962, The Logical Systems of Le´sniewski, North-Holland, Amsterdam.
Marcus, Ruth Barcan: 1961, 'Modalities and Intensional Languages', Synthese 13, 303–22. All page references are to the reprinting of the corrected version as 5–23 of (Marcus 1993).
Marcus, Ruth Barcan: 1985–1986, 'Possibilia and Possible Worlds', Grazer Philosophische Studien 25/26, 107–133. All page references are to the reprinting of the corrected version as 190–213 of (Marcus 1993).
Marcus, Ruth Barcan: 1990, 'A Backward Look at Quine's Animadversions on Modalities', in Robert B. Barrett and Roger F. Gibson (eds), Perspectives on Quine, Basil Blackwell, Cambridge, Massachusetts, 230–243. Proceedings of the conference, “Perspectives on Quine”, organized by Robert B. Barrett and Roger F. Gibson, April 1988, Washington University in St. Louis. All page references are to the reprinting as 216–232 of (Marcus 1993).
Marcus, Ruth Barcan: 1993, Modalities: Philosophical Essays, Oxford University Press, New York.
Mates, Benson: 1972, Elementary Logic, Oxford University Press, New York, second edition.
Marcus, Ruth Barcan, W. V. Quine, Saul A. Kripke, J. McCarthy and Dagfin Føllesdal: 1962, 'Modalities and Intensional Languages: Discussion', Synthese 14, 132–143. All page references are to the reprinting as 24–35 (Marcus 1993).
Orenstein, Alex: 1973, 'On Explicating Existence in Terms of Quantification', in Milton K. Munitz (ed.), Logic and Ontology, New York University Press, New York, 59–84.
Orenstein, Alex: 1984, 'Referential and Nonreferential Substitutional Quantifiers', Synthese 60, 145–57.
Orenstein, Alex: 1994–1995, 'How to Get Something from Nothing', Proceedings of the Aristotelian Society 95, 93–112.
Orenstein, Alex: 1999, 'Plato's Beard, Quine's Stubble, and Leśniewski's Razor', in Alex Orenstein and Petr Kotatko (eds), Knowledge, Language and Logic: Questions for Quine, number 210 in Boston Studies in the Philosophy of Science. Kluwer Academic Publishers, Dordrecht, The Netherlands.
Orenstein, Alex: forthcoming, 'Quality, Not Quantitity, Determines Existential Import', in François Beets and Eric Gillet (eds), Logique en perspective.Mélanges offerts au professeur Gochet, Éditions Ousia, Brussels.
Parsons, Charles: 1990, 'The Structuralist View of Mathematical Objects', Synthese 84, 303–46.
Presburger, M.: 1930, 'Ñber die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt', in Sprawozdanie z I Kongresu Matematyków Krajów Słowia´nskich, 92–101, 395, Warsaw. Transactions of the First Congress of Mathematicians of the Slavic Countries, Warsaw, 1929. English translation with commentary: D. Jacquette (translator). On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation. History and Philosophy of Logic 12, 225–33, 1991.
Quine, Willard Van Orman: 1948 'On What There Is', Review of Metaphysics 2, 21–38. All page references are to the reprinting with minor changes as 1–19 of (Quine 1961a).
Quine, Willard Van Orman: 1951, 'Symposium: OnWhat There Is, III', Proceedings of the Aristotelian Society, supplementary volume 25, 149–60. Joint Session of the Aristotelian Society and the Mind Association at the University of Edinburgh, 1951. Symposiasts: Peter Thomas Geach, Alfred Jules Ayer, Willard Van Orman Quine.
Quine, Willard Van Orman: 1960a, 'Variables Explained Away', Proceedings of the American Philosophical Society 104 343–7. All page references are to the reprinting as 227–235 of (Quine 1966).
Quine, Willard Van Orman: 1960b, Word and Object, MIT Press, Cambridge, MA.
Quine, Willard Van Orman: 1961a, From a Logical Point of View: Logico-Philosophical Essays, Harper Torchbooks, Harper & Row, New York, second, revised edition.
Quine, Willard Van Orman: 1961b, 'Logic and the Reification of Universals', in From a Logical Point of View: Logico-Philosophical Essays, Harvard University Press, Cambridge, MA, second, revised edition, 102–29.
Quine, Willard Van Orman: 1961c, 'Reference and Modality', in From a Logical Point of View: Logico-Philosophical Essays, Harper Torchbooks, Harper & Row, New York, second, revised edition, 139–57.
Quine, Willard Van Orman: 1961d, 'Reply to Professor Marcus', Synthese 13, 323–30. All page references are to the reprinting as 177–84 of (Quine 1976b).
Quine, Willard Van Orman: 1966, Selected Logic Papers, Random House, New York.
Quine, Willard Van Orman: 1969a, 'Existence and Quantification', in Ontological Relativity and Other Essays, number 1 in John Dewey Essays in Philosophy, Columbia University Press, New York, 91–113.
Quine, Willard Van Orman: 1969b, Ontological Relativity and Other Essays. Number 1 in John Dewey Essays in Philosophy. Columbia University Press, New York.
Quine, Willard Van Orman: 1970, Philosophy of Logic, Foundations of Philosophy Series. Prentice-Hall, Englewood Cliffs, NJ.
Quine, Willard Van Orman: 1972, Methods of Logic, Holt, Rinehart and Winston, Inc., New York, third edition. First edition, 1950, second edition 1959.
Quine, Willard Van Orman: 1973, Roots of Reference, Number 14 in Paul Carus Lectures. Open Court, La Salle, IL.
Quine, Willard Van Orman: 1976a, 'The Variable', in Ways of Paradox and Other Essays, Harvard University Press, Cambridge, MA, revised and enlarged edition, 272–82.
Quine, Willard Van Orman: 1976b, Ways of Paradox and Other Essays, Harvard University Press, Cambridge, MA, revised and enlarged edition.
Quine, Willard Van Orman: 1986, 'Reply to Charles Parsons', in Lewis Edward Hahn and Paul Arthur Schilpp (eds), The Philosophy of W.V.Quine, number 18 in Library of Living Philosophers, Open Court, La Salle, IL, 396–403.
Quine, Willard Van Orman: 1992, Pursuit of Truth, Harvard University Press, Cambridge, MA, revised edition. First edition, 1990.
Shoenfield, Joseph R.: 1967, Mathematical Logic, Addison-Wesley Series in Logic. Addison-Wesley Publishing Company, Reading, MA.
Strawson, Peter F.: 1955, 'A Logician's Landscape', Philosophy (The Journal of the Royal Institute of Philosophy), 30, 229–37.
Tarski, Alfred: 1930, Ñber einige fundamentale Begriffe der Mathematik, (On some fundamental concepts of metamathematics). Comptes Rendu des séances de la Société des Sciences et des Lettres de Varsovie, 23, 22–9. In German. All page references are to the English translation that appears as 30–7 of (Tarski 1983).
Tarski, Alfred: 1933, Poj 384-01 cie prawdy w j 384-02 zykach nauk dedukcyjnych (On the concept of truth in languages of deductive sciences). Number 34 in Prace Towarzystwa Naukowego Warszawskiego WydziałIII – Nauk Matematyczno-fizycznych. Nakł. Tow. Naukowego Warszawskiego, Warsaw. In Polish. All page references are to the revised translation published as “The concept of truth in formalized languages”, 152–278 of (Tarski 1983).
Tarski, Alfred: 1934, Z badań metodologicznych nad definiowalnoścą terminów (Some methodological investigations on the definability of concepts). Przegl¸ad Filozoficzny 37, 438–460. In Polish. All page references are to the English translation that appears as 296–319 of (Tarski 1983).
Tarski, Alfred: 1936, O pojciu wynikania logicznego, (On the concept of logical consequence). Przegl¸ad Filozoficzny 39, 58–68. In Polish. All page references are to the English translation that appears as 409–420 of (Tarski 1983).
Tarski, Alfred: 1983, Logic Semantics, Metamathematics, Hackett, IN, second edition. Translated by J. H. Woodger. Edited and introduced by John Corcoran.
Thomason, Richmond H.: 1970, Symbolic Logic: An Introduction, Macmillan, Toronto, Ontario, Canada.
van Fraasen, Bas C.: 1991, Quantum Mechanics: An Empiricist View, Clarendon Press, Oxford.
Wallace, John: 1970, 'On the Frame of Reference', Synthese 22, 117–50.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lavine, S. Quantification and Ontology. Synthese 124, 1–43 (2000). https://doi.org/10.1023/A:1005257423415
Issue Date:
DOI: https://doi.org/10.1023/A:1005257423415