برهان شفا - ابن سينا - الصفحة ٣٦٨ - فصل هشتم در بازگشت به ذكر اختلاف علوم و اتفاق آنها در مبادى و موضوعات
(٥٨٨) فبيّن أن مبادئ النتائج الكاذبة هى مختلفة مثل هذه.
(٥٨٨) بنابراين روشن مىشود كه مبادى نتايج كاذب، مانند مثالهاى فوق، اختلاف دارند.
(٥٨٩) و أيضا فإن المقاييس الصادقة يجب أن لا تكون واحدة بأعيانها: و ذلك أن المبادئ إما خاصة بالأجناس الموضوعة لكل علم، فتكون من موضوعاتها و من عوارضها الذّاتيّة: مثل قولنا فى الهندسة إن كل مقدار إما منطوق و إما أصم، و قولنا فى العدد: كلّ عدد إما أول و إما مركب. و بيّن أن هذه مختلفة لا مطابقة فيها، لأن الهندسة كلّها بعد النقطة، و العددية كلها بعد الوحدة، و لا يمكن بينهما مطابقة ألبتة صرفة. و لو كانت مطابقة غير صرفة لكانت على أحد وجوه:
(٥٨٩) و همچنين ضرورت ندارد كه مبادى قياسات صادق عينا يكسان باشد: و اين بدين خاطر است كه مبادى يا خاصّ به اجناس موضوع هر علم است، كه در اين صورت از موضوعات و از عوارض ذاتى آن علم خواهند بود: مثل اين سخن در هندسه كه «هر مقدارى يا منطق است يا اصم»، ٤٩٣ و اين سخن در حساب كه: «هر عددى يا اول است يا مركب.» و روشن است كه اين مبادى مختلفاند و مطابقتى بينشان نيست، زيرا تمام علم هندسه بعد از «نقطه» و تمام علم حساب بعد از «وحدت» است ٤٩٤ و البته بينشان مطابقت صرف نيست. و اگر مطابقت غير صرف بينشان باشد به يكى از دو صورت زير خواهد بود:
(٥٩٠) إما أن يكون أحد المبدأين أعم من الآخر كقولنا كل ج ا و كل ب ا على أن ج تحت ب. فإذا كان كذلك كان أحد المبدأين تحت الآخر أو فوقه، فكان حينئذ أحد الجنسين تحت الآخر أو فوقه. و مثل هذه الشركة قد تقع فى المبادئ. و هناك قد يكون الأمر على ما أوضحناه قبل، و ذلك إذا كانت أجناس العلوم المتشاركة واقعا بعضها تحت بعض. و أما الأجناس التى ليس بعضها تحت بعض فلا يمكن ذلك فيها، و أعنى بالأجناس الموضوعات.
(٥٩٠) يا يكى از آن دو مبدأ اعمّ از مبداء ديگر باشد مانند: هر «ج» «الف» است و هر «ب» «الف» است بهطورى كه «ج» تحت «ب» باشد. و اگر چنين باشد يكى از دو مبدأ، تحت ديگرى يا فوق ديگرى خواهد بود و در اين صورت يكى از دو جنس، تحت ديگرى يا فوق