11 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) |
| 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) |
| 304 | Beautiful things must be different from beauty itself, but beauty itself must be present in each of them [Plato] |
| Full Idea: Are fine things different from or identical to fineness? They are different from fineness itself, but fineness itself is in a sense present in each of them. | |
| From: Plato (Euthydemus [c.379 BCE], 301a) |
| 16120 | Knowing how to achieve immortality is pointless without the knowledge how to use immortality [Plato] |
| Full Idea: If there exists the knowledge of how to make men immortal, but without the knowledge of how to use this immortality, there seems to be no value in it. | |
| From: Plato (Euthydemus [c.379 BCE], 289b) | |
| A reaction: I take this to be not a gormless utilitarianism about knowledge, but a plea for holism, that knowledge only has value as part of some larger picture. The big view is the important view. He's wrong, though. Work out the use later. |
| 303 | Say how many teeth the other has, then count them. If you are right, we will trust your other claims [Plato] |
| Full Idea: If each of you says how many teeth the other has, and when they are counted we find you do know, we will believe your other claims as well. | |
| From: Plato (Euthydemus [c.379 BCE], 294c) | |
| A reaction: This is the clairvoyant problem for reliabilism, if truth is delivered for no apparent reason. Useful, but hardly knowledge. HOW did you know the number of teeth? |
| 302 | What knowledge is required to live well? [Plato] |
| Full Idea: What knowledge would enable us to live finely for the rest of our lives? | |
| From: Plato (Euthydemus [c.379 BCE], 293a) | |
| A reaction: A successful grasp of other people's points of view might lead to respect for them. Also a realisation that we are not isolated individuals. We really are all in it together. |
| 301 | Only knowledge of some sort is good [Plato] |
| Full Idea: Nothing is good except knowledge of some sort. | |
| From: Plato (Euthydemus [c.379 BCE], 292b) | |
| A reaction: I've heard it suggested that truth is the only value. This is the Socratic idea that moral goodness is a matter of successful rational judgement. Not convinced, but interesting. |
| 305 | Something which lies midway between two evils is better than either of them [Plato] |
| Full Idea: Something which is composed of two factors which are bad for different purposes and lies midway between them is better than either of the factors. | |
| From: Plato (Euthydemus [c.379 BCE], 306a) |
| 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'). |