Al-Farabi

Abu Nasur al-Farabi (ca. 872-950) was an Arabic polymath and philosopher, and the first Arabic logician credited with developing a non-Aristotelian logic. He discussed the topics of future contingents, the number and relation of the categories, the relation between logic and grammar, and non-Aristotelian forms of inference. He is also credited with categorizing logic into two separate groups, the first being "idea" and the second being "proof." Nicholas Rescher assembles this annotated bibliography, listing printed materials relating to al-Farabi, and summaries that provide further details of these works.