Combining Philosophers

Ideas for H.Putnam/P.Oppenheim, Michael Dummett and Socrates

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

display all the ideas for this combination of philosophers

---

2 ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic

639	Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle]
	Full Idea: Socrates aimed to establish formal logic, of whose syllogisms essences are the foundations. He developed inductive arguments and also general definitions.
	From: report of Socrates (reports of career [c.420 BCE]) by Aristotle - Metaphysics 1078b

4. Formal Logic / A. Syllogistic Logic / 3. Term Logic

19053	Logic would be more natural if negation only referred to predicates [Dummett]
	Full Idea: A better proposal for a formal logic closer to natural language would be one that had a negation-operator only for (simple) predicates.
	From: Michael Dummett (Presupposition [1960], p.27)
	A reaction: Dummett observes that classical formal logic was never intended to be close to natural language. Term logic does have that aim, but the meta-question is whether that end is desirable, and why.