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é] |
18639 | If we assess what people would buy in an imaginary insurance market, our taxes could copy it [Dworkin, by Kymlicka] |