display all the ideas for this combination of philosophers
2 ideas
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
Full Idea: The equation of 'necessity' with 'true in every possible world' is known as the S5 conception, corresponding to the strongest of C.I.Lewis's five modal systems. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: Are the worlds naturally, or metaphysically, or logically possible? |
16346 | Maybe necessity is a predicate, not the usual operator, to make it more like truth [Halbach] |
Full Idea: Should necessity be treated as a predicate rather than (as in modal logic) as a sentential operator? It is odd to assign different status to necessity and truth, hampering their interaction. That all necessities are true can't be expressed by an operator. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 24.2) | |
A reaction: [compressed] Halbach and Horsten consistently treat truth as a predicate, but maybe truth is an operator. Making necessity a predicate and not an operator would be a huge upheaval in the world of modal logic. Nice move! |