Combining Texts

Ideas for 'Parmenides', 'De ente praedicamentali' and 'Remarks on axiomatised set theory'

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

display all the ideas for this combination of texts


3 ideas

5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem]
5. Theory of Logic / L. Paradox / 3. Antinomies
Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle]
Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato]