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