Conceptual Realism Versus Quine on Classes and Higher-Order Logic
Loading...
Can’t use the file because of accessibility barriers? Contact us with the title of the item, permanent link, and specifics of your accommodation need.
Date
1992-03
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Synthese
Permanent Link
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.
Description
This is a post-peer-review, pre-copyedit version of an article published in Synthese. The final authenticated version is available online at: https://doi.org/10.1007/BF00500034
Keywords
Implicit Assumption, Type Theory, Singular Term, Cognitive Structure, Predicate Logic
Citation
Cocchiarella, N. "Conceptual Realism Versus Quine on Classes and Higher-Order Logic," Synthese, vol. 90 issue 3 (1992): 379-436.
Journal
Link(s) to data and video for this item
Relation
Rights
Type
Article