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