display all the ideas for this combination of texts
4 ideas
19033 | Deontic modalities are 'ought-to-be', for sentences, and 'ought-to-do' for predicates [Vetter] |
19032 | S5 is undesirable, as it prevents necessities from having contingent grounds [Vetter] |
19036 | The Barcan formula endorses either merely possible things, or makes the unactualised impossible [Vetter] |
11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |