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