إذا نظرنا إلى حقيقة مع أخرى وجدتها على أربعة أقسام:
[ ١٤٦ ]
- الأول: أن تكون إحداهما أعم مطلقًا، والأخرى أخص مطلقًا، كالحيوان والإنسان، يستدل بوجود الأخص على وجود الأعم، وينفي الأعم على نفي الأخص، ولا دليل في عدم الأخص ولا في وجود الأعم.
- الثاني: أن يكون كل واحد منهما أعم من وجه وأخص من وجه آخر كالإنسان والأبيض، فلا دليل لأحدهما على الآخر أصلًا.
- الثالث: أن يكونا متساويين كالإنسان والضاحك بالقوة، فيستدل بوجود كل واحد منهما على وجود الآخر، وبعدمه على عدمه.
- الرابع: أن يكونا متباينين كالحيوان والجماد، والمعلومات أيضًا على ثلاثة أقسام:
نقيضان: وهما اللذان لا يجتمعان معًا ولا يرتفعان معًا كوجود زيد وعدمه، فيستدل بوجود أحدهما على عدم الآخر، وبعدمه على وجوده.
وضدان: وهما اللذان لا يجتمعان ويمكن ارتفاعهما كالسواد والبياض، فيستدل بوجود أحدهما على عدم الآخر، ولا دليل في عدم واحد منهما.
وخلافان: وهما اللذان يمكن اجتماعهما وارتفاعهما كالإنسان والفرس، فلا دليل في وجود واحد منهما ولا في عدمه.