Frege's Double-Correlation Thesis and Quine's Set Theories NF and ML

Loading...
Thumbnail Image
If you need an accessible version of this item, please email your request to iusw@iu.edu so that they may create one and provide it to you.

Date

1985-02

Journal Title

Journal ISSN

Volume Title

Publisher

Journal of Philosophical Logic

Abstract

There are two fundamentally different notions of a class, which, following tradition, we might call the mathematical and the logical notions, respectively. The logical notion is essentially the notion of a class as the extension of a concept, and, following Frege, we will assume that a class in this sense "simply has its being in the concept, not in the objects which belong to it" ([8], p. 183) - regardless of whether or not concepts themselves differ, as Frege assumed, "only so far as their extensions are different" (ibid., p. 118). The mathematical notion of a class, on the other hand, is essentially the notion of a class as composed of its members, i.e., of a class that has its being in the objects that belong to it. This notion of a class, we claim, is none other than the iterative concept of set - or at least that is what it comes to upon analysis. Note that although what accounts for the being of a class under the one notion is not the same as what accounts for the being of a class under the other, nevertheless the axiom of extensionality applies equally to both notions. This means that the axiom of extensionality does not of itself account for the being of a class.

Description

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

Keywords

Double Correlation, Correlation Thesis

Citation

Cocchiarella, N. "Frege's Double-Correlation Thesis and Quine's Set Theories NF and ML," Journal of Philosophical Logic, vol. 14, no. 1 (1985): 1-39.

Link(s) to data and video for this item

Relation

Rights

Type

Article