20 ideas
11064 | Classes can be reduced to propositional functions [Russell, by Hanna] |
7548 | Classes, grouped by a convenient property, are logical constructions [Russell] |
6407 | The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling] |
10418 | Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell] |
10047 | Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave] |
23478 | Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell] |
21718 | Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B] |
18126 | A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock] |
18128 | Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock] |
18124 | Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock] |
7545 | Visible things are physical and external, but only exist when viewed [Russell] |
579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
7549 | If my body literally lost its mind, the object seen when I see a flash would still exist [Russell] |
7553 | Sense-data are purely physical [Russell] |
578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |
7546 | A man is a succession of momentary men, bound by continuity and causation [Russell] |
7550 | We could probably, in principle, infer minds from brains, and brains from minds [Russell] |
7551 | Matter is a logical construction [Russell] |
7547 | Matter requires a division into time-corpuscles as well as space-corpuscles [Russell] |
7552 | Six dimensions are needed for a particular, three within its own space, and three to locate that space [Russell] |