display all the ideas for this combination of texts
4 ideas
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |