Combining Philosophers

Ideas for Douglas Lackey, Dag Prawitz and Harold Hodes

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

display all the ideas for this combination of philosophers

---

2 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic

13831	Logic is based on transitions between sentences [Prawitz]
	Full Idea: I agree entirely with Dummett that the right way to answer the question 'what is logic?' is to consider transitions between sentences.
	From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], §04)
	A reaction: I always protest at this point that reliance on sentences is speciesism against animals, who are thereby debarred from reasoning. See the wonderful Idea 1875 of Chrysippus. Hacking's basic suggestion seems right. Transition between thoughts.

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic

10015	Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
	Full Idea: Brand higher-order logic as unintelligible if you will, but don't conflate it with set theory.
	From: Harold Hodes (Logicism and Ontological Commits. of Arithmetic [1984], p.131)
	A reaction: [he gives Boolos 1975 as a further reference] This is simply a corrective, because the conflation of second-order logic with set theory is an idea floating around in the literature.