Aristotelian logic n 1: the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages