Combining Texts

All the ideas for 'Principles of Theoretical Logic', 'Anselm and Actuality' and 'Toward a Philosophy of History'

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

---

4 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 / D. Modal Logic ML / 4. Alethic Modal Logic

16456

For modality Lewis rejected boxes and diamonds, preferring worlds, and an index for the actual one [Lewis, by Stalnaker]

7. Existence / A. Nature of Existence / 3. Being / h. Dasein (being human)

20752

For man, being is not what he is, but what he is going to be [Ortega y Gassett]

22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature

20756

Instead of having a nature, man only has a history [Ortega y Gassett]