شروط التعريف
الغرض من التعريف على ما قدمنا تفهيم مفهوم المعرف (بالفتح) وتمييزه عما عداه. ولا يحصل هذا الغرض الا بشروط خمسة :
الاول ـ أن يکون المعرف (بالکسر) مساوياً للمعرف (بالفتح) في الصدق أي يجب ان يکون المعرف (بالکسر) مانعاً جامعاً. وان شئت قلت (مطرداً منعکساً).
ومعني مانع أو مطرد انه لا يشمل الا أفراد المعرف (بالفتح) ، فيمنع من دخول افراد غيره فيه. ومعني جامع او منعکس انه يشمل جميع افراد العرف (بالفتح) لا يشذ منها فرد واحد.
فعلي هذا لا يجوز التعريف بالامور الآتية :
١ ـ بالاعم : لان الاعم لا يکون مانعاً ، کتعريف الإنسان بانه حيوان يمشي على رجلين ، فان جملة من الحيوانات تمشي على رجلين.
٢ ـ بالاخص : لان الاخص لا يکون جامعاً ، کتعريف الإنسان بانه حيوان متعلم ، فانه ليس کلما صدق عليه الانسان هو متعلم.
٣ ـ بالمباين : لان التباينين لا يصح حمل احدهما على الآخر ، ولا يتصادقان أبدا.

الثاني ـ ان يکون المعرف (بالکسر) أجلي مفهوما واعرف عند المخاطب من المعرف (بالفتح). والا فلا يتم الغرض مفهومه ، فلا يجوز على هذا التعريف بالامرين الآتيين :
١ ـ بالمساوي في الظهور والخفاء ، کتعريف الفرد بانه عدد ينقص عن الزوج بواحد ، فان الزوج ليس اوضح من الفرد ولا اخفي ، بل هما متساويان في المعرفة. کتعريف أحد المتضايفين بالآخر ، وانت انما تتعقلهما معا ، کتعريف الاب بانه والد الابن. وکتعريف الفوق بانه ليس بتحت ...
٢ ـ بالاخفي معرفة ، کتعريف النور بأنه قوة تشبه الوجود