15 ideas
| 1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
| Full Idea: Thales was the first thinker in the west to believe that the arché (the basis of things) was intelligible. | |
| From: comment on Thales (fragments/reports [c.585 BCE]) by David Roochnik - The Tragedy of Reason p.138 |
| 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. |
| 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. |
| 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. |
| 8978 | Events are made of other things, and are not fundamental to ontology [Bennett] |
| Full Idea: Events are not basic items in the universe; they should not be included in any fundamental ontology...all the truths about them are entailed by and explained and made true by truths that do not involve the event concept. | |
| From: Jonathan Bennett (Events and Their Names [1988], p.12), quoted by Peter Simons - Events 3.1 | |
| A reaction: Given the variable time spans of events, their ability to coincide, their ability to contain no motion, their blatantly conventional component, and their recalcitrance to individuation, I say Bennett is right. |
| 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! |
| 3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
| Full Idea: Necessity is the strongest of things, for it rules everything. | |
| From: report of Thales (fragments/reports [c.585 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.2.9 |
| 1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
| Full Idea: Thales says water is the first principle (which is why he declared the earth is on water); perhaps he concluded this from seeing that all food is moist. | |
| From: report of Thales (fragments/reports [c.585 BCE], A12) by Aristotle - Metaphysics 983b12 |
| 10364 | Facts are about the world, not in it, so they can't cause anything [Bennett] |
| Full Idea: Facts are not the sort of item that can cause anything. A fact is a true proposition (they say); it is not something in the world but is rather something about the world. | |
| From: Jonathan Bennett (Events and Their Names [1988], p.22), quoted by Jonathan Schaffer - The Metaphysics of Causation 1.1 | |
| A reaction: Compare 10361. Good argument, but maybe 'fact' is ambiguous. See Idea 10365. Events are said to be more concrete, and so can do the job, but their individuation also seems to depend on a description (as Davidson has pointed out). |
| 1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
| Full Idea: Thales seems, from what is recorded of him, to have supposed that the soul is something productive of movement, if he really said that the magnet has soul because it produces movement in iron. | |
| From: report of Thales (fragments/reports [c.585 BCE]) by Aristotle - De Anima 405a20 |
| 1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |
| Full Idea: When asked whether a man who did wrong could escape the notice of the gods, Thales is said to have replied: 'No, not even if he thinks wrong.' | |
| From: report of Thales (fragments/reports [c.585 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.Th.9 |