display all the ideas for this combination of texts
2 ideas
10928 | Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine] |
5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |