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] |
9154 | Frege agreed with Euclid that the axioms of logic and mathematics are known through self-evidence [Frege, by Burge] |
9724 | Until the 1960s the only semantics was truth-tables [Enderton] |