[ویکی فقه] حمل در منطق به معنای بیان اتحاد است که به دو قسم حمل اولی و حمل شایع تقسیم می شود.
حکیمان و منطیقین در تبیین حمل اولی و حمل شایع می گویند: معنای حمل بیان اتحاد دو چیز است؛ زیرا حمل کردن چیزی بر چیز دیگر به این معنا است که، این یکی آن دیگری است. به تعبیر دیگر؛ حمل، «این همانی» است. این معنا در حقیقت دو چیز را طلب می کند؛ به بیان دیگر در هر حملی دو ادعا وجود دارد: یکی این که بین دو چیز (موضوع و محمول) تفاوت و تغایری وجود دارد؛ زیرا اگر هیچ تفاوت و تغایری نداشتند، دو چیز نخواهند بود. ادعای دوم این است که بین این دو اتحاد برقرار است. پس هر حملی خبر از وجود یک نوع اتحاد و یک نوع تغایر و تفاوت می دهد؛ حال اگر اتحاد آن دو (موضوع و محمول) فقط در مصداق باشد؛ ولی در مفهوم تفاوت و تغایر داشته باشند، در این صورت حمل را «حمل شایع صناعی» می گویند. این نام نیز به این مناسبت است که آنچه در استعمالات عرفی، رشته های علمی و صنایع علوم شیوع دارد همین نوع از حمل است. اما اگر این دو (موضوع و محمول) علاوه بر اتحاد در مصداق، در مفهوم نیز اتحاد داشته باشند، این نوع حمل را «حمل ذاتی اولی» می نامند.
حکیمان و منطیقین در تبیین حمل اولی و حمل شایع می گویند: معنای حمل بیان اتحاد دو چیز است؛ زیرا حمل کردن چیزی بر چیز دیگر به این معنا است که، این یکی آن دیگری است. به تعبیر دیگر؛ حمل، «این همانی» است. این معنا در حقیقت دو چیز را طلب می کند؛ به بیان دیگر در هر حملی دو ادعا وجود دارد: یکی این که بین دو چیز (موضوع و محمول) تفاوت و تغایری وجود دارد؛ زیرا اگر هیچ تفاوت و تغایری نداشتند، دو چیز نخواهند بود. ادعای دوم این است که بین این دو اتحاد برقرار است. پس هر حملی خبر از وجود یک نوع اتحاد و یک نوع تغایر و تفاوت می دهد؛ حال اگر اتحاد آن دو (موضوع و محمول) فقط در مصداق باشد؛ ولی در مفهوم تفاوت و تغایر داشته باشند، در این صورت حمل را «حمل شایع صناعی» می گویند. این نام نیز به این مناسبت است که آنچه در استعمالات عرفی، رشته های علمی و صنایع علوم شیوع دارد همین نوع از حمل است. اما اگر این دو (موضوع و محمول) علاوه بر اتحاد در مصداق، در مفهوم نیز اتحاد داشته باشند، این نوع حمل را «حمل ذاتی اولی» می نامند.