الصانع وقد يخص الدليل بالقطعي ويسمى الظني إمارة وقد يخص الدليل أيضا مع التخصيص الأول بما يكون الاستدلال فيه من المعلول كالحمى على العلة كتعفن الأخلاط ويسمى هذا برهانا آنيا ويسمى عكسه وهو ما يستدل فيه من العلة على المعلول تعليلا وبرهانا لميا

المعرف تجب معرفته قبل معرفة المعرف لأن معرفته طريق إلى معرفته وسبب لها فلا بد أن تتقدمها فيكون غيره إذ لو كان عينه لزم كون الشيء معلوما قبل أن يكون معلوما ويكون أيضا أجلى منه إذ لو ساواه في الجلاء أو كان أخفى منه لم يكن معلوما قبله فلا يعرف هذا تغريع على كونه أجلى أي لا يعرف الشيء بما لا يعرف إلا به فإنه لا يكون أجلى منه سواء توقف معرفته على معرفته بمرتبة واحدة ويسمى دورا صريحا كقولك الشمس كوكب نهاري والنهار زمان كون الشمس طالعة أو أكثر ويسمى دورا مضمرا كقولك الحركة خروج الشيء من القوة إلى الفعل بالتدريج والتدريج وقوع الشيء في زمان والزمان مقدار الحركة ولا بد إشارة إلى شرط آخر للمعرف أي لا بد من أن يساويه في العموم والخصوص ليحصل به التميز إذ لولاه أي لولا كونه مساويا لدخل فيه غير المعرف على تقدير كونه أعم مطلقا أو من وجه فلم يكن مانعا من دخول غير المعرف فيه ولا مطردا وهو أن يكون بحيث كل ما صدق على شيء صدق عليه المعرف أيضا أو خرج عنه بعض أفراده على تقدير كونه أخص إما مطلقا أو من وجه فلم يكن جامعا لجميع أفراد المعرف ولا منعكسا وهو أن يكون بحيث يصدق على كل ما صدق عليه المعرف وأعلم أن اشتراط المساواة في الصدق مما ذهب إليه المتأخرون إذ حينئذ يحصل التميز التام بحيث يمتاز جميع أفراد المعرف عن جميع ما عداها ولا يلتبس شيء منها