أخص من قولنا: ليس بضارب في شيء من الأزمنة لعدم استلزامه إياه، بل هما نوعان داخلا تحت مطلق السلب هو قدر مشترك بين السلب الكلي والسلب الجزئي.
وإن عنيت به أنه لا يصدق على أنه ليس بضارب ولو باعتبار زمان ماضيا كان أو غيره، فالملازمة ممنوعة، إذ الضارب لا يقتفى الإثبات في كل الأوقات، حتى يكون قولنا: "ليس بضارب" بالمعنى المذكور مناقضا له حتى يلزم من صدق الضارب عدم صدق ليس بضارب. ثم الذي يدل على أن الضارب لا يقتضى/ (٢٣/ب) الإثبات الكلي وجوه:-
أحدهما: بأنه يصدق على الشخص حال تلبسه بالضرب أنه ضارب بطريق الحقيقة بالإجماع، وإن لم يكن ضاربا في الماضي والمستقبل، ولو كان مقتضيا لإثباته في كل الأوقات لم يكن كذلك.
وثانيها: أنه حينئذ لا يبقى فرق في المعنى بين قولنا: ضارب وبين قولنا: ضارب في الأزمنة الثلاثة، لكن الفرق معلوم بالضرورة.
وثالثها: أن الضارب لو كان مقتضيا للإثبات الكلي، لكان قولنا: "ليس بضارب" في المستقبل لكنه باطل بالإجماع وإذا لم يكن قولنا: ليس بضارب بالمعنى المذكور مناقضا للضارب لم يكن صدقه مستلزما لكذبه فجاز أن يصدقا باعتبار زمانين.
لا يقال: استعمال أهل اللسان كل واحد من لفظي ضارب وليس بضارب بإطلاقهما من غير تعيين زمان في تكذيب الآخر يدل على تناقضهما