تقابلا لصدقهما معا على غير المتقابلين ، وهذا كله ظاهر .
إذا ثبت هذا فنقول : المتقابلان إما أن يؤخذا باعتبار القول والعقد ، أو بحسب الحقائق أنفسها ، والأول هو تقابل السلب والإيجاب كقولنا : زيد كاتب ، زيد ليس بكاتب .
والثاني إما أن يكون أحدهما عدميا أو يكونا وجوديين ، والأول هو تقابل العدم والملكة وهو يقارب تقابل السلب والإيجاب ، لكن الفرق بينهما أن السلب والإيجاب في الأول مأخوذ باعتبار مطلق والثاني مأخوذ باعتبار شئ واحد .
واعلم أن الملكة هو وجود الشئ في نفسه والعدم هو انتفاء تلك الملكة عن شئ من شأنه أن يكون له كالعمى والبصر .
وإن كانا وجوديين فإن عقل أحدهما بالقياس إلى الآخر فهو تقابل التضايف كالأبوة والبنوة وإلا فهو تقابل التضاد كالسواد والبياض .
واعلم أن تقابل التضاد يعاكس تقابل العدم والملكة في التحقيق والمشهورية ، وذلك لأن الضدين في المشهور [1] يطلقان على كل وجوديين متقابلين لا يعقل

[1] هذا التفسير منه للضدين في المشهور هاهنا ليس بسديد ، والحق ما قاله في شرحه على منطق التجريد للمصنف الموسوم بالجوهر النضيد من أن تقابل الضدين يطلق في المشهور على معنى وفي التحقيق على معنى آخر . أما في المشهور فيطلق الضدان على كل أمرين ينسبان إلى موضوع واحد ولا يمكن أن يجتمعا فيه سواء كانا وجوديين أو أحدهما ، وسواء اندرجا تحت جنس قريب أو لا كما يجعلون الذكورة ضد الأنوثة ، وأما بحسب التحقيق مصطلح الحكماء فيطلق الضدان على كل وجوديين بينهما غاية التباعد بشرط اندراجهما تحت جنس قريب يصح منهما أن يتعاقبا على موضوع واحد وارتفاعهما معا عنه ، وكذلك المصنف في أساس الاقتباس والمتأله الشيرازي في الأسفار وغيرهم في غيرها من الكتب المنطقية والحكمية .

160