Combining Texts

All the ideas for 'Leibniz', 'Abstract Objects:intro to Axiomatic Metaphysics' and 'On the Foundations of Logic and Arithmetic'

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

5 ideas

6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
17697 The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
17698 Logic already contains some arithmetic, so the two must be developed together [Hilbert]
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
10414 Abstract objects are constituted by encoded collections of properties [Zalta, by Swoyer]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
10415 Properties make round squares and round triangles distinct, unlike exemplification [Zalta, by Swoyer]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
7566 The Identity of Indiscernibles is really the same as the verification principle [Jolley]