Поиск в словарях
Искать во всех

Философский словарь - паранепротиворечивая логика

Паранепротиворечивая логика

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

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

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

О новом отношении к противоречию и возможности логики без противоречия закона еще в нач. 20 в. говорили рус. логик Н.А. Васильев и пол. логик Я. Лукасевич.

Васильев Н.А. Воображаемая логика. М., 1969; Ишмуратов А. Т., Карпенко А.С., Попов В.М. О паранепротиворечивой логике // Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989; Lukasiewicz J. О zasade sprzecznosci u Aristotelesa. Warszawa, 1987.

Рейтинг статьи:
Комментарии:

Вопрос-ответ:

Что такое паранепротиворечивая логика
Значение слова паранепротиворечивая логика
Что означает паранепротиворечивая логика
Толкование слова паранепротиворечивая логика
Определение термина паранепротиворечивая логика
paraneprotivorechivaya logika это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):