دقائق الحقائق-قسم علم المنطق

Daqa'iq al-Haqa'iq: Qism 'Ilm al-Mantiq

A significant work on formal logic by the distinguished theologian, jurist, and philosopher Sayf al-Din al-Amidi (d. 631 AH), in which he presents a rigorous treatment of the principal subjects of Aristotelian logic. The work examines concepts, propositions, definitions, syllogistic reasoning, and demonstrative proof with careful analysis, while critically engaging with the views of earlier logicians and philosophers.