Сайт Лотоса » на главную страницу
домойFacebookTwitter

Энциклопедия
современной эзотерики

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

А|Б|В|Г|Д|Е|Ж|З|И|Й|К|Л|М|Н|О|П|Р|С|Т|У|Ф|Х|Ц|Ч|Ш|Щ|Э|Ю|Я

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

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


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


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


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


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


Источник: «Философский энциклопедический словарь".
Используемые сокращения.


Страницы, ссылающиеся на данную: П
ФЭСП
ФЭСПолноеСодержание

Энциклопедия Современной Эзотерики: к началу


 

 

 


Новости | Библиотека Лотоса | Почтовая рассылка | Журнал «Эзотера» | Форумы Лотоса | Календарь Событий | Ссылки


Лотос Давайте обсуждать и договариваться 1999-2019
Сайт Лотоса. Системы Развития Человека. Современная Эзотерика. И вот мы здесь :)
| Правообладателям
Модное: Твиттер Фейсбук Вконтакте Живой Журнал
Рейтинг@Mail.ru Rambler's Top100