دانشجوی دکتری دانشگاه تهران
عنوان مقاله [English]
Athir al-Din Abhari is one of the most outstanding logicians of the Islamic period, even though he is less known to contemporary scholars than other logicians. This article, by presenting an edition of al-Risalat al-Zahirah (The Shining Treatise), not only makes available for the first time in print an important text in the field of logic, but also surveys some of Abhari's logical thought with an analysis of the text from the perspective of modern logic. The important issues which this article presents are: 1. that Abhari believes that transitivity of implication does not result in connective-conditionals. He mentions and then criticizes the exact proof which is now used to prove this rule; 2. that Abhari was aware of the conditional proof; 3. that Abhari challenged the conditional contraposition; 4. that Abhari, like relative logicians, considers entailment implication to be valid, whereas his opponents, like the Stoics and the followers of Frege-Russellean logic apply material implication. al-Risalat al-Zahirah has been edited using a selective methodology on the basis of the manuscripts of Tehran University, the Iranian Islamic Congress Library, and the Ayatullah MarAshi' Library.