18 ideas
| 9967 | 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien] |
| Full Idea: Any set with a concrete member is 'impure'. 'Pure' sets are those that are not impure, and are paradigm cases of abstract entities, such as the sort of sets apparently dealt with in Zermelo-Fraenkel (ZF) set theory. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.116) | |
| A reaction: [I am unclear whether Jubien is introducing this distinction] This seems crucial in accounts of mathematics. On the one had arithmetic can be built from Millian pebbles, giving impure sets, while logicists build it from pure sets. |
| 9968 | A model is 'fundamental' if it contains only concrete entities [Jubien] |
| Full Idea: A first-order model can be viewed as a kind of ordered set, and if the domain of the model contains only concrete entities then it is a 'fundamental' model. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.117) | |
| A reaction: An important idea. Fundamental models are where the world of logic connects with the physical world. Any account of relationship between fundamental models and more abstract ones tells us how thought links to world. |
| 9965 | There couldn't just be one number, such as 17 [Jubien] |
| Full Idea: It makes no sense to suppose there might be just one natural number, say seventeen. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.113) | |
| A reaction: Hm. Not convinced. If numbers are essentially patterns, we might only have the number 'twelve', because we had built our religion around anything which exhibited that form (in any of its various arrangements). Nice point, though. |
| 9966 | The subject-matter of (pure) mathematics is abstract structure [Jubien] |
| Full Idea: The subject-matter of (pure) mathematics is abstract structure per se. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.115) | |
| A reaction: This is the Structuralist idea beginning to take shape after Benacerraf's launching of it. Note that Jubien gets there by his rejection of platonism, whereas some structuralist have given a platonist interpretation of structure. |
| 9963 | If we all intuited mathematical objects, platonism would be agreed [Jubien] |
| Full Idea: If the intuition of mathematical objects were general, there would be no real debate over platonism. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
| A reaction: It is particularly perplexing when Gödel says that his perception of them is just like sight or smell, since I have no such perception. How do you individuate very large numbers, or irrational numbers, apart from writing down numerals? |
| 9962 | How can pure abstract entities give models to serve as interpretations? [Jubien] |
| Full Idea: I am unable to see how the mere existence of pure abstract entities enables us to concoct appropriate models to serve as interpretations. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
| A reaction: Nice question. It is always assumed that once we have platonic realm, that everything else follows. Even if we are able to grasp the objects, despite their causal inertness, we still have to discern innumerable relations between them. |
| 9964 | Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien] |
| Full Idea: The essential properties of mathematical entities seem to be relational, ...so we make no progress unless we can pick out some mathematical entities wihout presupposing other entities already picked out. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.112) | |
| A reaction: [compressed] Jubien is a good critic of platonism. He has identified the problem with Frege's metaphor of a 'borehole', where we discover delightful new properties of numbers simply by reaching them. |
| 9969 | The empty set is the purest abstract object [Jubien] |
| Full Idea: The empty set is the pure abstract object par excellence. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.118 n8) | |
| A reaction: So a really good PhD on the empty set could crack the whole nature of reality. Get to work, whoever you are! |
| 12756 | Substance is a force for acting and being acted upon [Leibniz] |
| Full Idea: The very substance in things consists of a force for acting and being acted upon. | |
| From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §08) | |
| A reaction: Garber places this text just before the spiritual notion of monads took a grip on Leibniz. He seems to have thought that only some non-physical entity, with appetite and perception, could generate force. Wrong. |
| 12755 | Final causes can help with explanations in physics [Leibniz] |
| Full Idea: Final causes not only advance virtue and piety in ethics and natural theology, but also help us to find and lay bare hidden truths in physics itself. | |
| From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §04) | |
| A reaction: This rearguard action against the attack on teleology is certainly aimed at Spinoza. The notion of purpose still seems to have a role to play in evolutionary biology, but probably not in physics. |
| 12760 | Something rather like souls (though not intelligent) could be found everywhere [Leibniz] |
| Full Idea: Nor is there any reason why souls or things analogous to souls should not be everywhere, even if dominant and consequently intelligent souls, like human souls, cannot be everywhere. | |
| From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §12) | |
| A reaction: He is always flirting with panpsychism, though he doesn't seem to offer any account of how these little baby souls can be built up to create one intelligent soul, the latter being indivisible. 'Souls' are very different from things 'analous to souls'! |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 12759 | There are atoms of substance, but no atoms of bulk or extension [Leibniz] |
| Full Idea: Although there are atoms of substance, namely monads, which lack parts, there are no atoms of bulk [moles], that is, atoms of the least possible extension, nor are there any ultimate elements, since a continuum cannot be composed out of points. | |
| From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §11) | |
| A reaction: Leibniz has a constant battle for the rest of his career to explain what these 'atoms of substance' are, since they have location but no extension, they are self-sufficient yet generate force, and are non-physical but interact with matter. |
| 12718 | Secondary matter is active and complete; primary matter is passive and incomplete [Leibniz] |
| Full Idea: I understand matter as either secondary or primary. Secondary matter is, indeed, a complete substance, but it is not merely passive; primary matter is merely passive, but it is not a complete substance. So we must add a soul or form... | |
| From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §12), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 4 | |
| A reaction: It sounds as if primary matter is redundant, but Garber suggests that secondary matter is just the combination of primary matter with form. |
| 11854 | If there is some trace of God in things, that would explain their natural force [Leibniz] |
| Full Idea: If the law of God does indeed leave some vestige of him expressed in things...then it must be granted that there is a certain efficacy residing in things, a form or force such as we usually designate by the name of nature, from which the phenomena follow. | |
| From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §06) | |
| A reaction: I wouldn't rate this as a very promising theory of powers, but it seems to me important that Leibniz recognises the innate power in things as needing explanation. If you remove divine power, you are left with unexplained intrinsic powers. |
| 12758 | It is plausible to think substances contain the same immanent force seen in our free will [Leibniz] |
| Full Idea: If we attribute an inherent force to our mind, a force acting immanently, then nothing forbids us to suppose that the same force would be found in other souls or forms, or, if you prefer, in the nature of substances. | |
| From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], §10) | |
| A reaction: This is the kind of bizarre idea that you are driven to, once you start thinking that God must have a will outside nature, and then that we have the same thing. Why shouldn't such a thing pop up all over the place? Only Leibniz spots the slippery slope. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |
| 19408 | To say that nature or the one universal substance is God is a pernicious doctrine [Leibniz] |
| Full Idea: To say that nature itself or the substance of all things is God is a pernicious doctrine, recently introduced into the world or renewed by a subtle or profane author. | |
| From: Gottfried Leibniz (On Nature Itself (De Ipsa Natura) [1698], 8) | |
| A reaction: The dastardly profane author is, of course, Spinoza, whom Leibniz had met in 1676. The doctrine may be pernicious to religious orthodoxy, but to me it is rather baffling, since in my understanding nature and God have almost nothing in common. |