Combining Philosophers

All the ideas for Michael Stanford, Hilbert,D/Ackermann,W and E Nagel / JR Newman

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

---

5 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]

14. Science / D. Explanation / 1. Explanation / b. Aims of explanation

12314

Audience-relative explanation, or metaphysical explanation based on information? [Stanford]

12313

Explanation is for curiosity, control, understanding, to make meaningful, or to give authority [Stanford]

14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction

12315

We can explain by showing constitution, as well as showing causes [Stanford]

18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality

9591	The human intellect has not been, and cannot be, fully formalized [Nagel/Newman]