آثار الباقية في شرح الحاشية - ذهنی تهرانی، سید محمد جواد - الصفحة ٣٥٧ - شرط شكل چهارم

بعض الحيوان ليس باسود و كل ناطق حيوان نتيجه بعض الاسود ليس بناطق .

٧- صغراى موجبه كليه با كبراى سالبه جزئيه مانند :

كلّ حيوان مائت و بعض الابيض ليس بحيوان نتيجه بعض المائت ليس بابيض .

٨- صغراى سالبه كليّه با كبراى موجبه جزئيه مانند :

لا شى من الشجر بحيوان و بعض الاخضر شجر نتيجه بعض الحيوان ليس باخضر .

متن : بالخلف او بعكس الترتيب ثم النتيجة او بعكس المقدّمتين او بالرّد الى الثانى بعكس الصغرى او الثالث بعكس الكبرى.

ترجمه : مصنّف براى اثبات نتائج ضروب شكل چهارم به پنج دلل متمسك شده باين ترتيب :

١- دليل خلف .

٢- عكس ترتيب يعنى ابتداء جاى صغرى را با كبرى عوض كرده تا بشكل اوّل برگردد و نتيجه حاصل از شكل اوّل را عكس مى‌نمائيم همان نتيجه مطلوب ميشود .

٣- هم صغرى و هم كبرى را عكس مى‌كنيم يعنى جاى موضوع و محمول را در هريك از صغرى و كبرى عوض مى‌نمائيم تا بشكل اوّل برگردد .

٤- شكل چهارم را بواسطه عكس نمودن خصوص صغرى بشكل دوّم برميگردانيم .

٥- شكل چهارم را بواسطه عكس نمودن خصوص كبرى بشكل سوّم برميگردانيم .

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