8 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) |
| 335 | Do the gods also hold different opinions about what is right and honourable? [Plato] |
| Full Idea: Do the gods too hold different opinions about what is right, and similarly about what is honourable and dishonourable, good and bad? | |
| From: Plato (Euthyphro [c.398 BCE], 07e) |
| 14014 | Space alone, and time alone, will fade away, and only their union has an independent reality [Minkowski] |
| Full Idea: Henceforth, space by itself, and time by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality. | |
| From: Hermann Minkowski (Space and Time [1908], Intro) | |
| A reaction: Notice the qualification that it is a 'kind of' union. Deep confusion arises from exaggerating the analogy between space and time. Craig Bourne remarks (2006:157) that this shows independence of measurement, not of reality |
| 337 | It seems that the gods love things because they are pious, rather than making them pious by loving them [Plato] |
| Full Idea: So things are loved by the gods because they are pious, and not pious because they are loved? It seems so. | |
| From: Plato (Euthyphro [c.398 BCE], 10e) | |
| A reaction: Socrates' answer to the Euthyphro Question (see Idea 336). The form of piety precedes the gods. |
| 336 | Is what is pious loved by the gods because it is pious, or is it pious because they love it? (the 'Euthyphro Question') [Plato] |
| Full Idea: Is what is pious loved by the gods because it is pious, or is it pious because they love it? | |
| From: Plato (Euthyphro [c.398 BCE], 10a) | |
| A reaction: The famous Euthyphro Question, the key question about the supposed religious basis of morality. The answer of Socrates is Idea 337. |