10 ideas
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| Full Idea: Axiomatising set theory leads to a relativity of set-theoretic notions, and this relativity is inseparably bound up with every thoroughgoing axiomatisation. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.296) |
| 13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
| Full Idea: Skolem did not believe in the existence of uncountable sets. | |
| From: Thoralf Skolem (works [1920], 5.3) | |
| A reaction: Kit Fine refers somewhere to 'unrepentent Skolemites' who still hold this view. |
| 17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
| Full Idea: Löwenheim's theorem reads as follows: If a first-order proposition is satisfied in any domain at all, it is already satisfied in a denumerably infinite domain. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.293) |
| 17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
| Full Idea: The initial foundations should be immediately clear, natural and not open to question. This is satisfied by the notion of integer and by inductive inference, by it is not satisfied by the axioms of Zermelo, or anything else of that kind. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.299) | |
| A reaction: This is a plea (endorsed by Almog) that the integers themselves should be taken as primitive and foundational. I would say that the idea of successor is more primitive than the integers. |
| 17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
| Full Idea: Most mathematicians want mathematics to deal, ultimately, with performable computing operations, and not to consist of formal propositions about objects called this or that. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.300) |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
| From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
| A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |
| 23104 | Dworkin believed we should promote equality, to increase autonomy [Dworkin, by Kekes] |
| Full Idea: Egalitarians believe that most often it is by promoting equality that autonomy is increased; this is the egalitarianism of such liberals as Ronald Dworkin. | |
| From: report of Ronald Dworkin (Taking Rights Seriously [1977]) by John Kekes - Against Liberalism 05.1 | |
| A reaction: Not my idea of equality. The whole point is to ascribe reasonable equality to everyone, including those with a limited capacity for autonomy. Equality is a consequence of universal respect. |
| 23257 | We can treat people as equals, or actually treat them equally [Dworkin, by Grayling] |
| Full Idea: Dworkin distinguishes between treating people as equals, that is, 'with equal concern and respect', and treating them equally. This latter can be unjust. | |
| From: report of Ronald Dworkin (Taking Rights Seriously [1977]) by A.C. Grayling - The Good State 2 | |
| A reaction: The big difference I see between them is that the first is mere words, and the second is actions. Cf. 'thoughts and prayers' after US school shootings. How about equal entitlements, all things being equal? |
| 18621 | Treating people as equals is the one basic value of all plausible political theories [Dworkin, by Kymlicka] |
| Full Idea: Dworkin suggests that every plausible political theory has the same ultimate value, which is equality - in the more abstract and fundamental sense of treating people 'as equals'. | |
| From: report of Ronald Dworkin (Taking Rights Seriously [1977], 179-83) by Will Kymlicka - Contemporary Political Philosophy (1st edn) | |
| A reaction: I associate this idea with Kant (who says they are equal by virtue of their rationality), so that's a pretty influential idea. I would associate the main challenge to this with Nietzsche. |
| 18639 | If we assess what people would buy in an imaginary insurance market, our taxes could copy it [Dworkin, by Kymlicka] |
| Full Idea: If we can make sense of a hypothetical insurance market, and find a determinate answer to the question of what insurance people would buy in it, then we could use the tax system to duplicate the results. | |
| From: report of Ronald Dworkin (A Matter of Principle [1985]) by Will Kymlicka - Contemporary Political Philosophy (1st edn) 2.4.b | |
| A reaction: This is a nice alternative from Dworkin to Rawls's 'veil of ignorance' approach. |