Combining Philosophers

All the ideas for Agathon, Hilbert,D/Ackermann,W and Peter Unger

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 / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic

9052	Vague predicates lack application; there are no borderline cases; vague F is not F [Unger, by Keefe/Smith]

9. Objects / A. Existence of Objects / 5. Simples

16070

There are no objects with proper parts; there are only mereological simples [Unger, by Wasserman]

10. Modality / C. Sources of Modality / 2. Necessity as Primitive

74	Even God could not undo what has been done [Agathon]

13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / b. Invariantism

8724	The meaning of 'know' does not change from courtroom to living room [Unger]

13. Knowledge Criteria / D. Scepticism / 1. Scepticism

8722	No one knows anything, and no one is ever justified or reasonable [Unger]

13. Knowledge Criteria / D. Scepticism / 4. Demon Scepticism

8723	An evil scientist may give you a momentary life, with totally false memories [Unger]