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 |
16751 | Unity by aggregation, order, inherence, composition, and simplicity [Conimbricense, by Pasnau] |
Full Idea: The Coimbrans have five degrees of unity: by aggregation (stones), by order (an army), per accidens (inherence), per se composite unity (connected), and per se unity of simple things. | |
From: report of Collegium Conimbricense (Aristotelian commentaries [1595], Phys I.9.11.2) by Robert Pasnau - Metaphysical Themes 1274-1671 24.3 | |
A reaction: [my summary of Pasnau's summary] Take some stones, then order them, then glue them together, then melt them together. The unity of inherence is a different type of unity from these stages. This is a hylomorphic view. |
16720 | Secondary qualities come from temperaments and proportions of primary qualities [Conimbricense] |
Full Idea: Colors, flavours, smells, and other secondary qualities arise from the various temperaments and proportions of the primary qualities. | |
From: Collegium Conimbricense (Aristotelian commentaries [1595], I.10.4 Gen&C), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 21.2 | |
A reaction: This is a bit more subtle than merely mixing the primary qualities. What about the powers of the primary qualities? Presumably that is the 'temperaments'? |
19941 | Thou shalt love thy neighbour as thyself [Anon (Leviticus)] |
Full Idea: Thou shalt love thy neighbour as thyself. | |
From: Anon (Lev) (03: Book of Leviticus [c.700 BCE], 19.18) | |
A reaction: Most Christians think Jesus originated this thought. Interestingly, this precedes Socrates, who taught a similar idea. |