5 ideas
| 8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
| Full Idea: The mathematically significant properties and relations of natural numbers arise from the successor function that orders them; the natural numbers are identified simply as the objects that answer to this basic function. | |
| From: Fraser MacBride (Structuralism Reconsidered [2007], §1) | |
| A reaction: So Julius Caesar would be a number if he was the successor of Pompey the Great? I would have thought that counting should be mentioned - cardinality as well as ordinality. Presumably Peano's Axioms are being referred to. |
| 8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
| Full Idea: The identification of mathematical objects with positions in structures rests upon the prior credibility of the thesis that positions are objects in their own right. | |
| From: Fraser MacBride (Structuralism Reconsidered [2007], §3) | |
| A reaction: Sounds devastating, but something has to get the whole thing off the ground. This is why Resnik's word 'patterns' is so appealing. Patterns stare you in the face, and they don't change if all the objects making it up are replaced by others. |
| 12712 | Substance is that which can act [Leibniz] |
| Full Idea: I define substance as that which can act. | |
| From: Gottfried Leibniz (Definitiones cogitationesque metaphysicae [1678], A6.4.1398), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3 | |
| A reaction: This is in tune with the notion that to exist is to have causal powers. I find the view congenial, and the middle period of Leibniz's thought, before monads became too spiritual, chimes in with my view. |
| 16721 | Changes in secondary qualities are caused by changes in primary qualities [Giles of Orleans] |
| Full Idea: Every alteration in secondary qualities is caused by some alteration made in the primary qualities. | |
| From: Giles of Orleans (On 'Generation and Corruption' [1270], I.6c) | |
| A reaction: Pasnau calls this the 'supervenience' thesis, here with the addition of causation. Was this doctrine retained by Locke and Boyle? |
| 12737 | Nature can be fully explained by final causes alone, or by efficient causes alone [Leibniz] |
| Full Idea: All the phenomena of nature can be explained solely by final causes, exactly as if there were no efficient causes; and all the phenomena of nature can be explained solely by efficient causes, as if there were no final causes. | |
| From: Gottfried Leibniz (Definitiones cogitationesque metaphysicae [1678], A6.4.1403), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6 | |
| A reaction: Somewhat speculative (a virtue!), but it is interesting to see him suggesting that there might be two complete and satisfactory explanations, which never touched one another. I can't see Aristotle agreeing with that. |