display all the ideas for this combination of philosophers
3 ideas
5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
12204 | The logic of metaphysical necessity is S5 [Rumfitt] |
18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |