Combining Philosophers

All the ideas for Archimedes, Alonzo Church and Nicole Oresme

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

---

4 ideas

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

8. Modes of Existence / B. Properties / 9. Qualities

16705

Whiteness isn't created in an alteration, because it is just this-being-white [Oresme]

9. Objects / E. Objects over Time / 6. Successive Things

16695

Successive entities are in flux, flowing in existence, with different parts at different times [Oresme]