کبرای مساله تمام است(گاه حقیقت و گاه مجاز و گاه غلط)
لکن صغرای مساله گاه نامعلوم است. مثل اسناد فعل به کارگزاران.
6. در اوصاف منحوته‌ی صادق بر ذات
کلام محقق دوانی:صدق مشتق لایقتضی قیام مبدأ اشتقاق به آن در مثال حدّاد و مشمس و وجه آن - توسعه کلام وی به موجود نسبت به وجود - وحدت وجود و کثرت موجود - لیس بظلّام للعبید - نقد ملاصدرا بر کلام دوانی و التزام به مجاز و توسعه - کلام محقق اصفهانی در اوصاف منحوت

در توجیه حمل وصف اشتقاقی بر سبب-که موارد آن همگانی نیست و تخلف از آن بسیار است- می‌توان گفت:
1. گاه مبدأ اشتقاق قابلیت دارد مثل اتلاف.
2. گاه مجاز است و در واقع سبب تحقق مبدأ است مثلا قتل هست اما قاتل و قَتَل نیست.جواهر43 ص 97: انما المدار علی صدق نسبة الفعل و هو«قتل» و نحوه او نسبة المصدر و هو«القتل» و ان لم تتحقق نسبة القتل، عما فی قتل النائم و نحوه.
البته عدم صدق قاتل منافی ثبوت مثل دید نیست؛ زیرا دیه بر عهده کسی است که سبب تحقق مبدأ شده است و لو وصف اشتقاقی بر آن صادق نباشد.(در فقه مهم لسان دلیل است)
محقق ایروانی در ردّ استدلال به قاعده اتلاف برای ضمان منافع مستوفاة می‌فرماید: فالمتبادر من اتلاف المال اخراجه عن المالیة بتضییعه لا اتلافه فی سبیل الانتفاع به... الّا ان یراد من الاتلاف هنا اخلاء کیس صاحبه عنه لا الاتلاف الحقیقی المنوط بتحقق التلف و فیه... حاشیة المکاسب96/1
6. در اوصاف منحوت. کلام محقق دوانی:صدق مشتق تابع قیام مبدأ به ذات نیست.