more from this thinker     |     more from this text


Single Idea 13631

[filed under theme 4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing ]

Full Idea

Is there a notion of set in the jurisdiction of logic, or does it belong to mathematics proper?

Gist of Idea

Are sets part of logic, or part of mathematics?

Source

Stewart Shapiro (Foundations without Foundationalism [1991], Pref)

Book Ref

Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.-9


A Reaction

It immediately strikes me that they might be neither. I don't see that relations between well-defined groups of things must involve number, and I don't see that mapping the relations must intrinsically involve logical consequence or inference.


The 8 ideas with the same theme [commitment to sets as really existint entities]:

Classes are a host of ethereal, platonic, pseudo entities [Goodman]
The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos]
If singletons are where their members are, then so are all sets [Lewis]
A huge part of Reality is only accepted as existing if you have accepted set theory [Lewis]
Set theory isn't innocent; it generates infinities from a single thing; but mathematics needs it [Lewis]
Are sets part of logic, or part of mathematics? [Shapiro]
The set theorist cannot tell us what 'membership' is [Chihara]
ZFC can prove that there is no set corresponding to the concept 'set' [George/Velleman]