( 157 ) حيث قال عند تفسير « العضدي » قياس الخلف بأنه اثبات المطلوب بابطال نقيضه ، قلنا :
لو ثبت نقيض النتيجة لثبت منضما إلى مقدمة من القياس يلزم المحال واللازم منتف فلا يثبت ، وقد يفهم من ظاهر العبارة : ان كل قياس استثنائي متصل استثنى فيه نقيض التالي فهو قياس الخلف وليس كذلك بل يشترط ان يقصد فيه اثبات المطلوب بابطال نقيضه وح يكون عبارة عن قياسين : أحد هما اقتراني شرطي والاخر استثنائي متصل إلى آخر ما ذكره المحشى ، لكن الذي رأيته فيه « نعم » بدل « ثم » ولعله هكذا وقع في نسخة المحشى والامر سهل .
وقد يقال في انحلاله إلى قياسين هكذا : لو لم يتحقق المطلوب لتحقق نقيضه لكن التالي باطل ينتج :
ان المقدم باطل ، ثم نقول في بطلان التالي : ان نقيض المطلوب يستلزم محالا وكلما يستلزم محالا فهو محال ينتج : ان نقيض المطلوب محال فالأول قياس استثنائي متصل والثاني قياس اقتراني حملى . ( ميرزا محمد على )
الحاشيه على تهذيب المنطق للتفتازاني — صفحة 371
مساهمون: عبد الله بن شهاب الدين الحسين اليزدي
ص٣٧١