ما صورته صورة الشكل الثالث ، ولولا ذلك لما كان بهذين الشكلين انتفاع بعد ما بيّن الحكيم أنّ المطالب أربعة وهي :
الموجبة الكلّية ، والسالبة الجزئية ، والسالبة الكلّية ، والموجبة الجزئية وتتبيّن في الشكل الأول . ( جم ، 89 ، 13 )
أجزاء الحدّ
- أقدم أجزاء الحدّ مرتبة من القول أشدّ تأخّرا . والمتأخّر من أجزائه ينبغي أن يكون الأقدم ، فالأقدم في الترتيب .
( كبش ، 46 ، 16 )
- أجزاء الحدّ ، ينبغي أن تكون إما محمولات على الشيء من طريق ما هو ، أو أمورا بها وجود الشيء بذاته ، لا بالعرض . ( كبش ، 51 ، 16 )
- تأليف الحدّ يلتئم بعد ذلك بجمع الأجزاء التي حالها هذه الحال ، وترتيبها متتالية على نظم محصّل ، إلى أن يجتمع من جملتها ما يساوي المحدود . فحينئذ نكون قد وفّينا الشيء حدّه . ( كبش ، 51 ، 19 )
- ترتيب أجزائه ( الحد ) هو أن يقايس بين تلك الأجزاء ، فأيّها كان أقدم في الوجود أخّر في الترتيب ، وأيّها كان متأخّرا في الوجود قدّم في الترتيب . وكذلك أيّها كان أعمّ قدّم في الترتيب ، وأيها كان أخصّ أخّر ، ويتحرّى في كلّ ما يقصد تحديده أن يؤخذ أولا جنسه ، فيرتّب أوّلا ، ثم يردف بسائر الباقية على الترتيب الذي قلناه . فإذا اجتمع من جملة ذلك ما يساوي المحدود حصل لنا حينئذ حد ذلك الشيء . ( كبش ، 51 ، 22 )
أجزاء الحدّ التامة
- أجزاء الحدّ التامة منها ما يدلّ عليه لفظ مركّب ، ومنها ما يدلّ عليه لفظ مفرد ، ومنها ما يدلّ عليه قول . ( كبش ، 46 ، 21 )
- أمّا ما يدلّ عليه لفظ مركّب ( من أجزاء الحد ) ، فإنما يمكن أن يبرهن وجوده للمحدود بالأجزاء الأخر ، وإن كانت هذه الأجزاء الأخر ، فيها أيضا ما يمكن أن يحمل بعضها على بعض ، أمكن أن يبرهن وجود أحد جزئيه للآخر ببرهان حملي ، ويجعل الحدّ الأوسط فيه الجزء الآخر .
( كبش ، 46 ، 22 )
- أجزاء الجدّ التامّة التي تدلّ على كلّ واحد منها بقول ، منها ما هو أعمّ من المحدود ومنها ما كل جزء منه مساو للمحدود .
( كبش ، 47 ، 6 )
- أجزاء الحدّ التامّة التي يدلّ عليها بقول ، فالمساويات للمحدود قد يمكن أن يؤخذ كل واحد منها على انفراده حدّا للمحدود .
فالمتأخر من هذين الجزئين يسمّى الحدّ الذي هو نتيجة برهان ، والأقدم منهما يسمّى الحدّ الذي هو مبدأ برهان .
ومجموعهما يسمّى الحدّ الذي هو برهان متغيّر في الوضع . ( كبش ، 47 ، 7 )
أجزاء الحدود
- أجزاء الحدود التي هي حدود على الاطلاق ، فكلّ واحد فيها أقدم من المحدود ، وبعضها أقدم من بعض .
( كبش ، 46 ، 13 )
- تقدّم أجزاء الحدود للمحدود على مثال