Verbum

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

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных 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

ПЛАТАНІ́ЗМ,

у вузкім сэнсе — кірунак стараж.-грэч. філасофіі 1 ст. да н.э. — пач. 3 ст. н.э.; у шырокім сэнсе — усякі філас. кірунак, які абапіраецца на вучэнне Платона.

У антычнасці П. быў прадстаўлены філосафамі Акадэміі платонаўскай (Спеўсіп, Ксенакрат, Аркесілай, Карнеад і інш.). У духу стаіцызму трактаваў вучэнне Платона Пасідоній; створаны ім стаічны П. знайшоў апору ў багаслоўі Філона Александрыйскага, у гнастыцызме, у — герметызме і ва ўсёй данікейскай патрыстыцы, а ў 2—3 ст. н.э. ў Нуменія, настаўніка Плаціна і Арыгена, які выступаў за сінтэзаванне П. і арыстоцелізму. Гэта садзейнічала пераадоленню элементаў натуралізму, характэрнага для эпохі элінізму, і складванню ў 3 ст. н.э. асноў неаплатанізму. Інтарэс да П. адрадзіўся пасля аднаўлення ў Фларэнцыі філосафам М.​Фічына платонаўскай Акадэміі (1459), адкуль ён праз кембрыджскую школу распаўсюдзіўся ў Англіі. Пад уплывам англ. філасофіі і дзякуючы ням. ідэалізму П. і неаплатанізм адрадзіліся ў Германіі, аднак толькі з Г.​Лейбніца пачалося гіст. разуменне першапачатковага П.

Неабходны элемент П. — проціпастаўленне пачуццёвага свету свету ідэй. Паводле гэтай канцэпцыі, не ідэя ўтварае сабой адлюстраванне матэрыі, а матэрыя ёсць адлюстраванне і выцяканне ідэі. Платонаўскую ідэю ў П. разглядаюць як родавае, гранічна абагульненае і жыццёва важнае лагічнае паняцце, якое змяшчае ў сабе прынцып канструявання сутнасці рэчы і, значыць, самой рэчы, утварае субстанцыянальную рэчаіснасць і яе мэту. Дамінуючую ролю ў гісторыі П. адыгрывала разуменне дыялектыкі як метаду, заснаванага на ўстанаўленні адзінства процілегласцей. Пры дапамозе такога разумення былі распрацаваны 3 асн. іпастасі (Адзінага, Розуму і Сусв. душы), выяўленне якіх заўсёды складала асн. змест П. (разам з вытлумачэннем матэрыяльнага космасу). Адной з асн. канцэпцый П. з’яўляецца вучэнне аб бессмяротнасці душы і цела, або аб кругавароце душ, г. зн. аб іх пераўвасабленні і перасяленні (сам Платон лічыў, што пасля смерці цела душа пераходзіць у другое цела або функцыянуе ў космасе).

Літ.:

Богомолов А.С. Античная философия. М., 1985;

Лосев А.Ф. Словарь античной философии: Избр. ст. М., 1995.

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

т. 12, с. 412