4 ideas
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
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] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |