Combining Philosophers

All the ideas for Hilbert,D/Ackermann,W, David Marshall and Alan McMichael

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]
9. Objects / D. Essence of Objects / 3. Individual Essences
14637 Only individuals have essences, so numbers (as a higher type based on classes) lack them [McMichael]
9. Objects / D. Essence of Objects / 9. Essence and Properties
14636 Essences are the interesting necessary properties resulting from a thing's own peculiar nature [McMichael]
14640 Maybe essential properties have to be intrinsic, as well as necessary? [McMichael]
9. Objects / D. Essence of Objects / 15. Against Essentialism
14638 Essentialism is false, because it implies the existence of necessary singular propositions [McMichael]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
6668 If the present does not exist, then consciousness must be memory of the immediate past [Marshall]
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
14639 Individuals enter into laws only through their general qualities and relations [McMichael]