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