4 ideas
13639 | Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
21557 | Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey] |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |