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