Abstract
The problematic features of Quine's ‘set’ theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their nominalizations denote as singular terms. We argue against Quine's view that predicate quantifiers can be given a referential interpretation only if the entities predicates stand for on such an interpretation are the same as the classes (assuming extensionality) that nominalized predicates denote as singular terms. Quine's alternative of giving predicate quantifiers only a substitutional interpretation is compared with a constructive version of conceptual realism, which with a logic of nominalized predicates is compared with Quine's description of conceptualism as a ramified theory of classes. We argue against Quine's implicit assumption that conceptualism cannot account for impredicative concept-formation and compare holistic conceptual realism with Quine's class Platonism.
Similar content being viewed by others
References
Bochenski, I. M.: 1961, A History of Formal Logic, University of Notre Dame Press, Notre Dame.
Bochencki, I. M., A. Church, and N. Goodman: 1956, The Problem of Universals, University of Notre Dame Press, Notre Dame.
Church, A.: 1956, Introduction to Mathematical Logic, Princeton University Press, Princeton.
Cocchiarella, N. B.: 1973, ‘Whither Russell's Paradox of Predication?’, in Munitz, 1973, pp. 133–58.
Cocchiarella, N. B.: 1976, ‘A Note on the Definition of Identity in Quine's NF’, Zeitschr. f. Math. Logik u. Grundlagen d. Math. 22, 195–97.
Cocchiarella, N. B.: 1980, ‘Nominalism and Conceptualism as Predicative Second-Order Theories of Predication’, Notre Dame Journal of Formal Logic 21, 481–500.
Cocchiarella, N. B.: 1980, ‘The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy’, Synthese 45, 71–115 [reprinted in Cocchiarella 1987].
Cocchiarella, N. B.: 1985a, ‘Two λ-Extensions of the Theory of Homogeneous Simple Types’, Notre Dame Journal of Formal Logic 26, 377–407.
Cocchiarella, N. B.: 1985b, ‘Frege's Double-Correlation Thesis and Quine's Set Theories NF and ML’, Journal of Philosophical Logic 14, 1–39 [reprinted in Cocchiarella 1987].
Cocchiarella, N. B.: 1986a, Logical Investigations of Predication Theory and the Problem of Universals, Bibliopolis Press, Naples.
Cocchiarella, N. B.: 1986b, ‘Conceptualism, Ramified Logic, and Nominalized Predicates’, Topoi 5, 75–87.
Cocchiarella, N. B.: 1986c, ‘Frege, Russell, and Logicism: A Logical Reconstruction’, in Haaparanta and Hintikka 1986 [reprinted in Cocchiarella 1987].
Cocchiarella, N. B.: 1987, Logical Studies in Early Analytic Philosophy, Ohio State University Press, Columbus.
Cocchiarella, N. B.: 1989, ‘Conceptualism, Realism, and Nominalized Predicates’, Topoi 8, 15–34.
Fränkel, A., Y. Bar-Hillel, and A. Levy: 1973, Foundations of Set Theory, North-Holland Pub. Co., Amsterdam.
Frege, G.: 1910, ‘Letter to Jourdain’, in Bochenski 1961.
Frege, G.: 1952, Translations from the Philosophical Writings of Gottlob Frege, ed. by P. Geach and M. Black, Blackwell, Oxford.
Frege, G.: 1979, Posthumous Writings, ed. by H. Hermes, F. Kambartel and F. Kaulbach, Blackwell, Oxford.
Frege, G.: 1980, Philosophical and Mathematical Correspondence, ed. by G. Gottfried, H. Hermes, F. Kambartel, C. Thiel and A. Veraart, University of Chicago Press, Chicago.
Goodman, N.: 1956, ‘A World of Individuals’, in Bochenski et al. 1956.
Haaparanta, L. and J. Hintikka (eds.): 1986, Frege Synthesized, D. Reidel, Dordrecht.
Hahn, L. E. and P. A. Schilpp: 1986, The Philosophy of W. V. Quine, Open Court, La Salle.
Inhelder, B. and J. Piaget: 1958, The Growth of Logical Thinking From Childhood to Adolescence, Basic Books, New York.
Munitz, M. K.: 1973, Logic and Ontology, New York University Press, New York.
Parsons, C.: 1971, ‘A Plea for Substitutional Quantification’, The Journal of Philosophy 68, 231–37.
Piaget, J.: 1970, Genetic Epistemology, Columbia University Press, New York.
Piaget, J.: 1977, The Development of Thought, Viking Press, New York.
Poincaré, H.: 1906, ‘Les Mathematiques et la Logique’, Revue de Metaphysique et de Moral 14, 294–317.
Popper, K. and J. Eccles: 1977, The Self and Its Brain, Routledge & Kegan Paul, London.
Quine, W. V.: 1947, ‘On Universals’, Journal of Symbolic Logic 12, 74–84.
Quine, W. V.: 1951, ‘Semantics and Abstract Objects’, Proc. of the American Academy of Arts and Sciences 80, 90–96.
Quine, W. V.: 1953, From A Logical Point of View, Harvard University Press, Cambridge MA.
Quine, W. V.: 1963, Set Theory and Its Logic, Harvard University Press, Cambridge MA.
Quine, W. V.: 1966, The Ways of Paradox, Random House, New York.
Quine, W. V.: 1970, Philosophy of Logic, Prentice-Hall, Englewood Cliffs.
Quine, W. V.: 1974, The Roots of Reference, Open Court, La Salle.
Quine, W. V.: 1981, Theories and Things, Harvard University Press, Cambridge MA.
Rosser, J. B.: 1952, ‘The Axiom of Infinity in Quine's New Foundations’, Journal of Symbolic Logic 17, 238–42.
Russell, B.: 1937, Principles of Mathematics, 2d edn., W. W. Norton & Co., New York.
Specker, E.: 1953, ‘The Axiom of Choice in Quine's New Foundations for Mathematical Logic’, Proc. of the Nat. Academy of Sciences 39, 972–75.
Weyl, H.: 1918, Das Kontinuum, De Gruyter, Leipzig.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cocchiarella, N.B. Conceptual realism versus Quine on classes and higher-order logic. Synthese 90, 379–436 (1992). https://doi.org/10.1007/BF00500034
Issue Date:
DOI: https://doi.org/10.1007/BF00500034