Combining Texts

All the ideas for 'Philosophy of Mathematics', 'A World of Dispositions' and 'On Body and Force, Against the Cartesians'

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


13 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 / 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]
14. Science / D. Explanation / 2. Types of Explanation / h. Explanations by function
To explain a house we must describe its use, as well as its parts [Leibniz]
15. Nature of Minds / C. Capacities of Minds / 10. Conatus/Striving
Active force is not just potential for action, since it involves a real effort or striving [Leibniz]
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
Kinds are arrangements of dispositions [Fetzer]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
God's laws would be meaningless without internal powers for following them [Leibniz]
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]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
All qualities of bodies reduce to forces [Leibniz]
Power is passive force, which is mass, and active force, which is entelechy or form [Leibniz]