قضیهٔ شرطی و قیاس استثنایی (منطق)

قضیه شرطی و قیاس استثنایی (منطق، درس نهم)

قضیه شرطی: متصل و منفصل

در قضیه‌ی حملی یک نسبت وجود دارد («آهن فلز است»)؛ در قضیه‌ی شرطی به اتصال یا انفصال میان دو نسبت حکم می‌شود.

متصل: ساختار «اگر مقدم، آنگاه تالی». مقدم لزوماً اول جمله نمی‌آید — باید از معنا تشخیص داد. مثال: «با والیبال خداحافظی می‌کنم؛ در صورتی که فردا نبریم» ← مقدم = «نبریم»، تالی = «خداحافظی می‌کنم». جایگزین‌های «اگر»: هرگاه، در صورتی که، چنانچه، وقتی که، گر (شعر کلاسیک)؛ جایگزین «آنگاه»: در این صورت، پس، لذا، بنابراین.

منفصل: ساختار «یا الف یا ب». برای تشخیص نوع، دو سؤال کلیدی: آیا هر دو جزء می‌توانند هم‌زمان صادق باشند؟ آیا می‌توانند هم‌زمان کاذب باشند؟

ترفند حفظ: مانعة الجمع یعنی «جمع در صدق» ممنوع؛ مانعة الرفع یعنی «جمع در کذب (رفع هر دو)» ممنوع؛ حقیقی هر دو را ممنوع می‌کند.

قیاس استثنایی اتصالی — چهار حالت

قیاس استثنایی، قیاسی است که عین نتیجه یا نقیض آن در یکی از مقدمات آمده باشد — برخلاف قیاس اقترانی (دو قضیه حملی) که نتیجه از ترکیب مقدمات ساخته می‌شود.

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

ترفند حفظ: وضع مقدم و رفع تالی (وضع→اثبات یک‌طرف، رفع→نفی همان‌طرف) معتبرند؛ رفع مقدم و وضع تالی (طرف مخالف) مغالطه‌اند.

قیاس استثنایی انفصالی

مثال منفصل حقیقی: «یا ناصر گلدان را شکسته یا پرویز (فقط این دو نفر بودند)؛ پرویز نشکسته؛ پس ناصر شکسته» ✓
مثال مانعة الجمع: «یا به نامزد الف رأی بده یا ب؛ به الف رأی دادی؛ پس به ب رأی ندادی» ✓ — اما از «به ب رأی ندادی» نمی‌توان نتیجه گرفت به الف رأی دادی (شاید به نامزد سومی رأی دادی).
مثال مانعة الرفع: «یا از شماره پرونده یا شماره ملی؛ از پرونده موفق نشد؛ پس از شماره ملی موفق می‌شود» ✓ — اما اگر از پرونده موفق شد، نمی‌توان گفت از ملی موفق نمی‌شود (شاید هر دو کار کند).

ارتباط با ریاضیات، منطق نمادین و فناوری

در ریاضیات: نقیضه‌ی یک قضیه ($\neg q \to \neg p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی) با خود قضیه ($p\to q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی) هم‌ارز است — این دقیقاً همان رفع تالی است. اما عکس قضیه ($q\to p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی) لزوماً صادق نیست — این همان مغالطه‌ی وضع تالی است. مثال: «اگر متساوی‌الاضلاع باشد، آنگاه متساوی‌الساقین است» درست است، اما عکسش (هر متساوی‌الساقینی متساوی‌الاضلاع است) نادرست است.

در منطق نمادین با نمادهای $\rightarrow$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی (اگر...آنگاه)، $\vee$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی (یا)، $\wedge$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی (و)، $\neg$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی (نقیض): $p\to q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی فقط وقتی کاذب است که $p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی صادق و $q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی کاذب باشد. این یعنی «اگر ماه از پنیر باشد، آنگاه ۲+۲=۴» در منطق نمادین صادق است (چون مقدم کاذب است)! این را «پارادوکس مواد شرطی» می‌نامند و نشان می‌دهد منطق نمادین با زبان طبیعی تفاوت دارد.

در مدارهای الکترونیکی و هوش مصنوعی، گیت‌های AND/OR/NOT دقیقاً همین قواعد منطقی را پیاده می‌کنند (صادق=۱، کاذب=۰). عملگر OR در موتورهای جست‌وجو در واقع مانعة الرفع است (نه حقیقی)، چون نتایج حاوی هر دو کلمه را هم نشان می‌دهد.

مغالطه‌ی رایج روزمره «Post Hoc» شبیه مغالطه‌ی وضع تالی است: «بعد از خوردن این دارو بهبود یافتم، پس این دارو مرا درمان کرد» — نتیجه‌ای نامعتبر، چون بهبود می‌توانست دلایل دیگری هم داشته باشد.

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

فارابی (معلم ثانی، ۲۶۰-۳۳۹ هـ.ق) منطق را «دستور زبان تفکر» می‌دانست: «نسبت فن منطق به عقل و فکر مانند نسبت فن نحو به زبان و الفاظ است.»

تمرین تشخیص نوع منفصل (نمونه‌های بیشتر)

جدول جامع قیاس اتصالی (چهار حالت با مثال کامل)

مثال شروع کتاب (وضع تالیِ مغالطه‌آمیز): «اگر کودکم همان بیماری را گرفته باشد، تب و دل‌درد خواهد داشت؛ کودکم تب و دل‌درد دارد؛ پس همان بیماری را گرفته است» ✗ — چون تب و دل‌درد علل دیگری هم می‌تواند داشته باشد.

تمرین‌های پایان درس کتاب (با پاسخ کامل)

قیاس انفصالی — مثال کامل با چهار حالت

«یا این عدد طبیعی زوج است یا فرد» (منفصل حقیقی):

• این عدد زوج است → پس فرد نیست ✓
• این عدد فرد است → پس زوج نیست ✓
• این عدد زوج نیست → پس فرد است ✓
• این عدد فرد نیست → پس زوج است ✓
  (هر ۴ حالت در منفصل حقیقی معتبرند، چون یکی حتماً صادق و دیگری حتماً کاذب است.)

نقیض‌نقیض و رابطه‌ی اگر-فقط‌اگر (فراتر از کتاب)

در منطق دهم، قضیه‌ی شرطی متصل همیشه یک‌طرفه ($\rightarrow$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی) است، برخلاف «اگر و فقط اگر» ($\leftrightarrow$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی) که دوطرفه است — به همین دلیل از اثبات تالی نمی‌توان مقدم را نتیجه گرفت.

منطق بولی و اینترنت