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'. |
| 9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
| Full Idea: The substitutional interpretation says the universal quantifier is true just in case it remains true for all substitutions of terms of the same type as that of the universally bound variable. | |
| From: Dale Jacquette (Intro to III: Quantifiers [2002], p.143) | |
| A reaction: This doesn't seem to tell us how it gets started with being true. |
| 9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |
| Full Idea: Some substitutional quantificationists in logic hope to avoid philosophical entanglements about the metaphysics of objects, ..and nominalists can find aid and comfort there. | |
| From: Dale Jacquette (Intro to III: Quantifiers [2002], p.143) | |
| A reaction: This has an appeal for me, particularly if it avoids abstract objects, but I don't see much problem with material objects, so we might as well have a view that admits those. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |