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

وكيف كان فبعد ان ظهر لك طريق استكشاف المفهوم في القضايا بحسب الكبرى يبقى الكلام في صغريات المفاهيم.

مفهوم الشرط

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

ولذلك أيضا ترى بنائهم على عدم المفهوم في القضايا اللقبية وعدم اقتضائها انتفاء