display all the ideas for this combination of philosophers
3 ideas
5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |