15 ideas
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] |
16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |
18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
16024 | I could have died at five, but the summation of my adult stages could not [Noonan] |
16023 | Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan] |
16016 | Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan] |
16017 | Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan] |
16015 | Problems about identity can't even be formulated without the concept of identity [Noonan] |
16020 | Identity can only be characterised in a second-order language [Noonan] |
16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |
13440 | Causation is the power of one property to produce another, and this gives time its direction [Esfeld] |