5 ideas
| 10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
| Full Idea: Very few things in set theory remain valid in intuitionist mathematics. | |
| From: Paul Bernays (On Platonism in Mathematics [1934]) |
| 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. |
| 21963 | It is possible that an omnipotent God might make one and two fail to equal three [Descartes] |
| Full Idea: Since every basic truth depends on God's omnipotence, I would not dare to say that God cannot make it....that one and two should not be three. | |
| From: René Descartes (Letters to Antoine Arnauld [1645]), quoted by A.W. Moore - The Evolution of Modern Metaphysics 01.3 | |
| A reaction: An unusual view. Most people would say that if Descartes can doubt something that simple, he should also doubt his reasons for believing in God's existence. |
| 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. |
| 21907 | We don't want another new set of categories; we want a variety of flexible categories [Deleuze, by May] |
| Full Idea: For Deleuze, the task is not one of replacing a single set of categories with another set. It is one of being able to create and move among various sets of categories, and even to cross between them. | |
| From: report of Gilles Deleuze (The Actual and the Virtual [1977]) by Todd May - Gilles Deleuze 4.05 | |
| A reaction: This sounds fun, but I'm not clear why we need this anarchic mix of categories. The motto of Deleuze seems to be 'at all costs, keep moving'. He loved the idea of nomads. Is Rimbaud our role model? The influence of Foucault is obvious. |