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

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


Смотреть больше слов в «Словаре по логике»

ПЕРЕМЕННАЯ →← ПАРАЛОГИЗМ

Смотреть что такое ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА в других словарях:

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

ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА — логика, не позволяющая выводить из противоречия произвольное предложение. В классической логике теория называется про... смотреть

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

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

T: 235