ARISTOTLE'S PROGRAM Aristotle says outright that the law of non-contradiction cannot be demonstrated: you can't prove everything, and among the things you ...