حقیقت قضیه حقیقیه و نسبت آن با وجود موضوع

منطق دانان حملیه محصوره را به حقیقیه و خارجیه تقسیم کرده اند؛ حقیقیه آن است که موضوع ملاک حمل محمول بر موضوع است. موضوعات حقیقیه چهار دسته اند: یک دسته از این موضوعات وجودند که احکام بدون فرض و تقدیر بر تمام افرادش بار می شود و در سه دسته دیگر از موضوعات بدون آنکه برای همه یا برخی از افراد آن فرض وجود شود حکم صادق نخواهیم داشت. حقیقیه، هر چند مساوق با متصله است، بدان بر نمی گردد، زیرا در حملیه تعلیقی در کار نیست و در متصله حکم تعلیقی است.