Combining Texts

Ideas for 'Metaphysics', 'Axiomatic Theories of Truth' and 'Philosophia Epicurea'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

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

13738

It is a simple truth that the objects of mathematics have being, of some sort [Aristotle]

6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism

12339

Aristotle removes ontology from mathematics, and replaces the true with the beautiful [Aristotle, by Badiou]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory

16308

Set theory was liberated early from types, and recent truth-theories are exploring type-free [Halbach]