3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
Full Idea: Kripke proposes that the substitutional quantifier is not a replacement for, or in competition with, the standard interpretation. | |
From: report of Saul A. Kripke (A Problem about Substitutional Quantification? [1976]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.165 |
10245 | One geometry cannot be more true than another [Poincaré] |
Full Idea: One geometry cannot be more true than another; it can only be more convenient. | |
From: Henri Poincaré (Science and Method [1908], p.65), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: This is the culminating view after new geometries were developed by tinkering with Euclid's parallels postulate. |
10246 | The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl] |
Full Idea: A science can determine its domain of investigation up to an isomorphic mapping. It remains quite indifferent as to the 'essence' of its objects. The idea of isomorphism demarcates the self-evident boundary of cognition. | |
From: Hermann Weyl (Phil of Mathematics and Natural Science [1949], 25-7), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: Shapiro quotes this in support of his structuralism, but it is a striking expression of the idea that if there are such things as essences, they are beyond science. I take Weyl to be wrong. Best explanation reaches out beyond models to essences. |