Combining Texts

All the ideas for 'The Justification of Deduction', 'On Body and Force, Against the Cartesians' and 'The Origin of Forms and Qualities'

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


26 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy aims to understand the world, through ordinary experience and science [Dummett]
2. Reason / D. Definition / 4. Real Definition
Essential definitions show the differences that discriminate things, and make them what they are [Boyle]
2. Reason / E. Argument / 6. Conclusive Proof
A successful proof requires recognition of truth at every step [Dummett]
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett]
In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett]
Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett]
5. Theory of Logic / K. Features of Logics / 4. Completeness
Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett]
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
Boyle attacked a contemporary belief that powers were occult things [Boyle, by Alexander,P]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
In the 17th century, 'disposition' usually just means the spatial arrangement of parts [Boyle, by Pasnau]
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
Form is not a separate substance, but just the manner, modification or 'stamp' of matter [Boyle]
To cite a substantial form tells us what produced the effect, but not how it did it [Boyle]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
Boyle's term 'texture' is not something you feel, but is unobservable structures of particles [Boyle, by Alexander,P]
Boyle's secondary qualities are not illusory, or 'in the mind' [Boyle, by Alexander,P]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
An explanation is often a deduction, but that may well beg the question [Dummett]
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]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Explanation is deducing a phenomenon from some nature better known to us [Boyle]
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]
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
The corpuscles just have shape, size and motion, which explains things without 'sympathies' or 'forces' [Boyle, by Alexander,P]
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / b. Corpuscles
The corpuscular theory allows motion, but does not include forces between the particles [Boyle, by Alexander,P]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
God's laws would be meaningless without internal powers for following them [Leibniz]
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]