Combining Texts

All the ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Principles of Theoretical Logic' and 'Justice as fairness: Political not Metaphysical'

expand these ideas     |    start again     |     specify just one area for these 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]

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

10792

The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]

23. Ethics / E. Utilitarianism / 4. Unfairness

22406

The maximisation of happiness must be done fairly [Rawls, by Smart]