Combining Texts

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

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


11 ideas

2. Reason / D. Definition / 2. Aims of Definition
A simplification which is complete constitutes a definition [Kant]
2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
Logic gives us the necessary rules which show us how we ought to think [Kant]
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 / 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]
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]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
If we knew what we know, we would be astonished [Kant]
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]