Combining Texts

Ideas for 'fragments/reports', 'Review of Tait 'Provenance of Pure Reason'' and 'Definitions'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

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

13418

The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C]

4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets

11222

The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta]