Combining Texts

All the ideas for 'Leibniz: Guide for the Perplexed', 'Spheres of Justice' and 'Completeness of Axioms of Logic'

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

---

5 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC

17751

Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]

9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined

19347

Substance needs independence, unity, and stability (for individuation); also it is a subject, for predicates [Perkins]

24. Political Theory / A. Basis of a State / 4. Original Position / b. Veil of ignorance

20595

You can't distribute goods from behind a veil, because their social meaning is unclear [Walzer, by Tuckness/Wolf]

25. Social Practice / B. Equalities / 2. Political equality

20592

Complex equality restricts equalities from spilling over, like money influencing politics and law [Walzer, by Tuckness/Wolf]

25. Social Practice / B. Equalities / 4. Economic equality

20549

Equality is complex, with different spheres of equality where different principles apply [Walzer, by Swift]