مع الإنكار والعناد تسمى « مصادرات » ، كقوله : « كل خط وقع على خطين وصير الزوايتين الداخلتين في جهة أقل من قائمتين فإنّ ذينك الخطين إذا أخرجا « 1 » في تلك الجهة يلتقيان » ، ويصدّر العلم بالمبادئ . واعلم أنّ المبادئ قد تكون عامة يشترك فيها جميع العلوم مثل الأوليات ، كقولك : « كل شيء لا يخلو عن النفي والإثبات ولا يصدق عليهما الإيجاب والسلب » و « الشيء « 2 » لا يثبت بذاته » وغير ذلك من القضايا البيّنة . وقد تكون عامة لعلمين أو أكثر ، كقولك : « الأشياء المساوية لشيء واحد متساوية » و « نصف كل شيء أقلّ من كله وضعفه أكثر منه » وغير ذلك مما يشترك فيها الحساب والهندسة وما يتعلق بهما . وقد تكون المبادئ خاصة بعلم ، وهي مقدمات تكون موضوعاتها نفس موضوع ذلك العلم أو نوع موضوع « 3 » ذلك العلم أو عرضا ذاتيا له ، ومحمولاتها أعراض ذاتية مساوية أو عامة بسبب جنس ، كقولك : « كل مقدار إمّا أن يكون مساويا لمقدار آخر أو مخالفا له » ، فهذه المقدمة مبدأ خاصّ يختصّ بالهندسة . وأمّا المبادئ العامة فإمّا أن لا تستعمل في العلوم بالفعل ، بمعنى أنّه لا يصرّح باللفظ الدالّ عليها ، بل تستعمل بالقوة لجلائها وظهورها ، وإمّا أن تستعمل مخصّصة بالفعل بموضوع الصناعة فيقال : « خطا آ ب مساويان لخط ج وكل خطين مساويين لخط ج هما متساويان » ينتج أنّ « خطي آ ب متساويان » فقد أوردت الكبرى هاهنا مخصصة بالصناعة ؛ والاعتماد في الكبرى المخصصة على أنّ الأشياء المساوية لشيء واحد متساوية التي هي بالقوة وعوض عنها المخصصة ؛ وقد تترك المخصصة بالقوة أيضا بسبب الاعتماد على المبدأ العامّ فيقتصر على قولهم : « خطا آ ب متساويان » لأنّهما مساويان لخط واحد وهو ج .

--> ( 1 ) . ب : خرجا . ( 2 ) . ن : التي ؛ ت ، ( نسخه بدل ن ) : الشيء . ( 3 ) . ت : - موضوع .