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

مَنطِق فراسازگار به منطقی می‌گویند که که با ناسازگاری یا تناقض رفتاری خاص و ویژه دارد تا بتواند منطقی باشد که تاب آورنده ناسازگاری باشد و به بی معنایی همه چیز نینجامد. در منطق کلاسیک از یک ناسازگاری یا تناقض هر چیزی را می‌توان نتیجه گرفت، این مسئله برخلاف شهود ماست و طبیعی نیست. من اگر به صورت ناسازگار بر آن باشم که نور ذره است و از سویی دیگر بر آن باشم که نور ذره نیست (موج است)، مجبور نیستم که بپذیرم تهران پایتخت فرانسه است. منطق کلاسیک این ارتباط را می‌پذیرد و منطق‌های فراسازگار می‌خواهند پاسخی برای این مشکل بیابند.[1]

انفجاری بودن

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

۱	${\displaystyle P\land \neg P}$	مقدمه
۲	${\displaystyle P\,}$	حذف عطف	از ۱
۳	${\displaystyle P\lor A}$	معرفی فصل	از ۲
۴	${\displaystyle \neg P\,}$	حذف عطف	از ۱
۵	${\displaystyle A\,}$	قیاس فصلی	از ۳ و ۴

همانگونه که A به دلخواه انتخاب شد و اثبات شد می‌توان نقیض آن و هر گزاره دلخواه دیگر را با مراحلی مشابه اثبات کرد. منطقی را که دارای این ویژگی است انفجاری می‌گویند. منطق کلاسیک انفجاری است.

"منطق صوری در ذات خود به شدت به تناقض حساس است. با قبول دو گزاره متناقض در منطق کلاسیک ، می توان هر نتیجه ای مانند Q را اخذ کرد:

1. (۱) P
2. (۲) P~
3. (۳) P v Q
4. (۴) Q

در چنین منطقی حتی اگر یک تناقض در فرضیات باشد، همه چیز می توان از آن بیرون کشید و هر گزاره ای اثبات پذیر می شود. در این بین یک روایت دیگر از منطق نیز وجود دارد. منطق فراسازگار paraconsistent logic . وجود تناقض در چنین منطقی به بی معنایی همه چیز نمی‌انجامد و چه بسا که راهی روانشناختی باشد که در تکامل زیستی انسان، برای پذیرش تعارضات بنیادین جهان شکل گرفته باشد. (منطق فراسازگار، اپل و آنارشیسم، پایگاه خبری علمنا) "

منطق‌های فراسازگار

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

منابع

1. "Paraconsistent Logic". Stanford Encyclopedia of Philosophy. Retrieved 1 December 2015.