Combining Texts

All the ideas for 'Science and Method', 'A Problem about Substitutional Quantification?' and 'The Putney Debates'

unexpand these ideas     |    start again     |     specify just one area for these texts


3 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]
     Full Idea: Kripke proposes that the substitutional quantifier is not a replacement for, or in competition with, the standard interpretation.
     From: report of Saul A. Kripke (A Problem about Substitutional Quantification? [1976]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.165
6. Mathematics / A. Nature of Mathematics / 2. Geometry
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.
24. Political Theory / B. Nature of a State / 2. State Legitimacy / c. Social contract
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.