Combining Philosophers

Ideas for H.Putnam/P.Oppenheim, Bob Hale and Sarah Sawyer

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


12 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
If second-order variables range over sets, those are just objects; properties and relations aren't sets [Hale]
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
Maybe conventionalism applies to meaning, but not to the truth of propositions expressed [Hale]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Semantic theory should specify when an act of naming is successful [Sawyer]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Millians say a name just means its object [Sawyer]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
We should decide whether singular terms are genuine by their usage [Hale]
Often the same singular term does not ensure reliable inference [Hale]
Plenty of clear examples have singular terms with no ontological commitment [Hale]
If singular terms can't be language-neutral, then we face a relativity about their objects [Hale]
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
Sentences with empty names can be understood, be co-referential, and even be true [Sawyer]
Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Unlike axiom proofs, natural deduction proofs needn't focus on logical truths and theorems [Hale]