display all the ideas for this combination of texts
3 ideas
11951 | Hume allows interpolation, even though it and extrapolation are not actually valid [Molnar] |
Full Idea: In his 'shade of blue' example, Hume is (sensibly) endorsing a type of reasoning - interpolation - that is widely used by rational thinkers. Too bad that interpolation and extrapolation are incurably invalid. | |
From: George Molnar (Powers [1998], 7.2.3) | |
A reaction: Interpolation and extrapolation are two aspects of inductive reasoning which contribute to our notion of best explanation. Empiricism has to allow at least some knowledge which goes beyond strict direct experience. |
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. |