Al-Farabi, Syllogism: An Abridgement of Aristotle s Prior Analytics