We describe the traditional presentation of the syllogisms, and introduce Aristotle's existential assumption, on the basis of which he derives nine more syllogisms. These are not sound in our sense — but every counterexample to one of these must include an empty predicate.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.