display all the ideas for this combination of texts
3 ideas
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. |
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? |
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. |