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! |
| 16285 | A possible world can be seen as a complete and consistent novel [Jeffrey] |
| Full Idea: A novel describes a possible world in as much detail as is possible without exceeding the resources of the agent's language. But if talk of possible worlds seems dangerously metaphysical, focus on the novels themselves, when complete and consistent. | |
| From: Richard Jeffrey (The Logic of Decision [1965], 12.8), quoted by David Lewis - On the Plurality of Worlds | |
| A reaction: Lewis seems to cite this remark from Jeffrey as the source of the idea that ersatz linguistic worlds are like novels. Why won't a novel with one tiny inconsistency count as a possible world? People seem to live in it. |