Combining Texts

All the ideas for 'works', 'Intro to 2nd ed of Principia Mathematica' and 'works'

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

---

3 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

10800

The values of variables can't determine existence, because they are just expressions [Ryle, by Quine]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms

21681

Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell]