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). |
| 18988 | Behind the bare phenomenal facts there is nothing [Wright,Ch] |
| Full Idea: Behind the bare phenomenal facts, as my tough-minded old friend Chauncey Wright, the great Harvard empiricist of my youth, used to say, there is nothing. | |
| From: Chauncey Wright (talk [1870]), quoted by William James - Pragmatism - eight lectures Lec 7 | |
| A reaction: This is the best slogan for strong phenomenalism ever coined! It also seems to fit David Lewis's approach to philosophy, as the pure study of the mosaic of experiences. |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
| From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
| A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |