display all the ideas for this combination of texts
3 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! |
| 16473 | Modal Rationalism: conceivability gives a priori access to modal truths [Chalmers, by Stalnaker] |
| Full Idea: Chalmers' 'modal rationalist' is one who identifies what is possible with what is conceivable; the central claim of the doctrine is that we have a priori access to modal truth. | |
| From: report of David J.Chalmers (Does Conceivability Entail Possibility? [2002]) by Robert C. Stalnaker - Mere Possibilities 5 | |
| A reaction: A helpful clarification, as I can now see how hopelessly and utterly wrong Chalmers is (about almost everything), and I find my confidence in any sort of genuine a priori knowledge (except of conceptual relations) dwindling by the minute. |
| 19258 | Evaluate primary possibility from some world, and secondary possibility from this world [Chalmers, by Vaidya] |
| Full Idea: For Chalmers, that water is XYZ is 'primary possible' (a priori, or conceptually), because it is true in some world considered as actual. It is 'secondary impossible', when it is evaluated from the Earth as actual. | |
| From: report of David J.Chalmers (Does Conceivability Entail Possibility? [2002]) by Anand Vaidya - Understanding and Essence Intro | |
| A reaction: [compressed] This is Chalmers' account of how we can know possibility from conceivability, via his two-dimensional semantics (see alphabetical themes). |