9 ideas
| 21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
| Full Idea: Metaphysics is the most general attempt to make sense of things. | |
| From: A.W. Moore (The Evolution of Modern Metaphysics [2012], Intro) | |
| A reaction: This is the first sentence of Moore's book, and a touchstone idea all the way through. It stands up well, because it says enough without committing to too much. I have to agree with it. It implies explanation as the key. I like generality too. |
| 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) |
| 21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |
| Full Idea: Appearances in general are nothing outside our representations, which is just what we mean by transcendental ideality. | |
| From: A.W. Moore (The Evolution of Modern Metaphysics [2012], B535/A507) |
| 7598 | Zoroaster and the Hebrew prophets evolved different versions of monotheism [Zoroaster, by Armstrong,K] |
| Full Idea: Zoroaster and the Hebrew prophets evolved different versions of monotheism. | |
| From: report of Zoroaster (The Gathas (seventeen hymns) [c.900 BCE]) by Karen Armstrong - A History of God Ch.1 | |
| A reaction: This seems to be the consensus on the origins of monotheism, which places the development much earlier than the appearance of the idea in Greek philosophy. |
| 7472 | Zarathustra was the first to present a god who is an abstract concept [Zoroaster] |
| Full Idea: Zarathustra's achievement was for the first time to present a god who is an abstract concept - he broke with the tradition of a pantheon of gods. | |
| From: Zoroaster (The Gathas (seventeen hymns) [c.900 BCE]), quoted by Peter Watson - Ideas Ch.05 | |
| A reaction: The more abstract the gods become, the harder it is to challenge their existence. |
| 20672 | Zoroastrianism saw the world as a battle between good evil gods [Zoroaster, by Harari] |
| Full Idea: Zoroastrianism saw the world as a cosmic battle between the good god Ahura Mazda and the evil god Angra Mainyu. | |
| From: report of Zoroaster (The Gathas (seventeen hymns) [c.900 BCE]) by Yuval Noah Harari - Sapiens: brief history of humankind 12 'Battle' | |
| A reaction: Hm. This contradicts the impression I had gained that it was monotheist. |