display all the ideas for this combination of texts
6 ideas
| 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. |
| 16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
| Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it. | |
| From: Plato (Parmenides [c.364 BCE], 144a) | |
| A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed. |
| 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. |