display all the ideas for this combination of texts
2 ideas
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! |
3867 | De re necessity arises from the way the world is [Newton-Smith] |
Full Idea: A necessary truth is 'de re' if its necessity arises from the way the world is. | |
From: W.H. Newton-Smith (The Rationality of Science [1981], VII.6) |