شيئين ولولاها لم يكن الا شىء واحد لا شيئان واذا ظهر معنى الحمل فليعلم ان الحمل على قسمين.

الاول حمل ذاتى اولى وهو ما يكون الاتحاد فى المفهوم فالمغايرة لا بد أن تكون اعتبارية ويقصد بالحمل حينئذ ان مفهوم الموضوع هو بعينه نفس مفهوم المحمول وماهيته بعد ان يلحظ المتغايرين بجهة من الجهات مثل قولنا الانسان حيوان ناطق فان مفهوم الانسان ومفهوم حيوان ناطق واحد الا ان التغاير بينهما بالاجمال والتفصيل وهذا النوع من الحمل يسمى حملا ذاتيا أوليّا لانه يصدق اولا وابتداء ويكون فى الذاتيات لكن وجود هذا القسم من الحمل قليل لان مورده الحد والمحدود فقط.

الثانى الحمل الشائع الصناعى وهو ما يكون الاتحاد فى الوجود والمصداق والمغايرة بحسب المفهوم ويرجع الحمل حينئذ الى كون الموضوع من افراد مفهوم المحمول ومصاديقه مثل قولنا الانسان حيوان فان مفهوم الانسان غير مفهوم حيوان لكن ما صدق عليه الانسان صدق عليه الحيوان وهذا النوع من الحمل يسمى الحمل الشائع الصناعى والحمل المتعارف لانه هو الشائع فى الاستعمال المتعارف فى صناعة العلوم.

اذا عرفت اقسام الحمل وان عدم صحة السلب وصحة الحمل بالحمل الاولى الذاتى علامة للحقيقة ثم نجرب عدم صحة السلب وصحة الحمل بالحمل الشائع مثلا نجعل موضوع القضية احد مصاديق المعنى المشكوك وضع اللفظ له لا نفس المعنى المذكور ثم نجرب بالحمل الشائع فان صح الحمل علم منه حال المصداق من جهة كونه احد المصاديق الحقيقة لمعنى اللفظ الموضوع له.

توضيحه بالمثال ان الصعيد المردد بين ان يكون لمطلق وجه الارض او لخصوص التراب الخالص مثلا نشك ان الحجر هل يكون من الافراد ومصاديق وجه الارض أو لا فنجرب بالحمل الاولى الذاتى اى نجعل موضع القضية مصداق المعنى المشكوك