5 ideas
6851 | We overvalue whether arguments are valid, and undervalue whether they are interesting [Monk] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
6850 | Wittgenstein pared his life down in his search for decency [Monk] |
9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |