display all the ideas for this combination of texts
4 ideas
15029 | Modal accounts of logical consequence are simple necessity, or essential use of logical words [Sider] |
13288 | Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki] |
14506 | 'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki] |
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |