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