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] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
6023 | Every proposition is either true or false [Chrysippus, by Cicero] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |