display all the ideas for this combination of texts
3 ideas
19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
21611 | Formal semantics defines validity as truth preserved in every model [Williamson] |
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |