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] |
16416 | The quantifier in logic is not like the ordinary English one (which has empty names, non-denoting terms etc) [Hofweber] |
19298 | Unlike axiom proofs, natural deduction proofs needn't focus on logical truths and theorems [Hale] |