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

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

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

ومن ذلك البيان يظهر انه كذلك الامر أيضا في فرض اقتضائها للتوسعة الحقيقية في