ثم التنافي على ثلاثة أقسام؛ لأن المُنَافي إما أن ينافي الآخر وجودًا فقط، أو عدمًا فقط، أو وجودًا وعدمًا. فإن تنافيا وجودًا وعدمًا فهو الذي يُقال له: الشَّرْطيُّ المنفصلُ الحقيقيُّ الانفصال [ق ٢٢٤] إذا صيغ التنافي بصيغة الشرط، ويقال فيه: استثناء عين كلِّ واحد من الأقسام يُنْتِج نقيضَ الآخر، واستثناء نقيضِه يُنْتِج عينَه، فله في الأصل أربعة استثناءات (٣)، وهو الذي يقال له: مانعُ الجمع والخلوِّ، أي يمنعُ اجتماعَ القِسْمَين، ويمنع خلوَّهما، وربَّما عُبِّر عنه بالمتناقِضَين، وإن كان التناقض في الأصل عبارةً عن الإثبات والنفي؛ لأنه متى انحصر الأمرُ في قسمين فلا بدَّ من إثبات
(١) في الأصل: «العروض».
(٢) في الأصل: «النافي» ولعل الصواب ما أثبت.
(٣) الأصل: «أربع». وانظر: «الرد على المنطقيين» (ص ٢٠٥ - ٢٠٦).
(٢) في الأصل: «النافي» ولعل الصواب ما أثبت.
(٣) الأصل: «أربع». وانظر: «الرد على المنطقيين» (ص ٢٠٥ - ٢٠٦).
١ / ٣٩٨