ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА

- логика, не позволяющая выводить из противоречия произвольное предложение. В логике классической некоторая теория называется противоречивой, когда в ней можно доказать одновременно и предложение, и его отрицание. Если при этом в теории можно доказать и произвольное предложение, она называется тривиальной.

П. л. трактует противоречие иначе, чем классическая логика. Исключается возможность выводить из противоречий любые предложения, противоречие перестает быть угрозой разрушения теории. Этим не устраняется, конечно, принципиальная необходимость избавляться от противоречий в ходе дальнейшего развития теории.

Такой подход к противоречию сложился относительно недавно. В конце 40-х годов польским логиком С. Яськовским (1906—1965) была построена «логика дискуссии», не позволяющая выводить из противоречия произвольные предложения. Более совершенная версия П. л. была предложена позднее бразильским логиком Н. да Костой. Паранепротиворечивой является также релевантная логика, в которой новая трактовка противоречия оказалась естественным следствием решения другой задачи — более адекватной, чем в классической логике, формализации условного высказывания.

О новом отношении к противоречию и возможности логики без непротиворечия закона еще в начале этого века говорили рус. логик Н. А. Васильев (1880-1940) и польский логик Я. Лукасевич (1878-1956).

ПЕРЕСЕЧЕНИЕ КЛАССОВ (МНОЖЕСТВ)

- логическая операция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студентов, которые одновременно являются спортсменами. Результат может быть представлен в виде двух пересекающихся кругов (см. рис.), где заштрихованная часть будет представлять множество студентов, являющихся одновременно спортсменами (см.: Множеств теория). В логике чаще говорят не о П. к., а о пересечении понятий. При этом имеется в виду операция нахождения общей части объема понятий.

ПОДМЕНА ТЕЗИСА (лат. ignoratio elenchi)

— логическая ошибка в доказательстве, состоящая в том, что начав доказывать некоторый тезис, постепенно в ходе доказательства переходят к доказательству другого положения, сходного с тезисом. При этом происходит нарушение закона тождества по отношению к тезису: тезис на всем протяжении доказательства должен оставаться одним и тем же. Опасность этой ошибки заключается в том, что благодаря сходству доказанного положения с тезисом создается иллюзия о доказанности именно тезиса. Напр.. доказывая положение «Н. невиновен», приводят следующие аргументы: «Н. - хороший семьянин», «Н. — передовик производства» и т. п. Из этих аргументов вытекает вывод, что Н. - хороший человек. Но этот вывод не тождествен доказываемому тезису. Налицо подмена. П. т. часто совершается при опровержении, когда опровержение положения, лишь внешне сходного с тезисом, выдают за опровержение самого тезиса или опровержение одного из аргументов (или демонстрации) рассматривают как опровержение тезиса.

Тезис в процессе доказательства можно изменять. Иногда, доказывая некоторое положение, мы осознаем, что оно не совсем верно и нужно доказывать другое положение. В таком случае следует прямо сказать об этом, отказаться от ранее выставленного тезиса и сформулировать новый тезис и после этого продолжить доказательство уже нового тезиса.