display all the ideas for this combination of texts
3 ideas
4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |