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