Combining Texts

All the ideas for 'works (fragments)', 'New Foundations for Mathematical Logic' and 'What is so bad about Contradictions?'

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

---

5 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 / L. Paradox / 1. Paradox

6007	If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R]

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox

6006	If you say truly that you are lying, you are lying [Eubulides, by Dancy,R]

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')

6008	Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R]