26 ideas
19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
15957 | Essential definitions show the differences that discriminate things, and make them what they are [Boyle] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |
19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
15965 | Boyle attacked a contemporary belief that powers were occult things [Boyle, by Alexander,P] |
16735 | In the 17th century, 'disposition' usually just means the spatial arrangement of parts [Boyle, by Pasnau] |
16034 | Form is not a separate substance, but just the manner, modification or 'stamp' of matter [Boyle] |
15953 | To cite a substantial form tells us what produced the effect, but not how it did it [Boyle] |
15962 | Boyle's term 'texture' is not something you feel, but is unobservable structures of particles [Boyle, by Alexander,P] |
15964 | Boyle's secondary qualities are not illusory, or 'in the mind' [Boyle, by Alexander,P] |
19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
13195 | To explain a house we must describe its use, as well as its parts [Leibniz] |
15960 | Explanation is deducing a phenomenon from some nature better known to us [Boyle] |
13193 | Active force is not just potential for action, since it involves a real effort or striving [Leibniz] |
19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
15952 | The corpuscles just have shape, size and motion, which explains things without 'sympathies' or 'forces' [Boyle, by Alexander,P] |
15972 | The corpuscular theory allows motion, but does not include forces between the particles [Boyle, by Alexander,P] |
13194 | God's laws would be meaningless without internal powers for following them [Leibniz] |
13196 | All qualities of bodies reduce to forces [Leibniz] |
13192 | Power is passive force, which is mass, and active force, which is entelechy or form [Leibniz] |