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). |
| 6456 | Sense-data are neutral uninterpreted experiences, separated from objects and judgements [Angeles] |
| Full Idea: Sense-data are that which is given to us directly and immediately such as colour, shape, smell, without identification of them as specific material objects; they are usually thought to be devoid of judgment, interpretation, bias, preconception. | |
| From: Peter A. Angeles (A Dictionary of Philosophy [1981], p.254) | |
| A reaction: This definition makes them clearly mental (rather than being qualities of objects), and they sound like Hume's 'impressions'. They are not features of the external world, but the first steps we make towards experience. |
| 1515 | Pythagoreans believe it is absurd to seek for goodness anywhere except with the gods [Iamblichus] |
| Full Idea: The thinking behind Pythagorean philosophy is that people behave in an absurd fashion if they try to find any source for the good other than the gods. | |
| From: Iamblichus (Life of Pythagoras [c.290], 137) |