4 ideas
| 17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
| Full Idea: The Löwenheim-Skolem theorem tells us that any theory with a true interpretation has a model in the natural numbers. | |
| From: Nicholas P. White (What Numbers Are [1974], V) |
| 17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
| Full Idea: Statements involving finite cardinalities can be made without treating numbers as objects at all, simply by using quantification and identity to define numerically definite quantifiers in the manner of Frege. | |
| From: Nicholas P. White (What Numbers Are [1974], IV) | |
| A reaction: [He adds Quine 1960:268 as a reference] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
| 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. |