Combining Texts

All the ideas for 'Philosophy of Mathematics', 'A World of Dispositions' and 'works'

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


12 ideas

2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
The grounding of mathematics is 'in the beginning was the sign' [Hilbert]
Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman]
6. Mathematics / C. Sources of Mathematics / 8. Finitism
Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / e. Dispositions as potential
All structures are dispositional, objects are dispositions sets, and events manifest dispositions [Fetzer]
9. Objects / C. Structure of Objects / 1. Structure of an Object
All events and objects are dispositional, and hence all structural properties are dispositional [Fetzer]
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
Kinds are arrangements of dispositions [Fetzer]
26. Natural Theory / D. Laws of Nature / 3. Laws and Generalities
Lawlike sentences are general attributions of disposition to all members of some class [Fetzer]