منطق فراسازگار

مَنطِق فراسازگار  به منطقی می‌گویند که با ناسازگاری یا تناقض، رفتاری خاص و ویژه دارد تا بتواند منطقی باشد که تاب‌آورندهٔ ناسازگاری باشد و به بی‌معنایی همه‌چیز نینجامد. در منطق کلاسیک از یک ناسازگاری یا تناقض هر چیزی را می‌توان نتیجه گرفت. این مسئله برخلاف شهود ماست و طبیعی نیست. من اگر به صورت ناسازگار بر آن باشم که نور ذره است و از سویی دیگر بر آن باشم که نور ذره نیست (موج است)، مجبور نیستم که بپذیرم تهران پایتخت فرانسه است. منطق کلاسیک این ارتباط را می‌پذیرد و منطق‌های فراسازگار می‌خواهند پاسخی برای این مشکل بیابند."Paraconsistent Logic". Stanford Encyclopedia of Philosophy. Retrieved 1 December 2015.

 انفجاری بودن 
منطق کلاسیک انفجاری است؛ به این معنا که اگر یک تناقض در فرضیات باشد همه‌چیز از آن بیرون می‌آید و هر گزاره‌ای در آن اثبات‌پذیر می‌شود.

 ۱  مقدمه ۲  حذف عطف از ۱ ۳  معرفی فصل از ۲ ۴  حذف عطف از ۱ ۵  قیاس فصلی از ۳ و ۴
همان‌گونه که  به دلخواه انتخاب شد و اثبات شد، می‌توان نقیض آن و هر گزارهٔ دلخواه دیگر را با مراحلی مشابه اثبات کرد. منطقی که دارای این ویژگی است را انفجاری می‌گویند. منطق کلاسیک انفجاری است.

منطق صوری در ذات خود به شدت به تناقض حساس است. با قبول دو گزارهٔ متناقض در منطق کلاسیک، می‌توان هر نتیجه‌ای مانند  را گرفت:
 (۱) 
 (۲) 
 (۳) 
 (۴) 
در چنین منطقی حتی اگر یک تناقض در فرضیات باشد، همه‌چیز را می‌توان از آن بیرون کشید و هر گزاره‌ای اثبات‌پذیر می‌شود. در این بین یک روایت دیگر از منطق نیز وجود دارد، منطق فراسازگار (Paraconsistent logic). وجود تناقض در چنین منطقی به بی‌معنایی همه‌چیز نمی‌انجامد و چه بسا که راهی روان‌شناختی باشد که در تکامل زیستی انسان، برای پذیرش تعارضات بنیادین جهان شکل گرفته باشد.http://elmna.com/2017/07/11/منطق-فراسازگار،-اپل-و-آنارشیسم/

 منطق‌های فراسازگار 
منطق‌های فراسازگار زیادی ساخته شده و می‌توان ساخت.

 منابع 


رده:تجدید نظر در باور
رده:سامانه‌های منطق ریاضی
رده:مقاله‌های ایجادشده توسط ایجادگر
رده:منطق غیرکلاسیک
رده:منطق فلسفی