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). |
18151 | Could we replace sets by the open sentences that define them? [Chihara, by Bostock] |
Full Idea: Chihara proposes to replace all sets by reference to the open sentences that define them. | |
From: report of Charles Chihara (Ontology and the Vicious Circle Principle [1973]) by David Bostock - Philosophy of Mathematics 9.B.4 | |
A reaction: This depends on predicativism, because that stipulates the definitions will be available (cos if it ain't definable it ain't there). Chihara went on to define the open sentences in terms of the possibility of uttering them. Cf. propositional functions. |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |