فصل
[في القياس الاستثنائيّ]
الاستثنائيّ : امّا متّصل ؛ فيلزم استثناء مقدّمه ، تاليه. واكثره ب : «إن». ونقيضه ، نقيضه. واكثره ب : «لو».
وامّا منفصل ؛ ويلزمه التنافي ؛ امّا اثباتا ونفيا ؛ فمن اثبات كلّ ، نقيض الآخر ؛ ومن نقيضه ، عينه ؛ او اثباتا ، فالاوّلان ؛ أو نفيا ، فالاخيران.
ويردّ الاقترانيّ الى الاستثنائيّ ؛ وبالعكس.
______________________________________________________
بـ : «إن» : فانّها وضعت لتعليق الوجود بالوجود. قد علّق وجود التالي بوجود المقدّم ، ليتوصّل من الموجود المعلّق به ، الى الآخر ؛ فناسب استعمالها. وقد تستعمل «إن» فيما يستثنى فيه نقيض التالي ؛ اذ هناك ـ ايضا ـ يرتبط وجود التالي بوجود المقدّم ؛ لكن لا يتوصّل باحدهما الى الآخر ؛ بل ، ينتقل من انتفاء وجود التالي الى انتفاء وجود المقدّم ؛ فيجوز استعمالها فيه.
ونقيضه ، نقيضه : اي : [يلزم] استثناء نقيض التالي ، نقيض المقدّم. ولا يلزم (١) من
__________________
(١) م ٢ : فلا يلزم.