Неклассическая логика. Купарашвили М.Д. - 19 стр.

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

                             37                                                                38