المنطق وتمثيل المعرفة

قواعد المعرفة والنماذج وعلاقة الاستلزام؛ وفحص النماذج بوصفه نقلاً مباشراً للتعريف، وما تَعِد به السلامة والاكتمال كلٌّ على حدة.

تحويل العبارات إلى فقرات، وقاعدة الحلّ الوحيدة، والبرهان بالنقض، وصور الفقرات المقيَّدة التي تجعل الاستنتاج رخيصاً.

ما تشتريه المسوّرات فوق القضايا، وكيف يرفع التعويضُ والتوحيدُ وقاعدةُ الوضع المعمّمة الاستنتاجَ من الوقائع المفردة إلى القواعد العامة.