display all the ideas for this combination of texts
3 ideas
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |