12 ideas
| 13152 | We can talk of 'innumerable number', about the infinite points on a line [Newton] |
| Full Idea: If any man shall take the words number and sum in a larger sense, to understand things which are numberless and sumless (such as the infinite points on a line), I could allow him the contradictious phrase 'innumerable number' without absurdity. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.02.25) | |
| A reaction: [compressed] I take the key point here to be the phrase of taking number 'in a larger sense'. Like the word 'atom' in physics, the word 'number' retains its traditional reference, but has considerably shifted its scope. Amateurs must live with this. |
| 13151 | Not all infinites are equal [Newton] |
| Full Idea: It is an error that all infinites are equal. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.01.17) | |
| A reaction: There follows a discussion of the mathematicians' view of infinity. Cantor was not the first to notice that there is more than one sort of of infinity. |
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| Full Idea: The result of joining Hume's Principle to second-order logic is a consistent system which is a foundation for arithmetic, in the sense that all the fundamental laws of arithmetic are derivable within it as theorems. This seems a vindication of logicism. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: The controversial part seems to be second-order logic, which Quine (for example) vigorously challenged. The contention against most attempts to improve Frege's logicism is that they thereby cease to be properly logical. |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| Full Idea: The Julius Caesar problem is the problem of supplying a criterion of application for 'number', and thereby setting it up as the concept of a genuine sort of object. (Why is Julius Caesar not a number?) | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 3) | |
| A reaction: One response would be to deny that numbers are objects. Another would be to derive numbers from their application in counting objects, rather than the other way round. I suspect that the problem only real bothers platonists. Serves them right. |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| Full Idea: It is only if logic is metaphysically and epistemologically privileged that a reduction of mathematical theories to logical ones can be philosophically any more noteworthy than a reduction of any mathematical theory to any other. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 8) | |
| A reaction: It would be hard to demonstrate this privileged position, though intuitively there is nothing more basic in human rationality. That may be a fact about us, but it doesn't make logic basic to nature, which is where proper reduction should be heading. |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| Full Idea: Two modern approaches to logicism are the quantificational approach of David Bostock, and the abstraction-free approach of Neil Tennant. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1 n2) | |
| A reaction: Hale and Wright mention these as alternatives to their own view. I merely catalogue them for further examination. My immediate reaction is that Bostock sounds hopeless and Tennant sounds interesting. |
| 17897 | Analytic explanation is wholes in terms of parts; synthetic is parts in terms of wholes or contexts [Belnap] |
| Full Idea: Throughout the whole texture of philosophy we distinguish two modes of explanation: the analytic mode, which tends to explain wholes in terms of parts, and the synthetic mode, which explains parts in terms of the wholes or contexts in which they occur. | |
| From: Nuel D. Belnap (Tonk, Plonk and Plink [1962], p.132) | |
| A reaction: The analytic would be bottom-up, and the synthetic would be top-down. I'm inclined to combine them, and say explanation begins with a model, which can then be sliced in either direction, though the bottom looks more interesting. |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| Full Idea: An example of a first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines; a higher-order example (which refers to first-order predicates) defines 'equinumeral' in terms of one-to-one correlation (Hume's Principle). | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: [compressed] This is the way modern logicians now treat abstraction, but abstraction principles include the elusive concept of 'equivalence' of entities, which may be no more than that the same adjective ('parallel') can be applied to them. |
| 15863 | The principles of my treatise are designed to fit with a belief in God [Newton] |
| Full Idea: When I wrote my treatise about our system, I had an eye upon such principles as might work with considering men, for the belief of a deity. | |
| From: Isaac Newton (Letters to Bentley [1692], 1692.12.10) | |
| A reaction: Harré quotes this, and it shows that the rather passive view of nature Newton developed was to be supplemented by the active power of God. Without God, we need a more active view of nature. |
| 8340 | I do not pretend to know the cause of gravity [Newton] |
| Full Idea: You sometimes speak of gravity as essential and inherent in matter. Pray do no ascribe that notion to me; for the cause of gravity is what I do not pretend to know. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.01.17) | |
| A reaction: I take science to be a two-stage operation - first we discern the regularities, and then we explain them. Evolution was spotted, then explained by Darwin. Cancer from cigarettes was spotted, but hasn't been explained. Regularity is the beginning. |
| 13150 | The motions of the planets could only derive from an intelligent agent [Newton] |
| Full Idea: The motions which the planets now have could not spring from any natural cause alone, but were impressed by an intelligent agent. | |
| From: Isaac Newton (Letters to Bentley [1692], 1692.12.10) | |
| A reaction: He is writing to a cleric, but seems to be quite sincere about this. Elsewhere he just says he doesn't know what causes gravity. |
| 12178 | That gravity should be innate and essential to matter is absurd [Newton] |
| Full Idea: That gravity should be innate, inherent and essential to matter ...is to me so great an absurdity that I believe no man who has in philosophical matters a competent faculty of thinking can ever fall into it. | |
| From: Isaac Newton (Letters to Bentley [1692], 1693.02.25) | |
| A reaction: He is replying to some sermons, and he pays vague lip service to a possible divine force. Nevertheless, this is thoroughgoing anti-essentialism, and he talks of external 'laws' in the next sentence. Newton still sought the cause of gravity. |