display all the ideas for this combination of texts
3 ideas
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
21668 | Epicurus rejected excluded middle, because accepting it for events is fatalistic [Epicurus, by Cicero] |
21676 | Epicureans say disjunctions can be true whiile the disjuncts are not true [Epicurus, by Cicero] |