3 ideas
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'. |
9413 | An event is a change in or to an object [Lombard, by Mumford] |
Full Idea: Lombard holds that an event is a change in or to an object. | |
From: report of Lawrence B. Lombard (Events [1986]) by Stephen Mumford - Laws in Nature 2.1 | |
A reaction: This strikes me as more plausible than Davidson's view that events are primitive, or Kim's that they are exemplifications of properties. Events then exist just insofar as we wish to (or are able to) discriminate them. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |