دو صدق هستند و قانون اين است كه : اثبات اخص مستلزم اثبات اعم هست ولى انتفاء اخص مستلزم انتفاء اعم نيست ؛ پس بقاء كذب معتبر نيست ، بر خلاف ابن سينا كه بقاء كذب را نيز معتبر دانسته و نيز بر خلاف شيخ اشراق كه محفوظ ماندن كذب را هم معتبر دانستهاند .
مرحوم خواجه طوسى فرموده :
« و امّا اشتراط الكذب فيه فمستدرك لان استلزام صدق الملزوم لصدق لازمه لا يقتضى استلزام كذب الملزوم لكذب لازمه فان استثناء نقيض المقدم لا ينتج ، و من المواد الكاذب و عكسه و هو أن بعض الناس حيوان صادق ، فزيادة و الكذب فى الكتاب سهو لعله وقع من ناسخيه فان اكثر الكتب خالية عنها ، و قد رأيت بعض نسخ هذا الكتاب ايضا خاليا عنها » « 1 » .
و لذا قطب الدين شيرازى به خواجه اعتراض كرده و مىگويد :
« و لا يجوز اشتراط بقاء الكذب على ما وقع فى جميع نسخ الكتاب بل فى جميع مصنفاته فانّ صدق الازم عند صدق الملزوم لا يلزم منه كذبه عند كذبه لجواز استلزام الكاذب الصادق فان قولنا كل حيوان انسان كاذب مع صدق عكسه و هو كل انسان حيوان و لو اعتبر بقاء الكذب ليخرج مثل هذه اللوازم من ان يكون عكسا مع ان صاحب الكتاب يعترف بكونه عكسا لاعترافه بانعكاس للموجبة الكليه مطلقا و كانه نقل قيد الكذب من بعض الكتب من غير تامل فيه » « 2 » .
مبحث دوّم : بيان چهار قاعده ؛ از نكاتى كه ذكر شد چهار قضيه مستفاد است :
الف . كلما صدق العكس صدق العكس ، چون ملزوم و لازمند .
ب . ليس كلما كذب الاصل كذب العكس ، چون اعم و اخص هستند .
ج . كلما كذب العكس كذب الاصل ، چون انتفاء اعم مستلزم انتفاء اخص است .
دليل وقتى عكس كاذب شد اصل نيز كاذب مىشود زيرا اگر اصل صادق باشد به حكم قاعده « الف » بايد عكس آن نيز صادق باشد اين خلف يعنى خلاف مفروض است كه كذب عكس را فرض كردهايم پس حتما مستلزم كذب اصل است .
د . ليس كلما صدق العكس صدق الاصل ، چون از اثبات اعم اثبات اخص لازم نمىآيد .
هامش
( 1 ) . شرح اشارات ، جلد 1 ، صفحهء 196 .
( 2 ) . شرح حكمة الاشراق ، صفحهء 89 .