Combining Texts

Ideas for 'works', 'The Ways of Paradox' and 'Principles of Theoretical Logic'

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

display all the ideas for this combination of texts

---

3 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets

21695

The set scheme discredited by paradoxes is actually the most natural one [Quine]

4. Formal Logic / F. Set Theory ST / 7. Natural Sets

21693

Russell's antinomy challenged the idea that any condition can produce a set [Quine]