القواعد الجلية في شرح الرسالة الشمسية — الصفحة ٣٨٣
الفصل الرابع : في القياس الاستثنائي
تكون « 1 »
شرطية ، وتكون المقدمة الأخرى استثناء لوضع ، حتى يلزم منه وضع أو رفع ، حتى يلزم منه رفع .
مثل أن يقال : « 2 »
إن كانت الشمس طالعة فالنهار موجود ، لكن الشمس طالعة ، ينتج : فالنهار موجود ، أو تقول : لكن النهار ليس بموجود ، فالشمس ليست طالعة « 3 »
.
قال : ويجب إيجاب الشرطية ولزومية المتصلة « 4 »
وكليتها ، أو كلية الوضع والرفع « 5 »
، إن « 6 »
لم يكن وقت الاتصال والانفصال « 7 »
هو بعينه وقت الوضع والرفع « 8 »
.
أقول : يجب إيجاب الشرطية ، ليلزم من وضع أحد الجزءين وضع الآخر ومن رفع أحدهما رفع الآخر .
ويجب كون المتصلة لزومية ، لأنّ المرجع في هذا القياس إلى الاستدلال بوجود الملزوم على وجود اللازم ، أو بعدم اللازم على عدم الملزوم .
وهذا إنما يكون في اللزومية ، فانّ الاتفاقية يجب أن يكون وضعها أو رفعها معلوما ، فلا فائدة في القياس .
ويجب كون المتصلة أو المنفصلة كلية ، أو كون الوضع أو الرفع كليا ، أو كون الوقت واحدا ، فإنه لو انتفت هذه الأمور جاز أن يكون وقت الوضع أو
( 1 ) لفظ « تكون » لم يرد في ( ر ) .
( 2 ) في ( م ) : « تقول » .
( 3 ) في ( م ) : « بطالعة » .
( 4 ) في ( ش ) : « ولزومية المتصلة أو عنادية المنفصلة » .
( 5 ) في ( ش ) : « أو الرفع » .
( 6 ) في ( ر ) : « وإن » .
( 7 ) في ( ر ) : « أو الانفصال » .
( 8 ) في ( ش ) و ( ح ) : « أو الرفع » .