Aristotle, Prior Analytics