Combining Philosophers

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

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

7 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]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
19696 There are reasons 'for which' a belief is held, reasons 'why' it is believed, and reasons 'to' believe it [Neta]
19697 The basing relation of a reason to a belief should both support and explain the belief [Neta]