display all the ideas for this combination of texts
2 ideas
11283 | There is pure deductive reasoning, and explanatory demonstration reasoning [Aristotle, by Politis] |
Full Idea: Aristotle distinguishes between deductive reasoning (sullogismos) and demonstration (apodeixis). All demonstration is deductive reasoning, but not all deductive reasoning is demonstration. | |
From: report of Aristotle (Posterior Analytics [c.327 BCE], Bk I.2) by Vassilis Politis - Aristotle and the Metaphysics 5.3 | |
A reaction: This sounds not far off the distinction between single-turnstile (formal proof) and double-turnstile (semantic consequence). Politis says, though, that the key point is the demonstration is explanatory. |
1672 | Maybe everything could be demonstrated, if demonstration can be reciprocal or circular [Aristotle] |
Full Idea: Some optimists think understanding arises only through demonstration, but say there could be demonstration of everything, for it is possible to demonstrate in a circle or reciprocally. | |
From: Aristotle (Posterior Analytics [c.327 BCE], 72b16) | |
A reaction: I'm an optimist in this sense, though what is being described would probably best be called 'large-scale coherence'. Two reciprocal arguments look bad, but a hundred look good. |