9 ideas
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
13489 | Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD] |
12336 | A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou] |
18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
541 | Virtue comes more from habit than character [Critias] |
542 | Fear of the gods was invented to discourage secret sin [Critias] |