7 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) |
490 | Everything happens by reason and necessity [Leucippus] |
Full Idea: Nothing happens at random; everything happens out of reason and by necessity. | |
From: Leucippus (fragments/reports [c.435 BCE], B002), quoted by (who?) - where? |
3912 | I must exist in order to be mistaken, so that even if I am mistaken, I can't be wrong about my own existence [Augustine] |
Full Idea: Since therefore I must exist in order to be mistaken, then even if I am mistaken, there can be no doubt that I am not mistaken in my knowledge that I exist…. I know that I exist, and I also know that I know. | |
From: Augustine (City of God [c.427], Ch.XI.26) | |
A reaction: Fine, but the main problem is his over-confidence about a stable personal identity that does the thinking. |
6683 | The contact of spirit and body is utterly amazing, and incomprehensible [Augustine] |
Full Idea: The manner of contact of spirit with body, which produces a living being, is utterly amazing and beyond our powers of comprehension | |
From: Augustine (City of God [c.427], XXI.10) | |
A reaction: This leads to a rather clear objection against a theory which needs a miracle to explain a common natural phenomenon. At least Augustine was beginning to recognise that interaction is a bit of a problem. |