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