Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'fragments/reports' and 'Mathematical logic and theory of types'

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

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
If everything is and isn't then everything is true, and a midway between true and false makes everything false [Aristotle on Heraclitus]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling]