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