3 ideas
| 14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
| Full Idea: A very reasonable position would be to accept the integers as primitive entities and then use sets to form higher entities. | |
| From: Paul J. Cohen (Set Theory and the Continuum Hypothesis [1966], 5.4), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? | |
| A reaction: I find this very appealing, and the authority of this major mathematician adds support. I would say, though, that the integers are not 'primitive', but pick out (in abstraction) consistent features of the natural world. |
| 8886 | Being a true justified belief is not a sufficient condition for knowledge [Gettier] |
| Full Idea: The claim that someone knows a proposition if it is true, it is believed, and the person is justified in their belief is false, in that the conditions do not state a sufficient condition for the claim. | |
| From: Edmund L. Gettier (Is Justified True Belief Knowledge? [1963], p.145) | |
| A reaction: This is the beginning of the famous Gettier Problem, which has motivated most epistemology for the last forty years. Gettier implies that justification is necessary, even if it is not sufficient. He gives two counterexamples. |
| 15640 | Courage is not a virtue, but the form of every virtue at its testing point [Lewis,CS] |
| Full Idea: Courage is not simply one of the virtues, but the form of every virtue at the testing point. | |
| From: C.S. Lewis (works [1950]) | |
| A reaction: This appeared on Twitter, without mention of its source. Adding it breaks my normal rules, but I hope you agree that it is too good to miss. Is not even resolutely facing up to suffering or death a case of genuine courage? Determination, prioritisation? |