قضیه شرطی و ساختار آن
در منطق، قضایا به دو دسته کلی تقسیم میشوند: حملی و شرطی. قضیه شرطی گزارهای است که در آن به اتصال یا انفصال میان دو نسبت حکم میشود. برخلاف قضیه حملی که صفتی را به موضوعی نسبت میدهد (مانند: هوا سرد است)، قضیه شرطی رابطهای میان دو جمله برقرار میکند.
اجزای قضیه شرطی
هر قضیه شرطی از دو بخش اصلی تشکیل شده است: مقدم و تالی. مقدم بخشی است که شرط را بیان میکند و تالی پیامد یا نتیجه آن شرط است. حاصل تجزیه هر قضیه شرطی، دو قضیه حملی مستقل خواهد بود. برای مثال در جمله «اگر باران ببارد، زمین خیس میشود»، «باران ببارد» مقدم و «زمین خیس میشود» تالی است.
در قضایای شرطی، مقدم همیشه از نظر معنایی شرط محسوب میشود و تالی نتیجه منطقی آن است، حتی اگر در جمله جایشان عوض شود.
انواع قضایای شرطی
قضایای شرطی بر اساس نوع ارتباط بین مقدم و تالی به دو نوع تقسیم میشوند: متصل و منفصل. در قضایای متصل به پیوستگی و ملازمه دو نسبت حکم میشود (اگر الف، آنگاه ب)، در حالی که در قضایای منفصل به جدایی و ناسازگاری دو نسبت حکم میشود (یا الف یا ب).
عبارت «هر چه عوض دارد گله ندارد» یک قضیه شرطی متصل است؛ زیرا سزاوار گله نبودن مشروط به عوض داشتن شده است.
واژگان کلیدی
- قضیه شرطی
- قضیهای که در آن به جای نسبت دادن مستقیم محمول به موضوع، به اتصال یا انفصال دو نسبت حکم میشود.
- مقدم
- بخش اول یا شرط در یک قضیه شرطی که تالی به آن وابسته است.
- تالی
- بخش دوم یا جواب شرط که نتیجه منطقی تحقق مقدم است.
اشتباههای رایج
- اشتباه در تشخیص مقدم و تالی بر اساس ترتیب کلمات؛ باید همیشه بر اساس رابطه معنایی (شرط و نتیجه) قضاوت کرد.
- تصور اینکه جملات انشایی (سوالی، دستوری) قضیه هستند؛ تنها جملات خبری که قابلیت صدق و کذب دارند، قضیه محسوب میشوند.
- اشتباه گرفتن کلمه «گرچه» با ادات شرط؛ «گرچه» برای تاکید بر عدم مشروطیت است و قضیه شرطی نمیسازد.
جمعبندی این مفهوم
- قضیه شرطی به دو نوع کلی متصل (پیوستگی) و منفصل (گسستگی) تقسیم میشود.
- هر قضیه شرطی شامل دو جزء مقدم (شرط) و تالی (نتیجه) است که یک واحد خبری را میسازند.
- تشخیص مقدم و تالی همواره باید بر اساس استلزام معنایی باشد، نه لزوماً ترتیب قرارگیری در جمله.
- ادات شرط مثل «اگر» ممکن است در کلام حذف شوند اما معنای شرطی همچنان باقی بماند.
- عباراتی که بر عدم مشروطیت تاکید دارند (مانند «هر چه پیش آید، خوش آید») قضیه شرطی نیستند.
نکتهٔ تکمیلی
جالب است بدانید که در منطق ریاضی، بسیاری از روابط علی و معلولی در طبیعت و علوم تجربی در قالب قضایای شرطی متصل بیان میشوند. برای مثال، قوانین فیزیک (اگر نیرو به جسم وارد شود، شتاب میگیرد) همگی ساختار شرطی دارند. تسلط بر این ساختار به شما کمک میکند تا زنجیرههای استدلالی پیچیده را در متون تخصصی به راحتی تحلیل کنید.