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. |
18192 | Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy] |
Full Idea: For Boolos, the Replacement Axioms go beyond the iterative conception. | |
From: report of George Boolos (The iterative conception of Set [1971]) by Penelope Maddy - Naturalism in Mathematics I.3 |
18244 | I say the irrational is not the cut itself, but a new creation which corresponds to the cut [Dedekind] |
Full Idea: Of my theory of irrationals you say that the irrational number is nothing else than the cut itself, whereas I prefer to create something new (different from the cut), which corresponds to the cut. We have the right to claim such a creative power. | |
From: Richard Dedekind (Letter to Weber [1888], 1888 Jan), quoted by Stewart Shapiro - Philosophy of Mathematics 5.4 | |
A reaction: Clearly a cut will not locate a unique irrational number, so something more needs to be done. Shapiro remarks here that for Dedekind numbers are objects. |