Combining Texts

All the ideas for 'Philosophy of Mathematics', 'Forget the 'correspondence theory of truth'' and 'Abstract Objects:intro to Axiomatic Metaphysics'

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

9 ideas

2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
3. Truth / A. Truth Problems / 5. Truth Bearers
10845 To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
10847 Truthmakers are about existential grounding, not about truth [Lewis]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
10846 Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10884 A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10885 Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10881 The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
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]