3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
10245 | One geometry cannot be more true than another [Poincaré] |
6672 | Moore's Paradox: you can't assert 'I believe that p but p is false', but can assert 'You believe p but p is false' [Moore,GE, by Lowe] |