display all the ideas for this combination of texts
4 ideas
19296 | If second-order variables range over sets, those are just objects; properties and relations aren't sets [Hale] |
19289 | Maybe conventionalism applies to meaning, but not to the truth of propositions expressed [Hale] |
4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
19298 | Unlike axiom proofs, natural deduction proofs needn't focus on logical truths and theorems [Hale] |