6 ideas
| 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] |
| 9382 | Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge] |
| Full Idea: I call 'entitlement' (as opposed to justification) the epistemic rights or warrants that need not be understood by or even be accessible to the subject. | |
| From: Tyler Burge (Content Preservation [1993]), quoted by Paul Boghossian - Analyticity Reconsidered §III | |
| A reaction: I espouse a coherentism that has both internal and external components, and is mediated socially. In Burge's sense, animals will sometimes have 'entitlement'. I prefer, though, not to call this 'knowledge'. 'Entitled true belief' is good. |
| 23549 | We treat testimony with a natural trade off of belief and caution [Reid, by Fricker,M] |
| Full Idea: Reid says we naturally operate counterpart principles of veracity and credulity in our testimonial exchanges. | |
| From: report of Thomas Reid (An Enquiry [1764], 6.24) by Miranda Fricker - Epistemic Injustice 1.3 n11 | |
| A reaction: What you would expect from someone who believed in common sense. Fricker contrasts this with Tyler Burge's greater confidence, and then criticises both (with Reid too cautious and Burge over-confident). She defends a 'low-level' critical awareness. |