Combining Philosophers

All the ideas for Proclus, Peter Forrest and Paul Bernays

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

---

7 ideas

3. Truth / B. Truthmakers / 3. Truthmaker Maximalism

17962

The truth-maker principle is that every truth has a sufficient truth-maker [Forrest]

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory

10304

Very few things in set theory remain valid in intuitionist mathematics [Bernays]

6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism

10303

Restricted Platonism is just an ideal projection of a domain of thought [Bernays]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique

10306

Mathematical abstraction just goes in a different direction from logic [Bernays]

10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds

15432

Structural universals might serve as possible worlds [Forrest, by Lewis]

14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations

13165

Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus]

18. Thought / E. Abstraction / 1. Abstract Thought

9569	The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus]