4 ideas
| 17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
| Full Idea: The Löwenheim-Skolem theorem tells us that any theory with a true interpretation has a model in the natural numbers. | |
| From: Nicholas P. White (What Numbers Are [1974], V) |
| 17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
| Full Idea: Statements involving finite cardinalities can be made without treating numbers as objects at all, simply by using quantification and identity to define numerically definite quantifiers in the manner of Frege. | |
| From: Nicholas P. White (What Numbers Are [1974], IV) | |
| A reaction: [He adds Quine 1960:268 as a reference] |
| 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? |
| 19414 | Men are related to animals, which are related to plants, then to fossils, and then to the apparently inert [Leibniz] |
| Full Idea: Men are related to animals, these to plants, and the latter directly to fossils which will be linked in their turn to bodies which the senses and the imagination represent to us as perfectly dead and formless. | |
| From: Gottfried Leibniz (Letters to Varignon [1702], 1702) | |
| A reaction: Leibniz would be a bit surprised to find the way in which this has turned out to be largely true, since he is basing it on his picture of a hierarchy of monads. Nevertheless, the idea that we are all related wasn't invented in 1859. |