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