display all the ideas for this combination of texts
4 ideas
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
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] |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |