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'. |
| 9471 | Intensions are creatures of darkness which should be exorcised [Quine] |
| Full Idea: Intensions are creatures of darkness and I shall rejoice with the reader when they are exorcised. | |
| From: Willard Quine (Quantifiers and Propositional Attitudes [1955], §II) | |
| A reaction: Quine seems to be in a diminshing minority with this view. For 'intensions' read 'meanings', presumably. |
| 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? |