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