Verbum

БЛІЗКАЎСХО́ДНІ КАНФЛІ́КТ,

ваеннае і палітычнае проціборства на рэгіянальным узроўні Ізраіля з араб. краінамі і Арганізацыяй вызвалення Палесціны (АВП). На глабальным узроўні — паміж ЗША, што падтрымлівалі Ізраіль, і СССР (да 1991), які дапамагаў дружалюбным яму араб. рэжымам. Бярэ пачатак ад утварэння Ізраільскай дзяржавы (1948). У аснове канфлікту палесцінская праблема і ўзаемаадносіны Ізраіля і араб. краін (гл. Араба-ізраільская вайна 1948—49, Ізраільска-арабскія войны). Праблема вяртання акупіраваных ізраільцянамі тэрыторый (Сінайскі п-аў, сектар Газа, Галанскія вышыні, Зах. бераг р. Іардан, частка г. Іерусалім) і барацьба палесцінцаў (у т. л. тэрарыстычныя акцыі) за стварэнне ўласнай дзяржавы зрабілі Б. Усход асяродкам самага працяглага канфлікту ў сусв. палітыцы. Пры пасрэдніцтве ЗША першым крокам да міру з’явіліся Кэмп-Дэвідскія пагадненні паміж Егіптам і Ізраілем (1979). Да 1993 па праблеме Блізкаўсходняга канфлікту ішла дыпламат. барацьба, у ходзе якой Ізраіль прызнаў АВП адзіным прадстаўніком араб. народа Палесціны, а АВП прызнала Ізраіль як дзяржаву. 13.9.1993 у Вашынгтоне бакі падпісалі мірны дагавор і палесцінцы атрымалі права на самакіраванне ў сектары Газа і гарадах Іерыхон і Віфлеем. 26.10.1994 падпісаны мірны дагавор паміж Ізраілем і Іарданіяй. У чэрв. 1995 пачаліся перагаворы паміж Ізраілем і Сірыяй па праблеме вываду ізраільскіх войскаў з Галанскіх вышыняў. Гал. перашкодай на шляху да канчатковага ўрэгулявання Блізкаўсходняга канфлікту з’яўляецца дзейнасць экстрэмісцкіх сіл як у Палесцінскім руху супраціўлення (ХАМАС і інш. арг-цыі), так і ўнутры ізраільскага грамадства (забойства прэм’ер-міністра І.​Рабіна ў ліст. 1995).

А.​А.​Чалядзінскі.

т. 3, с. 191

ЛО́ГІКА ПРЭДЫКА́ТАЎ, функцыянальная логіка,

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных x, y, z ... x​¹, y​¹, z​¹, .... якія ўяўляюць сабой розныя аб’екты, і бясконцы пералік прэдыкатных пераменных P, Q, R, ..., P​¹, Q​¹, R​¹ ..., якія ўяўляюць сабой уласцівасці і адносіны аб’ектаў. Запіс (∀x)P(x) азначае «Усякі x валодае ўласцівасцю P»; (∃x)P(x) — «некаторыя x валодаюць уласцівасцю P» і (∃xQ(xy) — «існуе x, які знаходзіцца ў адносінах Q з y» і да т.п. Квантары могуць звязваць у формулах індывідныя (звязаныя) пераменныя. Індывідныя пераменныя, не звязаныя ў формуле квантарамі, наз. свабоднымі. Так, ва ўсіх трох прыведзеных формулах пераменная х звязаная, у апошняй формуле пераменная у свабодная. Звязаныя пераменныя наз. фіктыўнымі. Формулы, якія прымаюць значэнне «ісціна» ў кожнай інтэрпрэтацыі, наз. агульназначнымі. Існуюць таксама некласічныя Л.п., якія прапануюць іншыя тлумачэнні лагічных звязак і квантара.

Літ.:

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Жуков Н.И. Философские основания математики. 2 изд. Мн. 1990.

С.​Ф.​Дубянецкі.

т. 9, с. 335