قارن نقداً بين نظرية القياس عند الفارابي ونظرية الاستلزام المادي في المنطق الرمزي الحديث. ناقش أوجه التقاطع والتباعد في كيفية تقييم صحة الحجج، واشرح القيود المفروضة على كل منهج في التعامل مع الجمل الشرطية المركبة.