display all the ideas for this combination of texts
2 ideas
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 |
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. |