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

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

فاعلم ان الاتحاد على اربعة اقسام.

الاول الاتحاد الوجودى كاتحاد الانسان مع الحيوانية اى كلما صدق عليه الانسان صدق عليه الحيوان.

الثانى الاتحاد الحلولى كاتحاد داء مع شخص المريض.

الثالث الاتحاد الصدورى كاتحاد الضرب مع شخص الضارب.

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

الكلام فى المجاز السكاكى

واعلم ان المجاز السكاكى لا يكون من استعمال اللفظ فى الموضوع له وان قيل إنّه الحقيقى الادعائى.