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