12 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]) |
| 10245 | One geometry cannot be more true than another [Poincaré] |
| Full Idea: One geometry cannot be more true than another; it can only be more convenient. | |
| From: Henri Poincaré (Science and Method [1908], p.65), quoted by Stewart Shapiro - Philosophy of Mathematics | |
| A reaction: This is the culminating view after new geometries were developed by tinkering with Euclid's parallels postulate. |
| 15923 | Poincaré rejected the actual infinite, claiming definitions gave apparent infinity to finite objects [Poincaré, by Lavine] |
| Full Idea: Poincaré rejected the actual infinite. He viewed mathematics that is apparently concerned with the actual infinite as actually concerning the finite linguistic definitions the putatively describe actually infinite objects. | |
| From: report of Henri Poincaré (On the Nature of Mathematical Reasoning [1894]) by Shaughan Lavine - Understanding the Infinite |
| 10180 | Mathematicians do not study objects, but relations between objects [Poincaré] |
| Full Idea: Mathematicians do not study objects, but relations between objects; it is a matter of indifference if the objects are replaced by others, provided the relations do not change. They are interested in form alone, not matter. | |
| From: Henri Poincaré (Science and Hypothesis [1902], p.20), quoted by E Reck / M Price - Structures and Structuralism in Phil of Maths §6 | |
| A reaction: This connects modern structuralism with Aritotle's interest in the 'form' of things. Contrary to the views of the likes of Frege, it is hard to see that the number '7' has any properties at all, apart from its relations. A daffodil would do just as well. |
| 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. |
| 9916 | Convention, yes! Arbitrary, no! [Poincaré, by Putnam] |
| Full Idea: Poincaré once exclaimed, 'Convention, yes! Arbitrary, no!'. | |
| From: report of Henri Poincaré (talk [1901]) by Hilary Putnam - Models and Reality | |
| A reaction: An interesting view. It mustn't be assumed that conventions are not rooted in something. Maybe a sort of pragmatism is implied. |
| 18203 | Avoid non-predicative classifications and definitions [Poincaré] |
| Full Idea: Never consider any objects but those capable of being defined in a finite number of word ...Avoid non-predicative classifications and definitions. | |
| From: Henri Poincaré (The Logic of Infinity [1909], p.63), quoted by Penelope Maddy - Naturalism in Mathematics II.4 |
| 7346 | Jeremiah implied a link between weakness and goodness, and the evil of the state [Jeremiah, by Johnson,P] |
| Full Idea: Jeremiah was the first to perceive the possibility that powerlessness and goodness were somehow linked; ...he comes close to the notion that the state itself was inherently evil. | |
| From: report of Jeremiah (24: Book of Jeremiah [c.570 BCE]) by Paul Johnson - The History of the Jews Pt II | |
| A reaction: This looks like the first seeds of the anarchist idea. You abandon the state for something 'higher'. 'Perceive' rather begs the question of whether he is right. This is the full 'inversion of values' of Nietzsche. |
| 15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |
| Full Idea: In Poincaré's view, we try to construct a language within which the brute facts of experience are expressed as comprehensively and as elegantly as possible. The job of science is the forging of a language precisely suited to that purpose. | |
| From: report of Henri Poincaré (The Value of Science [1906], Pt III) by Rom Harré - Laws of Nature 2 | |
| A reaction: I'm often struck by how obscure and difficult our accounts of self-evident facts can be. Chairs are easy, and the metaphysics of chairs is hideous. Why is that? I'm a robust realist, but I like Poincaré's idea. He permits facts. |
| 22920 | Do I not fill heaven and earth? saith the Lord [Jeremiah] |
| Full Idea: Can any hide himself in secret places that I shall not see him? saith the Lord. Do I not fill heaven and earth? | |
| From: Jeremiah (24: Book of Jeremiah [c.570 BCE], 23:24), quoted by Robin Le Poidevin - Travels in Four Dimensions 03 'Where' | |
| A reaction: If the Lord is omnipresent, then He must be present in each one of us. But does the Lord interact with each of us? |
| 22089 | Am I a God afar off, and not a God close at hand? [Jeremiah] |
| Full Idea: Am I a God afar off, and not a God close at hand? Do I not fill heaven and earth? | |
| From: Jeremiah (24: Book of Jeremiah [c.570 BCE], 23:23), quoted by Clare Carlisle - Kierkegaard: a guide for the perplexed 3 | |
| A reaction: I assume this was often quoted by eighteenth century divines, against the rise of deism. |