النسب الأربع واعلم أن كل معقولين لا بد أن تكون بينهما إحدى نسب أربع لا خامسةَ لها وهي: المساواة، والتباين، والعموم والخصوص المطلًق، والعموم والخصوص من وجه. وبرهان الحصر في الأربع أن المعقولين إما ألا يجتمعا البتة، أو لا يفترقا البتة، أو يجتمعا تارة، ويفترقا أخرى. فإن كانا لا يجتمعان البتة فهما المتباينان، كالإنسان والحجر؛ فإن كل ذات ثبتت لها الإنسانية انتفت عنها الحجرية، كعكسه، فالنسبة بين الإنسان والحجر التباين. وإن كانا لا يفترقان البتةَ فهما المتساويان، كالإنسان والناطق، فإن كل ذات ثبتت لها الإنسانية ثبتت لها الناطقية، كعكسه، فالنسبة بين الإنسان والناطق المساواة. وإن [كانا] (^١) يجتمعان تارة ويفترقان أخرى فلهما حالتان: الأولى: أن يكون أحدُهما يفارقُ صاحبَه، والآخرُ لا يمكن أن يفارقه. الثانية: أن يكون كلُّ واحد منهما يفارقُ الآخرَ في بعض الصور، مع أن المفروض الاجتماع في بعضها.

(^١) في المطبوع: (كان).