وعند التحقيق: الحصر راجع إلى التقسيم، والسبر إلى الإبطال.
والسبر لغة: الاختبار.
والتقسيم متقدم عليه في الوجود، لأنه: تعداد الأوصاف التي يتوهم صلاحيتها للتعليل، ثم يسبرها أي: يختبرها ليميز الصالح للتعليل من غيره.
لكن السبر وإن تأخر عن التقسيم فهو متقدم عليه أيضًا، لأنه أولًا يسبر المحل، هل فيه أوصاف أم لا؟
ثم يقسم ثم يسبر ثانيًا.
فقد تقدم السبر في اللفظ في كلامهم باعتبار السبر الأول.
ثم إن كان دائرًا بين النفي والإثبات فهو الحاصر.