Single Idea 10775

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

Full Idea

The main objection to the axiom of choice was that it had to be given by some law or definition, but since sets are arbitrary this seems irrelevant. Formalists consider it meaningless, but set-theorists consider it as true, and practically obvious.

Gist of Idea

The axiom of choice now seems acceptable and obvious (if it is meaningful)

Source

Leslie H. Tharp (Which Logic is the Right Logic? [1975], §3)

Book Reference

'Philosophy of Logic: an anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.40