display all the ideas for this combination of texts
3 ideas
10569 | If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K] |
10570 | Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K] |
11261 | Puzzles arise when reasoning seems equal on both sides [Aristotle] |