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

ВАНЬКО́ВІЧ (Валенцій Мельхіёравіч) (12.5.1800, в. Калюжыца Бярэзінскага р-на Мінскай вобл. — 12.5.1842),

бел. жывапісец; прадстаўнік рамантызму. З роду Ваньковічаў, пляменнік паэта А.Гарэцкага. Вучыўся ў Полацкім езуіцкім калегіуме (1811), на ф-це вольных навук Полацкай акадэміі (1813—17), у Віленскім ун-це ў Я.Дамеля і Я.Рустэма (1818—24), Пецярбургскай АМ (1825—28). За малюнкі з натуры адзначаны 2-м (1825) і 1-м (1826) сярэбранымі медалямі, за твор «Подзвіг маладога кіяўляніна...» (1827) — залатым медалём і правам вучыцца за мяжой за кошт акадэміі. Найб. вядомы як партрэтыст: партрэты Адама Міцкевіча («Міцкевіч на скале Аюдаг», 1828), Э.Ромера, Ю.Корсака, А.Адынца, М.Шыманоўскай, А.Пушкіна, К.Ліпінскага, В.Жукоўскага і інш. З 1829 жыў у Мінску, меў майстэрню ў Вял. Сляпянцы і Мінску (разам з Ч.Манюшкам). Тут стварыў партрэты бацькі, сястры С.Гарноўскай, Д.Манюшкі, жонкі з дзецьмі (мініяцюры), А.Гарэцкага, В.Пуслоўскага і членаў яго сям’і, С. і К.Пясецкіх, К. і А.Тавянскіх і інш. Пад уплывам Тавянскага захапіўся тэорыяй містыцызму, асобай Напалеона, біблейскімі сюжэтамі: «Маці Божая Вастрабрамская», «Мадонна з Ісусам Хрыстом і Іаанам Хрысціцелем», «Напалеон каля вогнішча» (1834). У канцы 1830-х г. пакінуў Мінск; працаваў у Дрэздэне, Берліне, Мюнхене; з 1841 у Парыжы, жыў у сям’і Міцкевічаў. Напісаў манум. палотны «Апафеоз Напалеона», «Напалеон плача над картай Еўропы», абразы «Евангеліст Іаан», «Святая Клара». Твораў Ваньковіча захавалася вельмі мала. Яны знаходзяцца пераважна ў Англіі, Францыі, Італіі, Польшчы, Літве, Расіі.

Літ.:

Дробаў Л.Н. Беларускія мастакі XIX стагоддзя. Мн., 1971;

Яго ж. Живопись Белоруссии XIX — начала XX в. Мн., 1974;

Паньшына І. Ісціна вымалёўваецца: Валенцій Ваньковіч: Новыя факты біяграфіі // Мастацтва. 1994. № 1;

Ciechanowka Z. Malarz sprawy Walenty Wańkowicz: (Źyciorys) // Pamiętnik literacki. 1948. R. 38.

І.М.Паньшына.

т. 3, с. 505