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