آثار الباقية في شرح الحاشية - ذهنی تهرانی، سید محمد جواد - الصفحة ٣٥١ - شرط شكل چهارم
الف : آنكه صغرى كلّى بوده و لكن مقدّمتين هردو سالبه باشند .
ب : آنكه هردو مقدمة موجبه بوده ولى صغرى جزئى باشد .
ج : آنكه مقدّمتين در سلب و ايجاب اختلاف داشته و لكن هردو جزئى باشند .
و طبق هرسه تقدير در نتيجه اختلاف حاصل شده و نتيجه نميدهد .
حاشيه : امّا على الاوّل، فلانّ الحقّ فى قولنا : لا شئ من الحجر بانسان، و لا شى من الناطق بحجر هو الايجاب و لو قلنا « لا شى من الفرس بحجر » كان الحقّ السّلب .
و امّا على الثّانى، فلانّا اذا قلنا بعض الحيوان انسان و كلّ ناطق حيوان كان الحقّ الايجاب و لو قلنا « و كلّ فرس حيوان » كان الحقّ السّلب .
و امّا على الثّالث، فلانّ الحقّ فى قولنا « بعض الحيوان انسان و بعض الجسم ليس بحيوان » هو الايجاب و لو قلنا « بعض الحجر ليس بحيوان » كان الحقّ السّلب .
ترجمه و شرح : مرحوم محشّى ميفرمايد :
امّا اختلاف در صورت اوّل كه مقدّمتين هردو سالبه هستند و لو اينكه صغرا كلّى باشد بخاطر اينكه در مثال « لا شى من الحجر بانسان، و لا شى من الناطق بحجر » حقّ ايجاب است يعنى بايد بگوئيم : كلّ انسان ناطق .
حال اگر كبرى را به « لا شى من الفرس بحجر » مبدّل نمائيم حقّ در نتيجه سلب است يعنى بايد بگوئيم : لا شى من الانسان بفرس و اين اختلاف در نتيجه كه در يك فرض سلب و در فرض ديگر ايجاب ميباشد دليل عقيم بودن از نتيجه است .
و امّا اختلاف در صورت دوّم كه صغرى جزئى است اگر چه هردو مقدمه موجبه باشند بجهت اينكه در مثال « بعض الحيوان انسان و كلّ ناطق
آثار الباقية في شرح الحاشية، ص