Aristotle's Theory of the Syllogism