Single Idea 13631

[catalogued under 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 Reference

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.