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! |
| 12468 | A state of affairs is only possible if there has been an actual substance to initiate it [Pruss] |
| Full Idea: Non-actual states of affairs are possible if there actually was a substance capable of initiating a causal chain, perhaps non-deterministic, that could lead to the state of affairs that we claim is possible. | |
| From: Alexander R. Pruss (The Actual and the Possible [2002]), quoted by Jonathan D. Jacobs - A Powers Theory of Modality §4.2 | |
| A reaction: This is roughly my view. There are far fewer possibilities in heaven and earth than are dreamt of in your philosophy, Horatio. Logical possibilities and fantasy possibilities are not real possibilities. |