Three logicians : Aristotle, Leibniz, and Sommers and the syllogistic