Single Idea 10676

[catalogued under 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX]

Full Idea

The Axiom of Choice seems better treated as a non-logical principle of set-theory.

Gist of Idea

The Axiom of Choice is a non-logical principle of set-theory

Source

Keith Hossack (Plurals and Complexes [2000], 4 n8)

Book Reference

-: 'British Soc for the Philosophy of Science' [-], p.421


A Reaction

This reinforces the idea that set theory is not part of logic (and so pure logicism had better not depend on set theory).