Combining Philosophers

All the ideas for Speussipus, Sphaerus and Hilbert,D/Ackermann,W

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

---

4 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 / B. Unity of Objects / 2. Substance / c. Types of substance

594	Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle]

13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure

20769

Sphaerus he was not assenting to the presence of pomegranates, but that it was 'reasonable' [Sphaerus, by Diog. Laertius]

28. God / C. Attitudes to God / 5. Atheism

2632	Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero]