Combining Texts

All the ideas for 'Building Blocks of Mathematical Logic', 'The Mirage of Social Justice' and 'Intro to 2nd ed of Principia Mathematica'

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

---

3 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699

Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]

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]

25. Social Practice / D. Justice / 1. Basis of justice

20543

'Social justice' is a confused idea, and inequalities need no justification [Hayek, by Swift]