ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА.РЕЛЕВАНТНАЯ ЛОГИКА (ЛОГИКА ТЕОРИИ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ)
В классической логике большое значение имеет теория противоречия, суть которой заключается в наличии возможности одновременного доказательства некоторого суждения и его отри-цания.
Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной.Название данного вида неклассической логики является определенным опровержением теории противоречия. Это логика, которая не позволяет выводить из противоречия произвольное суждение. В паранепротиворечивой логике противоречие интерпретируется иначе, чем в классической. Исключается возможность выводить из противоречия любое суждение, противоречие перестает быть угрозой разрушения теории. Подобный подход к противоречию сложился в конце 40-х гг., его автором стал польский логик С. Яськовский (1906-1965). Им была разработана «логика дискуссии», которая не позволяла выводить из противоречия произвольное суждение. Чуть позже была предложена более совершенная теория паранепротиворечивости бразильским логиком Н. де Костой.
Отношением противоречия были озабочены и такие логики, как Н А. Васильев (1880-1940) и Я. Лукасевич (1878-1956).
Определенным видом паранепротиворечивой логики является релевантная логика, которая предлагает новую трактовку противоречия. В релевантной логике противоречие оказалось ес-тественным результатом решения другой задачи - формализации условного высказывания (более адекватной, чем в классической логике).
Релевантная логика (ее еще обозначают как логику теории логического следования) озабочена проблемами, которые возникают в классической логике из-за некорректного (слишком широкого) описания логического следования, не согласующегося с интуитивным представлением о следовании одного высказывания из другого. Это провоцирует резкую критику в ее адрес и на данной основе формирует один из наиболее активно развивающихся раз-
делов неклассической логики.
Релевантная логика стремится отдельно выделить и систематизировать только те принципы логики, которые уместны (релевантны), исключая при этом саму возможность парадокса материальной импликации.Необходимо указать, что возможность получения одних идей в качестве логического следствия из других формирует общую методологию познания и является фундаментом любой науки. Отсюда чрезвычайная важность однозначной и корректной интерпретации принципов логического следования.
Для классической логики понятие логическое следование является фундаментальным, исходным, и, несмотря на это, оно не имеет точного определения. Поясняется же следующим образом: логическое следование - это логическое отношение, существую-щее между посылками и обоснованно выводимыми из них заключениями. Дело в том, что описание с помощью слов «выводимо», «вытекает», «следует» и им подобным содержит явный или неявный круг, так как они являются или повторением, или синонимами понятия «следует». Логическое следование можно определить и так: из высказывания А логически следует высказывание В, если импликация «если А, то В» является частным случаем закона контрапозиции. Существует еще семантическое определение логического следования, которое гласит: из посылок Alt... А„ логически следует высказывание В, если не может быть так, что высказывание В ложно, т. е. если В истинно в любой модели, в которой ИСТИННЫ Л;,... Ап,
Таким образом, очевидно, что логическое следование имеет место лишь там, где из истинных суждений вытекает истина. Если выводы, которые уже обоснованы, дают возможность переходить от истины к лжи, то установленные между высказываниями отношения логического следования теряют всякий смысл, так как логически вывод не конкретизирует знание, что он и должен делать, а стирает границу между истиной и заблуждением.
Согласно законам классической логики из противоречия логически следует любое высказывание, а логически истинное высказывание следует из любого высказывания. Условное утверждение в логике называется импликацией (от лат. - сплетение, тесно связанное) и предстает в качестве логической связки, кото-
рой соответствует грамматическая конструкция «если..., то...», связывает два простых суждения в одно сложное с принципиальным указанием места их расположения (антецедент, консеквент). Сегодня принято различать импликацию материальную, строгую и релевантную.