ترجمه حاشیه تهذیب المنطق صفحه 26

هیئته فاستثنائی و الا فاقترانی و هو حملی او شرطی و الموضوع المطلوب من الحملی یسمی اصغر و محموله اکبر و المتکرر اوسط و ما فیه الاصغر الصغری و الاکبر الکبری؛و الاوسط إمّا محمول الصغری و موضوع الکبری و هو الشکل الاول او محمولهما فالثانی او موضوعهما فالثالث او عکس الاول فالرابع و یشترط فی الاول ایجاب الصغری و فعلیتها مع کلیه الکبری لینتج الموجبتان مع الموجبه الکلیه الموجبتین و مع السالبه الکلیه السالبتین بالضروره و فی الثانی اختلافهما فی الکیف و کلیه الکبری مع دوام الصغری او انعکاس السالبه الکبری او کون الممکنه مع الضروریه او مع کبری مشروطه لینتج الکلیتان سالبه کلیه و المختلفان فی الکمّ ایضاً سالبه جزئیه بالخلف او عکس الکبری او عکس الصغری ثم عکس الترتیب ثم عکس النتیجه.

و فی الثالث ایجاب الصغری و فعلیتها مع کلیه احدیهما لینتج الموجبتان مع الموجبه الکلیه و بالعکس موجبه جزئیه و مع السالبه الکلیه او الکلیه مع الجزئیه سالبه جزئیه بالخلف او عکس الصغری او الکبری ثم الترتیب ثم النتیجه و فی الرابع ایجابهما مع کلیه الصغری او اختلافهما مع کلیه احدیهما لینتج الموجبه الکلیه مع الاربع و الجزئیه مع السالبه الکلیه و السالبتان مع الموجبه الکلیه و کلیتها مع الموجبه الجزئیه جزئیه موجبه إن لم یکن سلباً و الا فالسالبه بالخلف او بعکس الترتیب ثم عکس النتیجه او بعکس المقدمتین او بالرّد الی الثانی بعکس الصغری او الثالث بعکس الکبری.

و الضابطه الشرائط الاربعه أنّه لابد اما من عموم موضوعیه الاوسط مع ملاقاته للاصغر بالفعل او مع حمله علی الاکبر و اما من عموم موضوعیه الاکبر مع الاختلاف فی الکیف مع منافاه نسبه وصف الاوسط الی وصف الاکبر للنسبه الی ذات الاصغر.

فصل:الشرطیه من الاقترانی إمّا أن یترکّب من متّصلین او منفصلین او حملیه و متصله او حملیه و منفصله او متصله و منفصله و ینعقد فیه الاشکال الاربعه و فی تفصیلها طول.

فصل:الاستثنائی ینتج من المتصله وضع المقدم و رفع التالی و الحقیقه وضع کل کمانعه الجمع و رفعه کمانعه الخلو،و قد یختص باسم قیاس الخلف ما یصدق به إثبات المطلوب بإبطال نقیضه و مرجعه الی استثنائی و اقترانی.

فصل:الاستقراء تصفّح الجزئیات لاثبات حکم کلیّ،و التمثیل هو بیان مشارکه جزئی