Aristotle's Syllogistic: From the Standpoint of Modern Formal Logic