display all the ideas for this combination of texts
3 ideas
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
14106 | Implication cannot be defined [Russell] |
14108 | It would be circular to use 'if' and 'then' to define material implication [Russell] |