Aristotle's Posterior Analytics distinguishes demonstrative knowledge of universals from explanatory...