3 ideas
| 18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
| Full Idea: We have at hand no proof that the axioms of ZFC for set theory will never yield a contradiction, while Gödel's second theorem tells us that such a consistency proof cannot be conducted within ZFC. | |
| From: Saunders MacLane (Mathematics: Form and Function [1986], p.406), quoted by Penelope Maddy - Naturalism in Mathematics | |
| A reaction: Maddy quotes this, while defending set theory as the foundation of mathematics, but it clearly isn't the most secure foundation that could be devised. She says the benefits of set theory do not need guaranteed consistency (p.30). |
| 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 |
| 16618 | Intellectual and moral states, and even the soul itself, depend on prime matter for their existence [Blasius, by Pasnau] |
| Full Idea: Blasius argued that prime matter is the subject of all our intellectual and moral states. This implies that such states cannot exist apart from the body, which seems to imply further that the soul itself cannot exist apart from the body. | |
| From: report of Blasius of Parma (Les quaestiones de anima (lectures on the soul) [1385], I.8 p.65) by Robert Pasnau - Metaphysical Themes 1274-1671 06.3 | |
| A reaction: It seems that, under pressure, Blasius recanted this view in lectures given eleven years later. |