5-9-3. در بیان ملاک حمل: در حمل هو هویت و مغایرت و مراتب اتحاد و مغایرت؛1. متغایر مفهوما و ماهیتا متحد مصداقا در مثال الانسان ضاحک 2. متغایر مفهوما و متحد ماهیتا و مصداقا در مثال: الانسان حیوان ناطق. 3. متغایر اعتبارا متحد مفهوما و ماهیتا و مصداقا در مثال: الانسان انسان
مثل آیه شریفه: یاایها الذین آمَنوا آمِنوا
5-9-4. حد لازم در کفایت مغایرت مبدأ با ذات اصل این تنبیه برای چیست؟
محقق خراسانی: مغایرت مبدأ با ذات در مفهوم کافی است هرچند خارجا متحد باشند. از این قبیل است صدق صفات بر ذات باری تعالی.
از این رو در معنای این صفات هیچ نقل و تجوزی صورت نگرفته است.
نقد کلام صاحب فصول که احساس کرده مغایرت لازم وجود ندارد.
اشکال برخی محشین بر کفایة الاصول و نقد آن
5-9-5. در اعتبار قیام مبدأ به ما یجری المشتق علیه و حدّ آن بر فرض اعتبار.