15927
|
Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine]
|
|
Full Idea:
For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain.
|
|
From:
report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3
|
|
A reaction:
Lavine summarises this as 'first-order logic with parameters'.
|
16566
|
Poetry is more philosophic than history, as it concerns universals, not particulars [Aristotle]
|
|
Full Idea:
Poetry is something more philosophic and of graver import than history, since its statements are rather of universals, whereas those of history are singulars.
|
|
From:
Aristotle (The Poetics [c.347 BCE], 1451b05)
|
|
A reaction:
Hm. Characters in great novels achieve universality by being representated very particularly. Great depth of mind seems required to be a poet, but less so for a historian (though there is, I presume, no upward limit on the possible level of thought).
|
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').
|