حمل اولی ذاتی:
مفهوم ها باید یکی باشد ولی اختلاف در اجمال و تفصیل است. مثل انسان / حیوان ناطق
(انسان: اجمالی / حیوان ناطق: تفضیلی)
حمل شایع صناعی:
اتحاد در وجود خارجی (=مصداق) دارند ولی مفهومشان متفاوت است.
مثل "الانسان ضاحک" که در وجود خارجی، مصداق "انسان" و "ضاحک" یکی است ولی مفهوم "انسان" و "ضاحک" با هم متفاوت است.
نکته:
در حمل، باید یک جهت اتحاد وجود داشته باشد و یک جهت اختلاف (عموم و خصوص من وجه)
اگر جهت اختلاف وجود نداشته باشد، دو چیز باهم دیگر مساوی خواهند بود و هیچ وجه تمایزی باهم ندارند؛ پس اگر مساوی باشند، دیگر دو چیز بود برایشان معنایی ندارد و یکی هستند.
