آثار الباقية في شرح الحاشية - ذهنی تهرانی، سید محمد جواد - الصفحة ٣٨٩ - وجه تسميه به خلف

ميشويم مثلا در شكل دوّم در قياس :

كلّ انسان حيوان و لا شى من الحجران بحيوان نتيجه و مدّعا « لا شى من الانسان بحجر » است گفتيم اگر اين مدّعا صادق نباشد نقيض آن يعنى بعض الانسان حجر صادق است و اين محال است .

ب : آنكه انتقال بمطلوب و رسيدن بمقصود چون از خلف و ماوراء مطلوب است از اينرو اين برهان را به برهان خلف ناميده‌اند چنانچه در مثال فوق اينطور تقرير مى‌كنيم :

اگر مدّعا و مطلوب حقّ نباشد پس نقيضش ( ماوراء مطلوب ) بايد حق باشد تا آخر بيان دليل .

حاشيه : و ليس هذا قياسا واحدا بل ينحل الى قياسين :

احدهما : اقترانى شرطى .

و الآخر : استثنائى متّصل يستثنى فيه نقيض التالى هكذا :

لو لم يثبت المطلوب لثبت نقيضه و كلّما ثبت نقيضه ثبت المحال ينتج لو لم يثبت المطلوب لثبت المحال لكن المحال ليس بثابت فيلزم ثبوت المطلوب لكونه نقيض المقدّم .

ترجمه : يعنى اين دليل خلف خودش مشتمل بر دو قياس است نه قياس واحد و آن دو عبارتند از :

١- قياس اقترانى شرطى .

٢- قياس استثنائى متّصل كه در آن هميشه نقيض تالى را استثنائى كنيم و صورت اين دو قياس بدين نحوه است كه ميگوئيم :

لو لم يثبت المطلوب لثبت نقيضه ( صغرى قياس اقترانى ) و كلّما ثبت نقيضه ثبت المحال ( كبرى قياس اقترانى ) فلو لم يثبت المطلوب لثبت المحال ( نتيجه قياس اقترانى ) سپس همين نتيجه را يكى از دو مقدّمه قياس استثنائى قرار داده و سپس نقيض تالى را استثناء مى‌كنيم بدين نحو :

آثار الباقية في شرح الحاشية، ص