وضعِ مقدم یک شرط را رو به جلو منتقل میکند؛ رفعِ تالی از شکستِ پیامد برای ردِ شرط استفاده میکند. هر دو معتبرند، اما فقط وقتی شرط واقعاً برقرار باشد.
1مسئلهای که حل میکند
این دو صورت ستونِ فقراتِ آزمونِ قیاسیاند. اهمیتشان در این است که استدلالهای تجربی اغلب ظاهرِ آنها را تقلید میکنند بیآنکه مقدماتشان را واقعاً داشته باشند. ابطالِ پوپری فقط زمانی صورتِ رفعِ تالی دارد که پیشبینی واقعاً از نظریه بهعلاوهٔ فرضهای کمکی نتیجه شود.
2ایدهٔ اصلی
وضعِ مقدم: اگر پ آنگاه ق؛ پ؛ پس ق. رفعِ تالی: اگر پ آنگاه ق؛ نهق؛ پس نهپ. هر دو معتبرند. رفعِ تالی صورتِ منطقیِ ابطال است.
3خاستگاه و زمینه
دو قاعدهٔ بنیادی در منطقِ گزارهها. وضعِ مقدم: P→Q، P، پس Q. رفعِ تالی: P→Q، نه-Q، پس نه-P. اهمیتِ معرفتیِ آنها از این میآید که تأیید و ابطال از نظر منطقی تصویرِ آینهایِ هم نیستند.
4مثالِ کلاسیک
اگر نظریه درست باشد، ایکس را مشاهده میکنیم. ایکس را مشاهده نمیکنیم. پس نظریه درست نیست.
5اعتراضها و پاسخها
اعتراض. پیشبینیهای علمی معمولاً احتمالاتیاند، پس رفعِ تالیِ سختگیرانه بهندرت کاربرد دارد.
پاسخ. دقیقاً. صورتِ منطقی همچنان ایدهآلِ مفیدی است، اما آزمونِ احتمالاتی به آستانه، درستنمایی و فرضهای کمکی نیاز دارد. همین یکی از دلایلِ ناکافیبودنِ ابطالگراییِ ساده است.
اعتراض. شکستِ پیشبینی شاید از ابزارِ بد باشد، نه نظریهٔ کاذب.
پاسخ. این همان نکتهٔ دوئم–کواین است. رفعِ تالی عطفِ نظریه، فرضهای کمکی، سنجش و شرایطِ اولیه را رد میکند؛ خودش نمیگوید کدام جزء باید کنار گذاشته شود.
6با اینها اشتباه نگیرید
رفعِ تالی و انکارِ مقدم
از P→Q و نه-P نمیتوان نه-Q را نتیجه گرفت؛ Q ممکن است علتهای دیگری داشته باشد. انکارِ مقدم نامعتبر است.
وضعِ مقدم و وضعِ تالی
از P→Q و Q نمیتوان P را نتیجه گرفت. این وارونگی همان مغالطهٔ وضعِ تالی است.
7خطاهای رایج
- نوشتنِ «اگر مدل درست باشد Q محتمل است» و سپس برخورد با نبودِ Q بهعنوان ابطالِ منطقیِ قطعی.
- فراموشکردنِ اینکه خودِ گزارهٔ شرطی اغلب مهمترین مقدمهٔ محلِ اختلاف است.
8در کارِ شما
تمامِ روشِ پوپر همان رفعِ تالی است که بر ادعاهای کلی اعمال شده. دیدنِ این نکته، ابطالگرایی را کمتر شبیه فلسفه و بیشتر شبیه حساب میکند.
9خودآزمایی
اگر نظریه بههمراهِ فرضهای کمکی X را نتیجه دهد و X بهطور قابلاعتماد مشاهده نشود، رفعِ تالی دقیقاً چه چیزی را مجاز میکند؟
نمایش پاسخ
ردِ عطفی که X را نتیجه داده است. برای اینکه بدانیم نظریهٔ اصلی، فرضِ کمکی، سنجش یا شرایطِ اولیه مقصر است استدلالِ دیگری لازم داریم.