An introduction to the syllogism and the logic of proportional quantifiers