3 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 |
12155 | Statements of 'relative identity' are really statements of resemblance [Perry] |
Full Idea: Statements of 'relative' identity are not identity statements at all, but what I would prefer to call 'statements of resemblance' or 'common property staztements'. | |
From: John Perry (The Same F [1970], n12) | |
A reaction: This seems like a neat way to sweep the problem from our sight. There remains a nervous metaphysical problem, though, because something seems to be identical when we spot a resemblance. Even two shades of red have something identical in them. |
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'). |