5 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'. |
| 8510 | 'Socrates is wise' means a concurrence sum contains a member of a similarity set [Williams,DC] |
| Full Idea: 'Socrates is wise' means that the concurrence sum (Socrates) includes a trope which is a member of the similarity set (Wisdom). | |
| From: Donald C. Williams (On the Elements of Being: I [1953], p.119) | |
| A reaction: Resemblance has to be taken as a basic (and presumably unanalysable) concept, which invites Russell's objection (Idea 4441). |
| 8508 | A 'trope' is an abstract particular, the occurrence of an essence [Williams,DC] |
| Full Idea: I shall divert the word 'trope' to stand for the abstract particular which is, so to speak, the occurrence of an essence. | |
| From: Donald C. Williams (On the Elements of Being: I [1953], p.115) | |
| A reaction: Thus tropes entered philosophical discussion. Presumably the precedent for an 'abstract particular' would be a particular occurrence of the number 7. |
| 8509 | A world is completely constituted by its tropes and their connections [Williams,DC] |
| Full Idea: Any possible world, and hence, of course, this one, is completely constituted by its tropes and connections of location and similarity. | |
| From: Donald C. Williams (On the Elements of Being: I [1953], p.116) | |
| A reaction: Note that Williams regularly referred to possible worlds in 1953. This is a full-blooded trope theory, which asserts that objects are bundles of tropes, so that both particulars and universals are ontologically taken care of. |
| 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? |