5 ideas
| 22304 | Truth is conceivability, or the systematic coherence of a significant whole [Joachim] |
| Full Idea: Truth is in its essence conceivability or systematic coherence. ...[p.78] It is the systematic coherence which characterises a significant whole. | |
| From: Harold Joachim (The Nature of Truth [1906], p.68), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 35 'coh' | |
| A reaction: We obviously need to know when a whole becomes 'significant'. Potter says mystical idealists liked this because it contributed to their teleological view of the whole of reality. Presumably its roots are in Hegel. |
| 13230 | Particular essence is often captured by generality [Steiner,M] |
| Full Idea: Generality is often necessary for capturing the essence of a particular. | |
| From: Mark Steiner (Mathematical Explanation [1978], p.36) | |
| A reaction: The most powerful features of an entity are probably those which are universal, like intelligence or physical strength in a human. Those characteristics are powerful because they compete with the same characteristic in others (perhaps?). |
| 13229 | Maybe an instance of a generalisation is more explanatory than the particular case [Steiner,M] |
| Full Idea: Maybe to deduce a theorem as an instance of a generalization is more explanatory than to deduce it correctly. | |
| From: Mark Steiner (Mathematical Explanation [1978], p.32) | |
| A reaction: Steiner eventually comes down against this proposal, on the grounds that some proofs are too general, and hence too far away from the thing they are meant to explain. |
| 13231 | Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M] |
| Full Idea: My proposal is that an explanatory proof makes reference to the 'characterizing property' of an entity or structure mentioned in the theorem, where the proof depends on the property. If we substitute a different object, the theory collapses. | |
| From: Mark Steiner (Mathematical Explanation [1978], p.34) | |
| A reaction: He prefers 'characterizing property' to 'essence', because he is not talking about necessary properties, since all properties are necessary in mathematics. He is, in fact, reverting to the older notion of an essence, as the core power of the thing. |
| 12709 | Motion is not absolute, but consists in relation [Leibniz] |
| Full Idea: In reality motion is not something absolute, but consists in relation. | |
| From: Gottfried Leibniz (On Motion [1677], A6.4.1968), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3 | |
| A reaction: It is often thought that motion being relative was invented by Einstein, but Leibniz wholeheartedly embraced 'Galilean relativity', and refused to even consider any absolute concept of motion. Acceleration is a bit trickier than velocity. |