برهان شفا - ابن سينا - الصفحة ٢١٢ - فصل هفتم در اختلاف علوم و اشتراك آنها به طور مفصل
نيست، بلكه تحت علم حساب است.
(٢٨٦) و أما الذى عمومه عموم الموجود و الواحد فلا يجوز أن يكون العلم بالأشياء التى تحته جزءا من علمه: لأنها ليست ذاتية له على أحد وجهى الذاتى. فلا العام يؤخذ حد الخاص و لا بالعكس؛ بل يجب أن تكون العلوم الجزئية ليست أجزاء منه. و لأن الموجود و الواحد عامان لجميع الموضوعات، فيجب أن تكون سائر العلوم تحت العلم الناظر فيهما. و لأنه لا موضوع أعم منهما فلا يجوز أن يكون العلم الناظر فيهما تحت علم آخر. و لأن ما ليس مبدأ لوجود بعض الموجودات دون بعض، بل هو مبدأ لجميع الموجود المعلول، فلا يجوز أن يكون النظر فيه فى علم من العلوم الجزئية، و لا يجوز أن يكون بنفسه موضوعا لعلم جزئى، لأنه يقتضى نسبة إلى كل موجود. و لا هو موضوع العلم الكلى العام، لأنه ليس أمرا كليا عاما. فيجب أن يكون العلم به جزءا من هذا العلم.
(٢٨٦) امّا آنچه كه عموميت آن، مثل عموميت موجود و واحد است، جايز نيست كه علم مربوط به اشيايى كه تحت آن قرار مىگيرد جزئى از علم به آن مفاهيم باشد: زيرا اين مفاهيم براى مفاهيم اخص، به هيچ يك از دو معنى ذاتى، ذاتى نيستند. ٢٦٠ و نه امر عام در حد امر خاص اخذ مىشود و نه برعكس آن امكانپذير است؛ بلكه واجب است كه علوم جزئيه اجزاء آن نباشند، و چون موجود و واحد نسبت به جميع موجودات عام هستند، واجب است كه ساير علوم تحت علم مربوط به آن دو واقع شوند. و چون هيچ موضوعى اعم از اين دو نيست بنابراين جايز نيست كه علم مربوط به آنها تحت علم ديگرى قرار گيرد. و چون آنچه كه مبداء بعضى از موجودات نيست، بلكه مبدأ جميع موجودات معلول است، جايز نيست در علمى از علوم جزئى مطمح نظر واقع شود و نيز جايز نيست كه خود، موضوع علمى جزئى باشد زيرا اقتضا دارد كه با تمام موجودات نسبت داشته باشد و از سوى ديگر موضوع علم كلى عام هم نيست، زيرا امر كلّى نيست، پس واجب است كه علم به آن جزئى از اين علم [علم كلّى] باشد. ٢٦١
(٢٨٧) و لأنا قد وضعنا أن من مبادئ العلوم ما ليس بينا بنفسه، فيجب أن يبين فى علم آخر إما جزئى مثله أو أعم منه فننتهى لا محالة إلى أعم العلوم. فيجب أن تكون مبادئ سائر العلوم تصح فى هذا العلم. فلذلك يكون كأن جميع العلوم تبرهن على قضايا شرطية متصلة: مثلا إنه إن كانت الدائرة موجودة فالمثلث الفلانى كذا، أو المثلث الفلانى موجود.
فإذا صير إلى الفلسفة الأولى يبيّن وجود المقدم فيبرهن أن المبدأ كالدائرة مثلا موجود.