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). |
9783 | While no two classes coincide in membership, there are distinct but coextensive attributes [Cartwright,R] |
Full Idea: Attributes and classes are said to be distinguished by the fact that whereas no two classes coincide in membership, there are supposed to be distinct but coextensive attributes. | |
From: Richard Cartwright (Classes and Attributes [1967], §2) | |
A reaction: This spells out the standard problem of renates and cordates, that creatures with hearts and with kidneys are precisely coextensive, but that these properties are different. Cartwright then attacks the distinction. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |