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 |
15540 | You can't deny temporary intrinsic properties by saying the properties are relations (to times) [Lewis] |
Full Idea: To say that properties are really relations to times is to treat temporary intrinsics (such as my changing shape) as a matter of relations, but then 'intrinsic properties' would not deserve the name, and it is untenable if it denies temporary intrinsics. | |
From: David Lewis (Rearrangement of Particles [1988], 1) | |
A reaction: [I have compressed a paragraph; he refers to his 1986:204] If a property is meant to be a 'relation to a time', I am not sure what the relata are meant to be, and I agree with Lewis that this seems a long way from properties. |
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'). |