Combining Philosophers

All the ideas for Lynch,MP/Glasgow,JM, Hilbert,D/Ackermann,W and Mary Louise Gill

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

8 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]
9. Objects / C. Structure of Objects / 3. Matter of an Object
16083 Aristotelian matter seriously threatens the intrinsic unity and substantiality of its object [Gill,ML]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / b. Prime matter
17006 Prime matter has no place in Aristotle's theories, and passages claiming it are misread [Gill,ML]
16093 Prime matter is actually nothing and potentially everything (or potentially an element) [Gill,ML]