6 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. |
| 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. |
| 15990 | Every individual thing which exists has an essence, which is its internal constitution [Locke] |
| Full Idea: I take essences to be in everything that internal constitution or frame for the modification of substance, which God in his wisdom gives to every particular creature, when he gives it a being; and such essences I grant there are in all things that exist. | |
| From: John Locke (Letters to Edward Stillingfleet [1695], Letter 1), quoted by Simon Blackburn - Quasi-Realism no Fictionalism | |
| A reaction: This is the clearest statement I have found of Locke's commitment to essences, for all his doubts about whether we can know such things. Alexander says (ch.13) Locke was reacting against scholastic essence, as pertaining to species. |
| 15994 | If it is knowledge, it is certain; if it isn't certain, it isn't knowledge [Locke] |
| Full Idea: What reaches to knowledge, I think may be called certainty; and what comes short of certainty, I think cannot be knowledge. | |
| From: John Locke (Letters to Edward Stillingfleet [1695], Letter 2), quoted by Simon Blackburn - Quasi-Realism no Fictionalism | |
| A reaction: I much prefer that fallibilist approach offered by the pragmatists. Knowledge is well-supported belief which seems (and is agreed) to be true, but there is a small shadow of doubt hanging over all of it. |
| 1590 | The just man does not harm his enemies, but benefits everyone [Plato] |
| Full Idea: First, Socrates, you told me justice is harming your enemies and helping your friends. But later it seemed that the just man, since everything he does is for someone's benefit, never harms anyone. | |
| From: Plato (Clitophon [c.372 BCE], 410b) | |
| A reaction: Socrates certainly didn't subscribe to the first view, which is the traditional consensus in Greek culture. In general Socrates agreed with the views later promoted by Jesus. |