display all the ideas for this combination of texts
3 ideas
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. |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
Full Idea: A restricted Platonism does not claim to be more than, so to speak, an ideal projection of a domain of thought. | |
From: Paul Bernays (On Platonism in Mathematics [1934], p.261) | |
A reaction: I have always found Platonism to be congenial when it talks of 'ideals', and ridiculous when it talks of a special form of 'existence'. Ideals only 'exist' because we idealise things. I may declare myself, after all, to be a Restricted Platonist. |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
Full Idea: Mathematical abstraction does not have a lesser degree than logical abstraction, but rather another direction. | |
From: Paul Bernays (On Platonism in Mathematics [1934], p.268) | |
A reaction: His point is that the logicists seem to think that if you increasingly abstract from mathematics, you end up with pure logic. |