5 ideas
10053 | Geometrical axioms imply the propositions, but the former may not be true [Russell] |
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] |
10052 | Geometry is united by the intuitive axioms of projective geometry [Russell, by Musgrave] |
7076 | Mill wondered if he would be happy if all his aims were realised, and answered no [Mill, by Critchley] |