9 ideas
| 8000 | He who is ignorant of the history of philosophy is doomed to repeat it [Santayana, by MacIntyre] |
| Full Idea: Santayana remarked that he who is ignorant of the history of philosophy is doomed to repeat it. | |
| From: report of George Santayana (The Life of Reason [1906]) by Alasdair MacIntyre - A Short History of Ethics Ch.1 | |
| A reaction: Santayana's remark seems to have been about history in general, so this is a Macintyre thought. It obviously has a lot of truth, and most great philosophers seem hugely knowledgeable. However, ignorance brings a kind of freedom. |
| 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) |
| 18521 | The criterion of existence is the possibility of action [Santayana] |
| Full Idea: The possibility of action ...is the criterion of existence, and the test of substantiality. | |
| From: George Santayana (The Realm of Matter [1930], p.107), quoted by John Heil - The Universe as We Find It | |
| A reaction: I rather like this. I think I would say the power is the criterion of existence. |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
| 23060 | The good is not relative, but is rooted in facts about human needs [Santayana] |
| Full Idea: The good is by no means relative to opinion, but is rooted in the unconscious and fatal nature of living beings, a nature which predetermines for them the difference between foods and poisons, happiness and misery. | |
| From: George Santayana (Platonism and the Spiritual Life [1927], p.3), quoted by John Gray - Seven Types of Atheism 6 | |
| A reaction: That is, he concedes that the good is relative to human beings, but that the relevant facts about human beings are not relative. I think he has the correct picture. The key point is that the good is 'rooted' in something, and doesn't just float free. |