Conceptualism, Ramified Logic, and Nominalized Predicates

Conceptualism differs from intuitionism in being a theory about the construction of concepts and not about the construction of proofs. Constructive conceptualism is similar to nominalism in excluding an impredicative comprehension principle, but differs from nominalism in the kind of ramified predicative logic each validates. Ramified constructive conceptualism leads in a natural way to holistic conceptualism, and, unlike nominalism, both can extended to a type of realism in which some nominalized predicates denote abstract objects. Intermediate positions of conceptual realism are distinguished regarding which concepts can be projected to have abstract objects corresponding to their nominalizations.

Description

This is a post-peer-review, pre-copyedit version of an article published in Topoi. The final authenticated version is available online at: https://doi.org/10.1007/BF00137832.

Keywords

Singular Term, Order Logic, Predicate Variable, Constructive Conceptualism, Holistic Conceptualism

Citation

Cocchiarella, N. "Conceptualism, Ramified Logic, and Nominalized Predicates," Topoi, vol. 5, no. 1 (March 1986): 75-87.

DOI

https://doi.org/10.1007/BF00137832

Rights

This work may be protected by copyright unless otherwise stated.

Type

Article

Collections

Nino Cocchiarella Collection

Full item page

Conceptualism, Ramified Logic, and Nominalized Predicates

Files

Other Version

External File or Record

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Permanent Link

Abstract

Series and Number:

EducationalLevel:

Is Based On:

Target Name:

Teaches:

Table of Contents