3 ideas
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. |
21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell] |
Full Idea: Given all true atomic propositions, together with the fact that they are all, every other true proposition can theoretically be deduced by logical methods. | |
From: Bertrand Russell (Intro to 2nd ed of Principia Mathematica [1925], p.xv) | |
A reaction: This is evidently his strongest statement of the ideal underlying logical atomism. The atoms were initially sense-date, but then became atomic propositions saying an object has a property. |
23215 | Even the poorest have a life to lead, and so should consent to who governs them [-] |
Full Idea: For really I think that the poorest hee that is in England hath a life to live, as the greatest hee; …and every Man that is to live under a Government ought first by his own Consent to put himself under that Government. | |
From: - (The Putney Debates [1647]) | |
A reaction: [remark made by Thomas Rainsborough] This is the social contract idea which is explicit in Hobbes. I'm sure we can at least trace it back to John Lilburne in the 1630s. |