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] |
4921 | Quantum states in microtubules could bind brain activity to produce consciousness [Penrose] |
Full Idea: I propose that microtubules in nerve cells could give rise to a stable quantum state that would bind the activity of brain cells throughout the cerebrum and in doing so give rise to consciousness. | |
From: Roger Penrose (Could a computer ever understand? [1998], p.329) | |
A reaction: This seems to offer a physical theory to account for the 'unity' of the mind (which so impressed Descartes), but I don't quite see why being aware of things would ensue from some 'quantum binding'. I daresay 'quantum binding' occurs in the Sun. |
3032 | I can form no notion of what the good is [Amphis] |
Full Idea: What the good is I no more can form a notion of, than of the good of Plato. | |
From: Amphis (comedies (frags) [c.350 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 03.1.22 | |
A reaction: It was evidently a running joke in the ancient world that no one could define Plato's Form of the Good. He was said to have written a book on it, now lost. |