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] |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
| 4688 | We imagine small and large objects scaled to the same size, suggesting a fixed capacity for imagination [Lavers] |
| Full Idea: If we think of a pea, and then of the Eiffel Tower, they seem to occupy the same space in our consciousness, suggesting that we scale our images to fit the available hardware, just as computer imagery is limited by the screen and memory available. | |
| From: Michael Lavers (talk [2003]), quoted by PG - Db (ideas) | |
| A reaction: Nice point. It is especially good because it reinforces a physicalist view of the mind from introspection, where most other evidence is external observation of brains (as Nietzsche reinforces determinism by introspection). |