Aristotelian thinking about syllogism