Aristotle's Syllogistic From the Standpoint of Modern Formal Logic