display all the ideas for this combination of texts
2 ideas
| 4333 | Contraries are by definition as far distant as possible from one another [Aristotle] |
| Full Idea: Contraries are by definition as far distant as possible from one another. | |
| From: Aristotle (Nicomachean Ethics [c.334 BCE], 1108b33) | |
| A reaction: A nice concept and definition. Note that it is being used about ethics (the mean), not just about pure logic or mathematics. |
| 16854 | Contrary pairs entail contradictions; one member entails negation of the other [Lipton] |
| Full Idea: All pairs of contraries entail a pair of contradictories, since one member of such a pair always entails the negation of the other. P&Q and not-P are contraries, but the first entails P, which is contradictory of not-P. | |
| From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 09 'Is the best') |