قضیه شرطیه محصوره یعنی چه؟

جمع‌بندی و توضیح کامل قضیه شرطیه محصوره

اصطلاح ترکیبی «قضیه شرطیه محصوره» یکی از مباحث دقیق در ساختار قضایای منطق کلاسیک و سنتی است. برای درک عمیق این مفهوم باید دانست که قضایای شرطی به خودی خود رابطه‌ای تعلیقی یا انفصالی را بین دو گزاره (مقدم و تالی) بیان می‌کنند؛ اما زمانی که این رابطه رها نباشد و با ادوات حصر یا همان «سورها» مقید شود، وصف «محصوره» یا «مسوّره» به خود می‌گیرد. به این ترتیب، مشخص می‌شود که مفاد شرط در چه حجم از زمان‌ها، مکان‌ها یا حالات معتبر است؛ به عنوان مثال، سورِ «همیشه» نشان‌دهنده کلیت و سورِ «گاهی» نشان‌دهنده جزئیت در این قضایا است.

از نظر ریشه‌شناسی، هر سه واژه این اصطلاح ریشه در زبان عربی دارند؛ «قضیه» از ریشه قضی به معنای حکم و داوری، «شرطیه» از ریشه شرط به معنای وابستگی و تعلیق، و «محصوره» از ریشه حصر به معنای گردآوری، محدود کردن و مرزبندی است. ترکیب این سه واژه در کنار هم، ساختارِ حکمی را پدید می‌آورد که مشروط به شرطی بوده و مرزهای شمول آن کاملاً حصارکشی و معین شده است. این اصطلاح در برابر «قضیه شرطیه مهمله» قرار می‌گیرد که در آن کمیت و دامنه حکم نامشخص رها شده و داوری درباره آن سخت است.

در کاربردهای واقعی و متون عالی زبانی مانند آیات قرآن کریم، هرچند خودِ این عنوان فنی و علمی به صراحت ذکر نشده است، اما ساختار لغوی و استدلالی آن به وفور دیده می‌شود. برای نمونه، در آیاتی که با ادوات شرط عام مانند «هر کس» یا «هر زمان که» آغاز می‌شوند، با یک قضیه شرطیه محصوره روبرو هستیم که حکمی کلی را در قبال یک رفتار مشخص صادر می‌کند. در منطق ریاضی و جدید نیز این نوع گزاره‌ها اهمیت بالایی دارند و معمولاً با ترکیب سورهای عمومی یا وجودی در کنار عملگر دلالت یا همان فلش شرطی نمایش داده می‌شوند که ساختار صوری آن را به ریاضیات پیوند می‌زند.

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

به عنوان یک نکته کاربردی و فرهنگی، شناخت این ساختار به ما کمک می‌کند تا در تحلیل گفتگوهای روزمره، مواضع سیاسی و متون حقوقی دقیق‌تر عمل کنیم. وقتی در یک متن قانونی ذکر می‌شود که «هرگاه فردی مرتکب جرم شود، مجازات خواهد شد»، این یک شرطیه محصوره کلی است که استثنا نمی‌پذیرد. در مقابل، عباراتی که سورِ مشخصی ندارند مبهم هستند. در نتیجه، تسلط بر مفهوم حصر در قضایای شرطی، ذهن را مجهز به ابزاری می‌کند تا بتواند مرزهای استدلال درست را از ادعاهای مبهم و بی‌ضابطه جدا سازد و وزن منطقی کلام را بسنجد.