16 ideas
| 5831 | The new view is that "water" is a name, and has no definition [Schwartz,SP] |
| Full Idea: Perhaps the modern view is best expressed as saying that "water" has no definition at all, at least in the traditional sense, and is a proper name of a specific substance. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: This assumes that proper names have no definitions, though I am not clear how we can grasp the name 'Aristotle' without some association of properties (human, for example) to go with it. We need a definition of 'definition'. |
| 5829 | We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP] |
| Full Idea: We can refer to Thales by using the name "Thales" even though perhaps the only description we can supply is false of him. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: It is not clear what we would be referring to if all of our descriptions (even 'Greek philosopher') were false. If an archaeologist finds just a scrap of stone with a name written on it, that is hardly a sufficient basis for successful reference. |
| 5830 | The traditional theory of names says some of the descriptions must be correct [Schwartz,SP] |
| Full Idea: The traditional theory of proper names entails that at least some combination of the things ordinarily believed of Aristotle are necessarily true of him. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: Searle endorses this traditional theory. Kripke and co. tried to dismiss it, but you can't. If all descriptions of Aristotle turned out to be false (it was actually the name of a Persian statue), our modern references would have been unsuccessful. |
| 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. |
| 19419 | Not all of perception is accompanied by consciousness [Leibniz] |
| Full Idea: I do not think that the Cartesians have ever proved or can prove that every perception is accompanied by consciousness. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.195) | |
| A reaction: This idea is very important in Leibniz, because non-conscious or barely conscious thoughts and perceptions explain a huge amount about behaviour, reality and morality. |
| 19421 | Souls act as if there were no bodies, and bodies act as if there were no souls [Leibniz] |
| Full Idea: Everything takes place in souls as if there were no body, and everything takes place in bodies as if there were no souls. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.198) | |
| A reaction: I don't think I have ever encountered a modern thinker who accepts this view. Leibniz rejected Occasionalism, but his account depends entirely on the role of God, to set up the pre-established harmony. Why would God do that? |
| 5826 | The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP] |
| Full Idea: The conjunction of properties associated with a term such as "lemon" is often called the intension of the term "lemon". | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §II) | |
| A reaction: The extension of "lemon" is the set of all lemons. At last, a clear explanation of the word 'intension'! The debate becomes clear - over whether the terms of a language are used in reference to ideas of properties (and substances?), or to external items. |
| 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. |
| 19420 | Death and generation are just transformations of an animal, augmented or diminished [Leibniz] |
| Full Idea: Death, like generation, is only the transformation of the same animal, which is sometimes augmented and sometimes diminished. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.195) | |
| A reaction: Leibniz has a very unusual view of death, since neither minds nor their bodies can ever be wholly destroyed. Death is a kind of shrinking. I suspect that he was wrong about that. |
| 19416 | Not all of matter is animated, any more than a pond full of living fish is animated [Leibniz] |
| Full Idea: It must not be said that each portion of matter is animated, just as we do not say that a pond full of fishes is an animated body, although a fish is. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.190) | |
| A reaction: This is a particularly clear picture of the role of monads in matter. Monads are attached to bodies, which are entirely inanimate, but monads suffuse matter and give it its properties, like particularly bubbly champagne. Cf Idea 19422. |
| 19422 | Every particle of matter contains organic bodies [Leibniz] |
| Full Idea: There is no particle of matter which does not contain organic bodies. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.198) | |
| A reaction: Cf Idea 19416. There seems to be an interaction problem here (solved, presumably, by pre-established harmony). The organic bodies are there to explain the active behaviour of matter, but the related matter seems intrinsically inert. |
| 19418 | Mechanics shows that all motion originates in other motion, so there is a Prime Mover [Leibniz] |
| Full Idea: The maxim that there is no motion which has not its origin in another motion, according to the laws of mechanics, leads us again to the Prime Mover. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.194) | |
| A reaction: This is Leibniz's endorsement (uncredited) to Aquinas's First Way. It is hard to see how the laws of mechanics could have anything to say about the origin of movement. And doesn't the law say that the motions of God need a mover? |
| 19417 | All substances are in harmony, even though separate, so they must have one divine cause [Leibniz] |
| Full Idea: My system of Pre-established Harmony furnishes a new proof of God's existence, since it is manifest that the agreement of so many substances, of which the one has no influence upon the other, could only come from a general cause on which they all depend. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.192) | |
| A reaction: Adjacent harmony seems self-explanatory, but remote harmony is interesting evidence for God. Hence modern quantum non-locality should make us all wonder whether there is a deeper explanation. |