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

159