تنبيهات
التنبيه الأوّل : في تبعية وجوب المقدّمة عن ذي المقدّمة
وجوب المقدّمة حيث إنّه معلول وجوب ذي المقدّمة لا يمكن أن يكون أوسع أو أضيق منه ، وإلّا يلزم تخلّف المعلول عن علّته ، فيتبعه في الإطلاق والاشتراط . وأيضا لا يمكن تقدّمه عليه ، وإلّا يلزم تقدّم المعلول على علّته . فلو تحقّق في مورد وجوب المقدّمة قبل وجوب ذي المقدّمة لا بدّ وأن يكون بملاك آخر غير الملازمة وعلّية وجوبه لوجوبها ، كملاك حفظ القدرة أو حكم العقل بلزوم الإتيان بأمور يكون في تركها تفويت غرض المولى أو بملاك تهيّؤ العبد لإطاعة أوامر مولاه ، أو يكون وجوبا نفسيا ولو كان ملاكه نفس ملاك ذي المقدّمة بعنوان متمّم الجعل .
التنبيه الثاني : في معروض الوجوب
على القول بثبوت الملازمة ووجوب المقدّمة ما هو معروض هذا الوجوب ؟ هل هو ذات المقدّمة ، سواء أراد إيجاد ذي المقدّمة أو لم يرد ، وسواء قصد التوصّل بها إلى ذيها أو لم يتحقّق هذا القصد ، وسواء أوصلت إلى وجود ذي المقدّمة أو لم توصل ، أو المقدّمة عند إرادة ذيها أو هي بقصد التوصّل ، أو هي إذا كانت موصلة ؟
أقوال :
ذهب صاحب « المعالم » رحمه اللّه إلى أنّ معروض الوجوب هي الذات عند