ناکارآمدی نظریه مشهور در توجیه تعلیق سنخ حکم درباب مفهوم شرط

مفهوم «شرط»، از جمله مباحث علم اصول فقه و به معنای انتفای حکم موجود در قضیه شرطیه در فرض انتفای شرط است. برای اثبات و وجود مفهوم شرط، لازم است با انتفای موضوع، سنخ حکم موجود در قضیه شرطیه منتفی شود و نه شخص حکم. اما انتفای سنخ حکم در قضایایی که حکم مستفاد از هیأت است، با یک اشکال جدی روبه­رو است؛ چرا که بنا برنظریه مشهور در خصوص وضع هیأت، حکم مستفاد از هیأت، دارای معنای جزئی و به عبارتی شخص حکم است. بنابراین آنچه در قضیه وجود دارد شخص حکم است، در حالیکه اثبات مفهوم، متوقف بر انتفای سنخ حکم است. اکثر محققان اصولی به منظور دفع این اشکال، به دنبال اثبات تعلیق سنخ حکم هستند و با توجه به تفاوت مبنا، استدلال­های مختلفی مطرح کرده­اند که کلیه آن­ها مورد مناقشه و مردودند. با توجه به این که موضوع در قضایای شرعی، به طور غالب و بنابر اصل از نوع حقیقیه (کلی) است؛ نظریه مشهور در خصوص وضع هیأت با اشکال مهم دیگری مواجه می­شود و آن، عدم تناسب بین موضوع کلی و حکم شخصی است. لذا در فرض کلی بودن موضوع، لزوماً باید سنخ حکم بر آن مترتب شود تا همۀ حالات و مصادیق موضوع را در برگیرد و ترتب حکم شخصی بر موضوع کلی، معقول نیست. بنابراین، با حفظ نظریه مشهور در باب هیأت، برای دفع اشکال مورد نظر و اثبات مفهوم شرط راهی باقی نمی‌ماند.