Combining Philosophers

All the ideas for Anaxarchus, Hilbert,D/Ackermann,W and Lynch,MP/Glasgow,JM

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

6 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]
7. Existence / C. Structure of Existence / 3. Levels of Reality
16062 A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
16061 If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow]
7. Existence / D. Theories of Reality / 6. Physicalism
16060 Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow]
16064 The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
3061 Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius]