( 203 ) جايز است كه موضوعى كه عارض ، اولا بر آن عارض مىشود مقوّم ماهيت موضوعى باشد كه عارض بر آن ثانيا عارض مىشود : مثل مثلث . زيرا تساوى زوايا با دو قائمه اولا بر آن عارض مىشود ، و ثانيا بر مثلث متساوى الساقين عارض مىشود پس اولا براى جنس آن و ثانيا بر خود آن ( مثلث متساوى الساقين ) عارض مىشود و جنس آن مقوّم آن است .
( 204 ) و يمكن أن يكون عارضا أولا لعارض للموضوع : مثل الزمان فإنه أولا للحركة ثم للجسم ، و الحركة عارضة للجسم . و عسى ألا تكون هذه الأولية معتبرة فى هذا الموضع ، بل تكون الأولية فى هذا الموضع هى ألا يكون الشىء محمولا على أعم من الذى قيل إنه له أولا و إن كان محمولا عليه بتوسط مساو . فكل برهان يقوم على حمل شىء على شىء غير أول ، فلا يكون البرهان قام عليه بالحقيقة ؛ بل فى الحقيقة إنما قام على ما هو له أول . فإن من بيّن أن كل مثلث متساوى الساقين فإن زواياه مساوية لقائمتين ، فلم يبين ذلك بالحقيقة من جهة ما هو متساوى الساقين ، بل من جهة ما هو مثلث .
( 204 ) و امكان دارد كه اوّل بر عارض بر موضوع عارض شود : مانند زمان ، كه اوّل عارض حركت و سپس عارض جسم مىشود و حركت عارض جسم است . 195 و چهبسا كه اين نوع اوّليت در كتاب « برهان » معتبر نباشد ، بلكه اوّليت در اينجا عبارت است از اينكه شى بر چيز اعمّ از آنچه كه گفته مىشود بر آن اوّلى است ، حمل نشود ؛ هرچند توسط امرى مساوى بر آن حمل شود . 196 پس هر برهانى براى حمل غير اوّلى چيزى بر چيزى اقامه شود ، 197 در حقيقت اين برهان براى اين موضوع اقامه نشده است . بلكه اين برهان در حقيقت براى موضوعى كه محمول براى آن اوّلى است اقامه شده است . مثلا اگر كسى ثابت كند كه زواياى هر مثلث متساوى الساقين ، با دو قامه مساوى است ، چنين كسى در حقيقت اين حكم را نه از جهت مثلث متساوى الساقين ، بلكه از جهت مطلق مثلث ثابت كرده است .
( 205 ) و ليس من شرط الأول ألا يكون بينه و بين الموضوع واسطة : فإن بين هذا العارض للمثلث و بين المثلث وسائط و حدودا مشتركة كلها عوارض أقرب منه . بل الشرط ما قد بيناه أولا .
( 205 ) و البته از شرايط « اوّل » بودن اين نيست كه بين آن و بين موضوع هيچ واسطهاى نباشد : زيرا بين اين حكم ( تساوى با دو قائمه ) براى مثلث و بين مثلث وسائط و حدود مشتركى
برهان شفا ( فارسى ) — صفحة 163
مساهمون: أبو علي سينا
ص١٦٣