display all the ideas for this combination of texts
4 ideas
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
6023 | Every proposition is either true or false [Chrysippus, by Cicero] |
9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |