display all the ideas for this combination of texts
3 ideas
10259 | The two standard explanations of consequence are semantic (in models) and deductive [Shapiro] |
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
10257 | Intuitionism only sanctions modus ponens if all three components are proved [Shapiro] |