Al-Farabi's Commentaries on Aristotelian Logic: New Discoveries