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

ПАРАНЕПРОТИВОРЕЧИ́ВАЯ ЛО́ГИКА, класс ло­гич. ис­чис­ле­ний, в ко­то­рых не вы­пол­ня­ет­ся не­про­ти­во­ре­чия за­кон и при этом не име­ет мес­та ло­гич. прин­цип «из про­ти­во­ре­чия сле­ду­ет всё, что угод­но» (лат. ex contradictione sequitur quodlibet). Тер­мин «П. л.» вве­дён в 1976 пе­ру­ан. фи­ло­со­фом Ф. Ми­ро Ке­са­дой. В от­ли­чие от клас­си­че­ской и ин­туи­цио­ни­ст­ской ло­ги­ки, где по­ня­тия про­ти­во­ре­чи­во­сти и три­ви­аль­но­сти (т. е. до­ка­зуе­мо­сти в рам­ках ло­гич. тео­рии про­из­воль­но­го вы­ска­зы­ва­ния) сов­па­да­ют, П. л. по­зво­ля­ет «ло­ка­ли­зо­вать» дей­ст­вие про­ти­во­ре­чия та­ким об­ра­зом, что тео­рия пе­ре­ста­ёт быть три­ви­аль­ной; тем са­мым ста­но­вит­ся воз­мож­ным ис­поль­зо­вать её для ло­гич. ана­ли­за про­ти­во­ре­чи­вых дан­ных (напр., про­ти­во­ре­ча­щих друг дру­гу сви­де­тель­ских по­ка­за­ний и разл. юри­дич. до­ку­мен­тов в юрис­пру­ден­ции; про­ти­во­ре­чи­вой ин­фор­ма­ции в ком­пь­ю­тер­ных ба­зах дан­ных; на­уч. и фи­лос. тео­рий и т. д.). Сре­ди ло­ги­ков и фи­ло­со­фов, ис­сле­дую­щих па­ра­не­про­ти­во­ре­чи­вость, по­лу­чи­ла рас­про­стра­не­ние кон­цеп­ция, на­зван­ная в 1981 Г. При­стом и Р. Ра­ут­ли «диа­ле­те­из­мом» (dialetheism); со­глас­но ей, су­ще­ст­ву­ют ис­тин­ные про­ти­во­ре­чия, т. е. име­ют­ся ут­вер­жде­ния A та­кие, что вме­сте A и ¬A ис­тин­ны. В ка­че­ст­ве их при­ме­ров при­во­дят­ся па­ра­док­сы са­мо­ре­фе­рен­ции («Лжец», па­ра­докс Рас­се­ла и др.), нрав­ст­вен­ные ди­лем­мы, диа­лек­тич. про­ти­во­ре­чия в сис­те­ме Ге­ге­ля и др.

Пер­вы­ми на не­уни­вер­саль­ность за­ко­на не­про­ти­во­ре­чия, т. е. на воз­мож­ность по­строе­ния ло­гик без это­го за­ко­на, ука­за­ли в 1910 не­за­ви­си­мо друг от дру­га Н. А. Ва­силь­ев и Я. Лу­ка­се­вич. Пер­вой оформ­лен­ной сис­те­мой П. л. бы­ла дис­кус­сив­ная (дис­кур­сив­ная) ло­ги­ка С. Ясь­ков­ско­го (1948), пред­на­зна­чен­ная для ана­ли­за про­ти­во­ре­чи­вых мне­ний уча­ст­ни­ков дис­кус­сии. На­чи­ная с 1963 П. л. ин­тен­сив­но раз­ра­ба­ты­ва­лась в ра­бо­тах браз. ма­те­ма­ти­ка и ло­ги­ка Н. да Кос­ты (р. 1929) и его уче­ни­ков. П. л. свя­за­на со мно­ги­ми не­клас­си­че­ски­ми ло­ги­ка­ми – мо­даль­ной, мно­го­знач­ной; её под­клас­сом яв­ля­ет­ся ре­ле­вант­ная ло­ги­ка.