display all the ideas for this combination of texts
3 ideas
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |