4 ideas
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
| From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
| 16740 | A power is not a cause, but an aptitude for a cause [Zabarella] |
| Full Idea: A power is not the cause of an operation, but only the cause's aptitude for operating. | |
| From: Jacob Zabarella (De rebus naturalibus [1590], De fac anim 4:col 692), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.5 | |
| A reaction: His example is the power of running, which is actually caused by the soul (or whatever), which generates the power. A power is a very superficial thing. |
| 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? |
| 16571 | Prime matter is exceptionally obscure [Zabarella] |
| Full Idea: Nothing in the natural world seems to be more obscure and difficult to grasp than the prime matter of things. | |
| From: Jacob Zabarella (De rebus naturalibus [1590], I.1 col 133), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 2.1 | |
| A reaction: This spells the beginning of the end for 'prime matter', since a late scholastic is doubting it, even before the scientists got to work. Most modern Aristotelians slide quietly past prime matter, as unhelpful. |