3 ideas
| 9355 | One sort of circularity presupposes a premise, the other presupposes a rule being used [Braithwaite, by Devitt] |
| Full Idea: An argument is 'premise-circular' if it aims to establish a conclusion that is assumed as a premise of that very argument. An argument is 'rule-circular' if it aims to establish a conclusion that asserts the goodness of the rule used in that argument. | |
| From: report of R.B. Braithwaite (Scientific Explanation [1953], p.274-8) by Michael Devitt - There is no a Priori §2 | |
| A reaction: Rule circularity is the sort of thing Quine is always objecting to, but such circularities may be unavoidable, and even totally benign. All the good things in life form a mutually supporting team. |
| 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. |