مرجع المساواة كليتان، هما مدار الجمع والمنع.. (مطردا) أي العدم عند العدم -اللازم بعكس النقيض- لـ «الحدُّ كلُّ المحدود» كبرى. لاندراج الجزئي تحت الكلي.. [^170]

[^170]:(اعلم أن أساس الخ) حاصله: أن المعرف والتعريف لابد أن يكونا متساويين مَاصَدَقاً. وعلامة المساواة بينهما صدقُ موجبتين كليتين من الطرفين، لكن الكليتين في الحملية باعتبار الأفراد والحمل عليها. وفي الشرطيات باعتبار التحقق في الأزمان والأوضاع. والتعريف مع المعرف لكونهما من التصورات تنعقد الكليتان يبنهما باعتبار التحقق لا باعتبار الحمل. (ثم إن مرجع المساواة الخ) حاصله: أن الحد لا يصح بالأخص ولا الأعم من المحدود بل يلزم يبنهما المساواة في الأفراد. وعلامة تحققها بينهما صدق موجبتين كليتين من الطرفين: إحداهما تدل على كون الحد (مطرداً) أي جامعاً لأفراد المحدود. عبّر عنها بـ (الحدُّ كلُّ المحدود) دالاً على عدم الأخصية والأعمية بينهما مع دلالته على الاطراد. وفسرها (بالعدم عند العدم) أي جعل نقيض الحد موضوعا ونقيض المحدود محمولا: مثل (كل لا ناطق لا إنسان) في تعريف الإنسان بالناطق حداً ناقصاً.. ولما كان التفسير غير دال على جمع الأفراد بمنطوقه مع مخالفته للتعبير في ترتيب الطرفين -دَفَعه توصيفا باللازم لــ (الحد كل المحدود): يعني أن التفسير وإن لم يطابق التعبير لكنه لازم له. والدلالة على اللازم معتبرة عند المنطقي... وجَّه اللزوم بينهما بقوله (كبرى) أي يجعل (الحد كل المحدود) كبرى وكل جزئي داخل في موضوعه الذي هو (الحد) الكلي الشامل لجميع الحدودات (صغرى) مثل (الحيوان الناطق حد، والحد كل المحدود، فهو كل المحدود).. وهكذا أمثاله.. وبهذا يثبت اللزوم.. والجملة الثانية الدالة على عكس الحد أي دفعِه للأغيار (المحدود كل الحد). فسرها بـ (الوجود عند الوجود) أي وجود المحدود عند وجود الحد. مثل (كل ناطق إنسان) المنعكس لغة إلى (كل إنسان ناطق) المنعكس بعكس نقيضه أي كل لا ناطق لا إنسان (إلى الطرد) أي دفع الأغيار أي تحقق المعرف عند تحقق التعريف. هذا هو المنع.. وقد أشار إلى هذا بقوله (المحدود كل الحد).

[٤] أي الوجود عند الوجود - المدلول لـ «المحدودُ كلُّ الحد» المنعكس لغة بعكس المستوى، المنعكس بعكس النقيض إلى الطرد...

[٥] إذ العلة متقدمة، والتقدم هنا بالظهور. [^171]

[^171]:(إذ العلة متقدمة) أي التعريف علة للمعرف، وتقدمُها إنما يعلم بالظهور معنى...

[٦] أي ولا بنفسه ولا بالمضايف بل بذات المضايف. [^172]

[^172]:(أي ولا بنفسه) عطف على (بمفهومه) المقدرِ بعد قوله (لا أبعدا) أي لابد أن يكون التعريف غير بعيد عن الفهم لا بمفهومه ولا بذاته. وكذا إذا كانا من المتضايفات لزم أن يكون عنوان التعريف التضايفي غير بعيد عن الفهم لا ذاته.

ولا مساوياً [١] و [٢] لا تجوزا [٣]     بلا قرينة بها تحرزا [٤]

[١] أي كالمضايف. فالمساواة صدقا كالتضايف ذاتا. وهو معرفةً كهو مفهوما مانع. [^173]

[^173]:(أي كالمضايف) الكاف للتشبيه لا للتمثيل أي كما أن المساواة من جهة المعرفة بين التعريف والمعرف مانع يخل كذلك التضايف بينهما مانع. لكن المساواةَ صدقا والتضايفَ ذاتا لا مفهوما غيرُ مضر. (وهي) أي المساواة (معرفةً) أي من جهة المعرفة (كهو) أي كالتضايف (مفهوما) أي من جهة المفهوم...