Тънката граница между логиката и абсурда, или когато 2+2 може да е равно на 5

Логиката и математиката, традиционно смятани за строги и обективни науки всъщност може би не са толкова непристъпни за абсурда, колкото изглежда на пръв поглед. Оказва се, че само едно погрешно предположение може да доведе до логическо доказателство за съществуването на еднорози или на някое друго митично същество.

За да разберем как е възможно подобно нещо, трябва да се обърнем към древногръцкия философ Аристотел, който преди повече от 2300 години формулира така наречените „три закона на мисълта“.

Един от тях, „законът за непротиворечието“ гласи, че едно и също твърдение не може да бъде едновременно вярно и невярно. В противен случай всякакви логически конструкции се обезсмислят. Именно този закон държи математиката и философията в границите на рационалността, като не позволява на абсурда да се промъкне в тези дисциплини.

Противоречията са важен елемент от всички парадокси. Например, известният парадокс на лъжеца поражда логическо противоречие: ако едно твърдение е вярно, то трябва да е невярно, но ако е невярно, то следователно е вярно. Такива парадокси предизвикват много дебати сред философите, които се опитват да премахнат противоречията от логиката.

Някои логици обаче задават въпроса: необходимо ли е непременно да приемем закона за непротиворечието? Какво се случва, ако допуснем съществуването на противоречия? Приемането на противоречието в логиката води до т.нар. принцип на експлозията, според който абсолютно всяко твърдение, независимо дали е вярно или не може да бъде доказано от едно-единствено противоречие.

Пример, илюстриращ този принцип може да бъде намерен в простите логически разсъждения. Да предположим, че твърдението „Георги е женен или Мария е висока метър и половина“ е вярно.

Ако е известно, че Георги не е женен, то автоматично следва, че Мария трябва да е висока метър и половина, иначе първоначалното твърдение не би могло да бъде вярно. Ако обаче приемем, че Георги е както женен, така и неженен, тогава от това може да се направи логически извод за съществуването на еднорози.

Този принцип е толкова разрушителен, че някои логици предлагат да се променят правилата на логиката, като се разработи т.нар. параконсистентна логика, която специално елиминира подобни проблеми. Такива промени обаче изискват отказ от много очевидни логически заключения, което прави тази идея спорна.

Радикално направление в логиката, известно като диалетейство твърди, че някои противоречия могат да бъдат едновременно и верни и неверни. Привържениците на тази теория смятат, че противоречията, като например парадоксът на лъжеца могат да съществуват, без да е необходимо да бъдат разрешавани. Въпреки, че диалетейството остава слабо използвано, то е признато като сериозна философска позиция, благодарение на работата на британския философ Греъм Прийст.

Важно е да се помни, че логиката е в основата на математиката и всяко противоречие в логиката може да има катастрофални последици и за математиката. Удивително е, че въпреки сложността и необятността на логиката и математиката досега е било възможно да се избегнат фатални противоречия, които биха могли да унищожат тези дисциплини.