Combining Philosophers

All the ideas for Lynch,MP/Glasgow,JM, W Quine / J Ullian and Hilbert,D/Ackermann,W

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

---

6 ideas

1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis

8460	Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian]

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]