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] |
10801 | Either reference really matters, or we don't need to replace it with substitutions [Quine] |
19298 | Unlike axiom proofs, natural deduction proofs needn't focus on logical truths and theorems [Hale] |