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). |
| 12750 | The question is whether force is self-sufficient in bodies, and essential, or dependent on something [Lenfant] |
| Full Idea: The whole question is to know if the force to act in bodies is in matter something distinct and independent of everything else that one conceives there. Without that, this force cannot be its essence, and will remain the result of some primitive quality. | |
| From: Jacques Lenfant (Letters to Leibniz [1693], 1693.11.07), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 8 | |
| A reaction: This challenge to Leibniz highlights the drama of trying to simultaneously arrive at explanations of things, and to decide the nature of essence. Leibniz replied that force is primitive, because it is the 'principle' of behaviour and dispositions. |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
| From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
| A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |