12 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] |
| 19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
| Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist. | |
| From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91) | |
| A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system? |
| 19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
| Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess. | |
| From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
| A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up. |
| 14919 | Empiricists deny what is unobservable, and reject objective modality [Fraassen] |
| Full Idea: To be an empiricist is to withhold belief in anything that goes beyond the actual, observable phenomena, and to recognise no objective modality in nature. | |
| From: Bas C. van Fraassen (The Scientific Image [1980], p.202), quoted by J Ladyman / D Ross - Every Thing Must Go 2.3.1 | |
| A reaction: To only believe in what is actually observable strikes me as ridiculous. It might be, though, that we observe modality, in observing dispositions. If you pull back a bowstring, you feel the possibilities. |
| 19402 | The actual universe is the richest composite of what is possible [Leibniz] |
| Full Idea: The actual universe is the collection of the possibles which forms the richest composite. | |
| From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
| A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers. |
| 6783 | To 'accept' a theory is not to believe it, but to believe it empirically adequate [Fraassen, by Bird] |
| Full Idea: To 'accept' a theory is not to believe it, but is instead to believe it to be empirically adequate. | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Alexander Bird - Philosophy of Science Ch.4 | |
| A reaction: The second half of this doesn't avoid the word 'belief'. Nevertheless the suggestion is that we never believe (i.e. commit to truth) ever again. So you avoid an on-coming bus because the threat appears to be 'empirically adequate'. Hm. |
| 14917 | To accept a scientific theory, we only need to believe that it is empirically adequate [Fraassen] |
| Full Idea: Science aims to give us theories which are empirically adequate; and acceptance of a theory involves as belief only that it is empiricially adequate. | |
| From: Bas C. van Fraassen (The Scientific Image [1980], p.12), quoted by J Ladyman / D Ross - Every Thing Must Go 2.3.1 | |
| A reaction: This won't tell us what to do if there is a tie between two theories, and we will want to know the criteria for 'adequate'. Presumably there are theories which are empirically quite good, but not yet acceptable. Theories commit beyond experience. |
| 6784 | Why should the true explanation be one of the few we have actually thought of? [Fraassen, by Bird] |
| Full Idea: Van Fraassen asks why we should think that the actual explanation of the evidence should be found among the theories we are considering, when there must be an infinity of theories which are also potential explanations of the evidence? | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Alexander Bird - Philosophy of Science Ch.4 | |
| A reaction: This has become one of the leading modern anti-realist arguments. We must introduce an element of faith here; presumably evolution makes us experts on immediate puzzles, competent on intermediate ones, and hopeful on remote ones. |
| 13066 | An explanation is just descriptive information answering a particular question [Fraassen, by Salmon] |
| Full Idea: On van Fraassen's theory an explanation is simply an answer to a why-question; it is nothing other than descriptive information that, in a given context, answers a particular type of question. | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Wesley Salmon - Four Decades of Scientific Explanation 4.3 | |
| A reaction: Presumably we would need some sort of criterion for a 'good' explanation, and it seems to me that a very good explanation might be given which was nevertheless beyond the grasp of the questioner. |