14 ideas
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| 13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
| 17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
| 17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
| 17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
| 19691 | Unlike knowledge, you can achieve understanding through luck [Grimm] |
| 19690 | 'Grasping' a structure seems to be modal, because we must anticipate its behaviour [Grimm] |
| 19692 | You may have 'weak' understanding, if by luck you can answer a set of 'why questions' [Grimm] |
| 2854 | Prescriptivism says 'ought' without commitment to act is insincere, or weakly used [Hooker,B] |
| 2856 | Universal moral judgements imply the Golden Rule ('do as you would be done by') [Hooker,B] |
| 20883 | Modern utilitarians value knowledge, friendship, autonomy, and achievement, as well as pleasure [Hooker,B] |
| 20884 | Rule-utilitarians prevent things like torture, even on rare occasions when it seems best [Hooker,B] |
| 20885 | Euthanasia is active or passive, and voluntary, non-voluntary or involuntary [Hooker,B] |
| 20882 | Euthanasia may not involve killing, so it is 'killing or not saving, out of concern for that person' [Hooker,B] |