4 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
14286 | In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker] |
14285 | A possible world is the ontological analogue of hypothetical beliefs [Stalnaker] |