display all the ideas for this combination of texts
4 ideas
8077 | Stoic propositional logic is like chemistry - how atoms make molecules, not the innards of atoms [Chrysippus, by Devlin] |
20791 | Chrysippus has five obvious 'indemonstrables' of reasoning [Chrysippus, by Diog. Laertius] |
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |