Combining Texts

All the ideas for 'Through the Looking Glass', 'Teplitz Fragments' and 'New Foundations for Mathematical Logic'

expand these ideas     |    start again     |     specify just one area for these texts


3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
Empiricists are passive thinkers, given their philosophy by the external world and fate [Novalis]