14 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. |
| 14592 | Some abstract things have a beginning and end, so may exist in time (though not space) [Swoyer] |
| Full Idea: Many things that seem to be abstract also seem to have a beginning (and ending) in time, such as a language like Urdu. It may be tempting to say that such things exist in time but not in space, but where exactly? | |
| From: Chris Swoyer (Abstract Entities [2008], 1.1) | |
| A reaction: A few distinctions might be needed. Urdu-speaking is an ability of certain people. We abstract from that their 'language'. There is nothing there apart from that ability. It has no more abstract existence than the 'weather'. |
| 14594 | Ontologists seek existence and identity conditions, and modal and epistemic status for a thing [Swoyer] |
| Full Idea: Four things philosophers often want to know about a given sort of entity are: its existence conditions, its identity conditions, its modal status, and its epistemic status. | |
| From: Chris Swoyer (Abstract Entities [2008], 3) | |
| A reaction: I prefer 'modal profile' to 'modal status'. The 'existence conditions' sound rather epistemic. Why does the existence of anything require 'conditions' other than just existing? I suspect identity is irrelevant if humans aren't around. |
| 14595 | Can properties exemplify other properties? [Swoyer] |
| Full Idea: Can properties themselves exemplify properties? | |
| From: Chris Swoyer (Abstract Entities [2008], 3) | |
| A reaction: Since I espouse a rather strict causal view of true properties, and lump the rest into the category of 'predicates', I am inclined to answer 'no' to this. Most people would disagree. 'Bright red' seems to be an example. But it isn't. |
| 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! |
| 14593 | Quantum field theory suggests that there are, fundamentally, no individual things [Swoyer] |
| Full Idea: Quantum field theory strongly suggests that there are (at the fundamental level) no individual, particular things. | |
| From: Chris Swoyer (Abstract Entities [2008], 2.1) | |
| A reaction: When people introduce quantum theory into ontological discussions I reach for my shotgun, but it does rather look as if things turn to mush at the bottom level. |
| 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. |
| 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. |