مستلزم للتناقض اللغوي لأن أحد الضدين ينقض الآخر أي يلزم من ثبوته عدم الآخر كما يلزم من ثبوت السواد انتفاء البياض

والنقيضان في اصطلاح كثير من أهل النظر هما اللذان لا يجتمعان ولا يرتفعان والضدان لا يجتمعان لكن قد يرتفعان

وفي اصطلاح آخرين منهم هما النفي والإثبات فقط كقولك إما أن يكون وإما أن لا يكون

ولهذا يقولون التناقض اختلاف قضيتين بالسلب والإيجاب على وجه يلزم من صدق إحداهما كذب الأخرى فالتناقض في عرف أولئك أعم منه في عرف هؤلاء فان ما لا يجتمعان ولا يرتفعان قد يكونان ثبوتيين وقد يكونان عدميين وقد يكونان ثبوتا وانتفاء ولو كان أحدهما وجودا والآخر عدما فقد يعبر عنهما بصيغة الإثبات التي لا تدل بنفسها على التناقض الخاص كما إذا قيل للموجود إما أن يكون قائما بنفسه وإما أن يكون قائما بغيره وإما أن يكون واجبا بنفسه وإما أن يكون ممكنا بنفسه وإما أن يكون قديما وإما أن يكون محدثا ونحو ذلك فمن المعلوم أن تقسيم الموجود إلى قائم بنفسه وغيره وواجب وممكن وقديم ومحدث تقسيم حاصر كتقسيم المعلوم إلى الثابت والمنفي