بحث ما در باب هوهویت و نقطه ی مقابلش غیریّت می باشد. بعد از مسأله ی غیریت
به مسأله ی تقابل رسیدیم. تقابل از انواع غیریت است، غیرهایی كه با یكدیگر جمع
نمی شوند. گفته اند كه انواع تقابل چهارتاست- كه البته این به استقراء است نه حصر
عقلی- و عبارتند از: تقابل تناقض، تضاد، عدم و ملكه و تقابل تضایف. البته اینجا
بحث، مستقلا در انواع تقابل نیست و به مناسبتی از آن بحث شده است. درباره ی تضاد
و «عدم و ملكه» اینجا مقدار بیشتری بحث شده است. ما مقداری در باب عدم و ملكه و
نیز [فرق ] عدم و ملكه با سلب و ایجاب بحث كردیم ولی چون این مطلب در جاهای
مختلف به درد می خورد اینجا نیز توضیح مختصری می دهیم.