"Aristotelian logic"@en-us . .