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] |
8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
20791 | Chrysippus has five obvious 'indemonstrables' of reasoning [Chrysippus, by Diog. Laertius] |
8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |