فصل عنه ذكر الحاصل من جملتيه كما إذا قلت كل جسم قرين كون في جهة معينة وكل كون في جهة معينة حادث وكل قرين حادث حادث وكل جسم حادث ولك أن تجعل الوصل عبارة عن أن يوصل الدليل بالتصريح بجميع ما لابد منه في استلزامه للمطلوب والفصل عبارة عن ترك شيء إذا علم موقعه فنقول في قولك هذا مساو لذلك وذاك مساو لذلك فهذا مساو لذلك إنه مفصول، وفي قولك هذا مساو لذاك وذاك مساو لذلك وكل لمساو لشيء مساو لذلك الشيء فهذا مساو لذلك أنه موصول وأن تقول في قولك إن كانت الشمس طالعة فالنهار موجود وإن كان النهار موحوداً فالأعشى يبصر والشمس طالعة فالأعشى يبصر أنه مفصول وفي قولك والشمس طالعة فالنهار موجود فالأعشى يبصر أنه موصول. والقياس الاستثنائي عبارة عن الاستدلال بثبوت الملزوم على ثبوت لازمه وبنفي اللازم على انتفاء ملزومه دون مقابليهما إلا فيما كان اللازم مساويا لكن ذلك لا يكون عن قوة النظم مثال الاستدلال بثبوت الملزوم على ثبوت اللازم إن كان هذا إنسانا فهو حيوان لكنه انسان فيحصل هو حيوان ومثال الاستدلال بنفي اللازم على انتفاء ملزومه إن كان إنسانا فهو حيوان لكنه ليس بحيوان فيحصل ليس هو بإنسان وهو من الدلالات الواضحة المستلزم تكذيبها الجمع بين النقيضين استلزاما ظاهرا، ولك تنزل الأول منهما منزلة الضرب الثاني من الصورة الأولى لأن قولنا إن كان هذا إنسانا فهو حيوان في قوة كل إنسان حيوان فتجعله لاحقة وتجعل قولك لكنه إنسان وهو في قوة هو إنسان سابقة وتركب الدليل هكذا هو إنسان وكل إنسان حيوان فيحصل هو حيوان وأن تنزل الثاني