6 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. |
17611 | We want the essence of continuity, by showing its origin in arithmetic [Dedekind] |
Full Idea: It then only remained to discover its true origin in the elements of arithmetic and thus at the same time to secure a real definition of the essence of continuity. | |
From: Richard Dedekind (Continuity and Irrational Numbers [1872], Intro) | |
A reaction: [He seeks the origin of the theorem that differential calculus deals with continuous magnitude, and he wants an arithmetical rather than geometrical demonstration; the result is his famous 'cut']. |
10572 | A cut between rational numbers creates and defines an irrational number [Dedekind] |
Full Idea: Whenever we have to do a cut produced by no rational number, we create a new, an irrational number, which we regard as completely defined by this cut. | |
From: Richard Dedekind (Continuity and Irrational Numbers [1872], §4) | |
A reaction: Fine quotes this to show that the Dedekind Cut creates the irrational numbers, rather than hitting them. A consequence is that the irrational numbers depend on the rational numbers, and so can never be identical with any of them. See Idea 10573. |
17612 | Arithmetic is just the consequence of counting, which is the successor operation [Dedekind] |
Full Idea: I regard the whole of arithmetic as a necessary, or at least natural, consequence of the simplest arithmetic act, that of counting, and counting itself is nothing else than the successive creation of the infinite series of positive integers. | |
From: Richard Dedekind (Continuity and Irrational Numbers [1872], §1) | |
A reaction: Thus counting roots arithmetic in the world, the successor operation is the essence of counting, and the Dedekind-Peano axioms are built around successors, and give the essence of arithmetic. Unfashionable now, but I love it. Intransitive counting? |
18087 | If x changes by less and less, it must approach a limit [Dedekind] |
Full Idea: If in the variation of a magnitude x we can for every positive magnitude δ assign a corresponding position from and after which x changes by less than δ then x approaches a limiting value. | |
From: Richard Dedekind (Continuity and Irrational Numbers [1872], p.27), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 10.7 | |
A reaction: [Kitcher says he 'showed' this, rather than just stating it] |
12723 | The most primitive thing in substances is force, which leads to their actions and dispositions [Leibniz] |
Full Idea: Since everything that one conceives in substances reduces to their actions and passions and to the dispositions that they have for this effect, I don't see how one can find there anything more primitive than the principle of all of this, which is force. | |
From: Gottfried Leibniz (Letters to Jacques Lenfant [1693], 1693.11.25), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 4 | |
A reaction: This is an attempt to connect Aristotelian essentialism with the notion of force in the new physics, and strikes me as an improvement on the original, and as good a basis for metaphysics as any I have heard of. |