بالاخره يك حمل اوّلى وجود دارد كه واسطه ندارد .
( 533 ) و إنه و إن كان كثير من الحمل على الموضوع يكون لسبب عام مثل أن حمل مساواة ثلاث زوايا المثلث لقائمتين على متساوى الساقين و على مختلف الأضلاع ليس و لا على واحد منهما أولا من جهة ما هو هو ، بل من جهة ما هو مثلث - و المثلث عام لهما - فليس يجب أن يكون دائما كل حمل لكل شىء إنما هو أولا لشىء عام ، حتى يكون للمثلث شىء آخر عام ، و كذلك لذلك الشىء شىء آخر عام . بل يكون آخر الأمر لشىء بذاته و أولا ، و يكون له بلا واسطة و المقدمة الواحدة و البسيطة و الا سطقسية هى فى هذه التى لا واسطة لها ، و لا تنقسم بالقوة إلى مقدمتين بدخول حد ؛ و ليس عليها برهان : فإن ما ليس ينقطع به حد أوسط فليس عليه برهان .
( 533 ) و هرچند بسيارى از حملها بر موضوع به خاطر سبب عام انجام مىگيرد مثل حمل مساوات زواياى داخل مثلث با دو قائمه بر مثلث متساوى الساقين و بر مثلث مختلف الاضلاع ، كه اين حمل بر هيچ يك از آنها حمل اوّلى نيست ، بلكه از جهت مثلث بودن است - و مثلث نسبت به آنها عام است - امّا اينطور نيست كه لازم باشد دائما هر حملى براى هر چيزى ابتدا حمل به شىء عام باشد ، تا اينكه مثلا براى مثلث چيز عام ديگرى باشد و براى آن چيز ، چيزى عامتر ديگرى باشد . بلكه بايد نهايتا حمل بذاته و اولى و بدون واسطه باشد . و مقدمهى واحد و بسيط و اسطقسى 452 مقدمهاى است كه واسطه ندارد و حتى بالقوه نيز از طريق يك حدّ به دو مقدمه قابل تقسيم نيست ، و برهان نيز ندارد ؛ زيرا آنچه كه با حدّ اوسطى قطع نشود ، برهان ندارد . 453
( 534 ) و هذه المبادئ بعضها مبادئ البراهين المنتجه للموجبات ، و بعضها مبادئ البراهين المنتجة للسالبات . فإنه كما أنه قد تكون مقدمة غير ذات وسط موجبة - و هى مبدأ للبرهان الموجب ، كذلك تكون مقدمة غير ذات وسط سالبة ، و هى مبدأ للبرهان السالب .
( 534 ) برخى از اين مبادئ ، مبادى براهينى هستند كه نتيجه موجبه دارند و برخى ديگر مبادى براهينى هستند كه نتيجهى سالبه دارند . و همانطور كه مقدمهى بدون وسط موجبه مبدأ برهان موجب است ، همانطور مقدمهى بدون واسطهى سالبه نيز ، مبدأ برهان سالب است .
برهان شفا ( فارسى ) — صفحة 340
مساهمون: أبو علي سينا
ص٣٤٠