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