В чем разница между паранепротиворечивой логикой и традиционной классической логикой?

Разница между паранепротиворечивой логикой и традиционной классической логикой заключается в подходе к противоречиям. prepod.nspu.ru spravochnick.ru

Классическая логика стремится исключить любое противоречие. spravochnick.ru Согласно одному из её законов, из противоречия логически следует всё, что угодно. prepod.nspu.ru psyera.ru Например, из противоречивого утверждения «Токио — большой город, и Токио не является большим городом» следуют утверждения «Математическая теория множеств непротиворечива», «Луна сделана из зелёного сыра» и т. п.. prepod.nspu.ru psyera.ru

Паранепротиворечивая логика, в свою очередь, позволяет существовать противоречиям, но не допускает их противоречивого использования в выводах. spravochnick.ru В ней исключается возможность выводить любые предложения из противоречия, за счёт чего противоречия перестают угрожать теории. spravochnick.ru azbyka.ru

Таким образом, паранепротиворечивая логика предполагает, что противоречия могут возникать в реальном мире, и пытается разработать методы их обработки. spravochnick.ru В то время как классическая логика подходит к противоречиям прямолинейно, запрещая их под угрозой разрушения теории. prepod.nspu.ru psyera.ru