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! |
15432 | Structural universals might serve as possible worlds [Forrest, by Lewis] |
Full Idea: Forrest proposed that structural universals should serve as ersatz possible worlds. | |
From: report of Peter Forrest (Ways Worlds Could Be [1986]) by David Lewis - Against Structural Universals 'Intro' | |
A reaction: I prefer powers to property universals. Perhaps a possible world is a maximal set of co-existing dispositions? |