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! |
| 8425 | For true counterfactuals, both antecedent and consequent true is closest to actuality [Lewis] |
| Full Idea: A counterfactual is non-vacuously true iff it takes less of a departure from actuality to make the consequent true along with the antecedent than it does to make the antecedent true without the consequent. | |
| From: David Lewis (Causation [1973], p.197) | |
| A reaction: Almost every theory proposed by Lewis hangs on the meaning of the word 'close', as used here. If you visited twenty Earth-like worlds (watch Startrek?), it would be a struggle to decide their closeness to ours in rank order. |