موضوع مقاله: اصل انفجار | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # اصل انفجار | مقدمه: در منطق کلاسیک، منطق شهودی و دستگاه‌های منطقی مشابه، اصل انفجار یا اصل دانس اسکوتوس، قانونی است که طبق آن می‌توان هر گزاره‌ای را از یک تناقض اثبات کرد. | ## بخش 1: اصل انفجار | یعنى پس از فرض کردن یک تناقض، هر گزاره‌اى (از جمله نقیض خود گزاره) را مى‌توان از آن استنباط کرد؛ این به عنوان انفجار قیاسی شناخته می‌شود. اثبات این اصل برای اولین بار توسط فیلسوف فرانسوی قرن دوازدهم، ویلیام سوسون ارائه شد. از آنجایی که هر گزاره‌ای قابل اثبات است، مفاهیم صدق و کذب را بی‌اهمیت جلوه می‌دهد. در اواخر قرن بیستم، کشف تناقض‌هایی مانند پارادوکس راسل در پایه‌های ریاضیات، کل ساختار ریاضیات را تهدید کرد. ریاضی‌دانانی مانند گوتلوب فرگه، ارنست تسرملو، آبراهام فرنکل و تورالف اسکولم تلاش زیادی برای بازنگری در نظریۀ مجموعه‌ها برای از بین بردن این تناقض‌ها انجام دادند که نتیجۀ آن نظریۀ مجموعه‌های تسرملو-فرانکل مدرن شد. دو گزارۀ متناقض را در نظر بگیرید - "همۀ لیموها زرد هستند" و "همۀ لیموها زرد نیستند" - و فرض کنید که هر دو درست هستند. به عنوان مثال، این ادعا که "تک‌شاخ‌ها‌ وجود دارند": می‌دانیم که «همۀ لیموها زرد نیستند» همانطور که فرض شده‌است، درست است. بنابراین، ترکیب فصلی «همۀ لیموها زرد هستند یا تک‌شاخ‌ها وجود دارند» نیز باید درست باشد، زیرا «همه لیموها زرد هستند» درست است (همانطور که فرض شده‌است). | ## بخش 2: اصل انفجار | با این حال، از آنجایی که طبق فرض‌مان می‌دانیم «همۀ لیموها زرد نیستند» درست است، در نتیجه بخش اول ترکیب فصلی یعنی «همه لیموها زرد هستند» نادرست است و بنابراین بخش دوم ترکیب فصلی یعنی «تک‌شاخ‌ها وجود دارند» باید درست باشد تا اطمینان حاصل شود که ترکیب فصلی درست است، یعنی تک‌شاخ وجود دارد. در راه‌حلی متفاوت برای این مسائل، تعدادی از ریاضی‌دانان نظریه‌های جایگزین منطق ریاضی به نام منطق‌های فراسازگار را ابداع کرده‌اند که اصل انفجار را حذف می‌کند. این‌ها اجازه می‌دهند که برخی از اظهارات متناقض بدون تأثیر بر سایر شواهد اثبات شوند. نمایش به‌صورت نمادین در منطق ریاضی، اصل انفجار را می‌توان به‌صورت خلاصه به‌شکل زیر بیان کرد: که یعنی برای هر دو گزارۀ و ، اگر هر دوی و (نقیضِ ) درست باشند، آنگاه به‌طور منطقی، را ثابت می‌کنند. گام گزاره شرح 1 فرض 2 فرض 3 ترکیب فصلی (1) 4 قیاس منفصل (2، 3) این فقط نسخۀ نمادین استدلالی است که در مقدمه ارائه شده است که مخفف "همۀ لیموها زرد هستند" و مخفف "تک‌شاخ‌ها وجود دارند". ما با این فرض شروع می‌کنیم که (1) همۀ لیموها زرد هستند و (2) همۀ لیموها زرد نیستند. از این گزاره که "همۀ لیموها زرد هستند" استنباط می‌کنیم که (3) یا "همۀ لیموها زرد هستند" یا "تک‌شاخ‌ها وجود دارند". اما پس از این و این واقعیت که "همۀ لیموها زرد نیستند"، استنباط می‌کنیم که (4) تک‌شاخ‌ها وجود دارند. | ## بخش 3: اصل انفجار | یک جملۀ ، پیامد معنایی مجموعه‌ای از جملات است؛ تنها اگر هر مدل از ، یک مدل از باشد. منطق فراسازگار منطق‌های فراسازگاری توسعه داده شده‌اند که عملگرهای فرعی تشکیل می‌دهند. منطق‌دانان ناسازگار نظریۀ مدل اغلب این فرض را رد می‌کنند که هیچ مدلی از و سیستم‌های معنایی باشند که در آن‌ها چنین مدل هایی وجود داشته باشد. از طرف دیگر، آن‌ها این ایده را رد می‌کنند که قضایا را می‌توان به عنوان درست یا نادرست طبقه‌بندی کرد. منطق‌های فراسازگار مبتنی بر نظریۀ اثبات، معمولاً اعتبار یکی از مراحل لازم برای استخراج یک انفجار را رد می‌کنند، که معمولاً شامل قیاس متمایز، مقدمۀ تفکیک و تعلیق به محال است. استفاده ارزش فرا ریاضی اصل انفجار این است که برای هر سیستم منطقی‌ای که در آن این اصل برقرار است، هر نظریۀ مشتق شده‌ای که ⊥ (یا شکلی معادل، ) را اثبات می‌کند، بی‌ارزش است؛ زیرا همۀ گزاره‌های آن به قضیه تبدیل می‌شوند و تشخیص حقیقت از باطل را غیرممکن می‌کنند. یعنی اصل انفجار، استدلالی برای اصل امتناع تناقض در منطق کلاسیک است؛ زیرا بدون آن همۀ گزاره‌های حقیقی بی‌معنا می‌شوند. منطق فراسازگار - خانواده‌ای از منطق‌ها که برای پرداختن به تناقض‌ها استفاده می‌شوند. | ## جمع‌بندی | پارادوکس استلزام مادی - یک پارادوکس ظاهری برگرفته از اصل انفجار تعلیق به محال - نتیجه‌گیریِ اینکه یک گزاره نادرست است؛ زیرا فرض درستی‌اش منجر به تناقض می‌شود.