واضح لا يخفى.
التنبيه الثالث: معيار صحة الحمل بالحمل الشائع‌
يعتبر في صحّة الحمل أمران: الاتّحاد من جهة، والمغايرة من أخرى، ضرورة عدم صحّة حمل المباين على المباين، ولا حمل الشي‌ء على نفسه.
و تارة يكون الاتّحاد حقيقيا ذاتيا، والمغايرة اعتبارية وأمرا خارجا عن الذات، وأخرى بالعكس.
و الأوّل: كحمل«حيوان ناطق»على«إنسان»في قولنا: «الإنسان حيوان ناطق»، فإنّ الموضوع-و هو إنسان-عين حيوان ناطق مفهوما، ومتّحد معه ذاتا، وتغايرهما بالإجمال والتفصيل.
و من هذا القبيل قولنا: «الإنسان بشر»بناء على كونهما مترادفين، حيث إنّ المفهومين واحد حقيقة، وتغايرهما باعتبار الوضع، إذ لكلّ وضع على حدة، ويسمّى بالحمل الأوّلي الذاتي.
و الثاني: كحمل المشتقّات على الذوات، فإنّ الاتّحاد اعتباري والمغايرة حقيقيّة، مثل«زيد قائم»، حيث لا إشكال في تغاير مفهومي«زيد»و«قائم»حقيقة، ولكن يصحّ الحمل باعتبار أنّ لهما مصداقا واحدا في الخارج، ويسمّى هذا بالحمل الشائع، لشيوعه وتعارفه، والصناعي، لكون الحمل في باب الأقيسة لا بدّ وأن يكون كذلك، للزوم كلّية الكبرى في الشكل الأوّل ورجوع سائر الأشكال إليه.
و ممّا ذكرنا ظهر أنّ الحمل في قولنا: «الإنسان حيوان»أو