شرح برهان شفا - مصباح یزدی، محمد تقی - الصفحة ٩٧ - در « كلى» بودن مقدمات برهان و در معناى « اوّلى» و تتميم سخن درباره « ذاتى»
پس روشن شد كه هر محمولى كه بر اعم از موضوع حمل شود، اولا محمول بر اعم است و ثانياً بر موضوع حمل مىشود بر اين اساس، وقتى مىگوييم «هر مثلث متساوىالساقينى زوايايش مساوى با دو قائمه است» محمول در اين قضيه براى مثلثهاى ديگر نيز محقق مىشود. پس اين محمول اوّلا براى مطلقِ مثلث است و بر مثلث متساوىالساقين ثانياً حمل مىگردد.
متن
و هذا الصّنفُ الأوّلُ ربما كانَ المحمولُ أوّلا فيه أعمَّ من الموضوعِ، كالجسمِ للحيوانِ فى المثالِ الأوّلِ، و الحيوان للإنسان. و ربما كانَ مساوياً مثلُ «مساواةِ الزّوايا لِقائمتَينِ» للمثلّثِ. و هذا ربما كانَ داخلا فى الماهيةِ كما فى المثالِ الأوّل، و ربما كانَ عَرضاً ذاتياً كما فى المثالِ الثّانى.
و يجوزُ أنْ يكونَ الموضوعُ الَّذى يَعرِض له العارضُ أوّلا مقوِّماً لماهيةِ الموضوعِ الّذى يَعرِض له ذلكَ ثانياً: مثلُ المثلث: فانَّ كونَ الزوايا هكذا يَعرِض له أوّلا. و أمّا متساوِى الساقَينِ فإنّما يَعرِض لَه ذلك ثانياً، فيكونُ عارضاً أوّلا لِجِنسِهِ، و عارضاً ثانياً لَه و جنسُه يُقوِّمُه.
ترجمه
و در صنف اوّل، چه بسا محمولِ أوّلى أعم از موضوع باشد مثل جسم براى حيوان در مثال اوّل، و حيوان براى انسان. و گاهى مساوى با موضوع است مثل «تساوى زوايا با دو قائمه» براى مثلث. و نيز محمول اوّلى گاهى داخل در ماهيت موضوع است مثل مثالِ اول، و گاهى عرض ذاتىِ موضوع است مانند مثال دوّم.
و ممكن است موضوعى كه عارض خاصى نيست به آن عروض اوّلى دارد عارض خاصى نيست به آن عروض اوّلى دارد مقومِ ماهيت موضوعى باشد كه نسبت به آن عروض ثانوى دارد مثل مثلث كه تساوى زوايا با دو قائمه اولا بر آن عارض مىشود. و امّا اين محمول بر مثلث متساوىالساقين ثانياً عارض مىگردد. پس اوّلا عارضِ جنس متساوىالساقين مىشود و ثانياً عارض بر خود متساوى الساقين مىگردد و جنس متساوىالساقين (مثلّث) مقومِ ماهيت آن است.
متن
وَ يُمكنُ أنْ يكونَ عارضاً أولا لعارض للموضوعِ: مثلُ الزّمان فإنّه أوّلا للحركةِ ثم لِلجسم، و