Combining Texts

All the ideas for 'What is so bad about Contradictions?', 'New Foundations for Mathematical Logic' and 'On the Frame of Reference'

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]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
10009 Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin]