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