Combining Texts

All the ideas for 'What is so bad about Contradictions?', 'New Foundations for Mathematical Logic' and 'The Logic of Infinity'

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

3 ideas

2. Reason / B. Laws of Thought / 3. Non-Contradiction
9123 Someone standing in a doorway seems to be both in and not-in the room [Priest,G, by Sorensen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9879 NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
18203 Avoid non-predicative classifications and definitions [Poincaré]