7 ideas
12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |
13365 | Russell's Paradox is a stripped-down version of Cantor's Paradox [Priest,G on Russell] |
10711 | Russell's paradox means we cannot assume that every property is collectivizing [Potter on Russell] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
9127 | Russell refuted Frege's principle that there is a set for each property [Russell, by Sorensen] |
7531 | We don't assert private thoughts; the objects are part of what we assert [Russell] |