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, с. 124

БЯРКО́Ў (Уладзімір Фядотавіч) (н. 1.4.1936, в. Ляхаўшчына Чавускага р-на Магілёўскай вобл.),

бел. філосаф. Д-р філас. н. (1981), праф. (1984). Скончыў БДУ (1959). У 1967—82 і з 1990 у БДУ, у 1982—90 у БПІ. Даследуе праблемы логікі, метадалогіі і філасофіі навукі. Аўтар навук. прац, дапаможнікаў па філасофіі і логіцы для ВНУ.

Тв.:

Вопрос как форма мысли. Мн., 1972;

Противоречия в науке. Мн., 1980;

Структура и генезис научной проблемы. Мн., 1983.

т. 3, с. 408

ВІ́ТГЕНШТЭЙН ((Wittgenstein) Людвіг) (26.4.1889, Вена — 29.4.1951),

аўстрыйскі філосаф, адзін з заснавальнікаў аналітычнай філасофіі. З 1929 у Вялікабрытаніі. Распрацаваў філасофію лагічнага атамізму, згодна з якой штучная мова, створаная сродкамі матэматычнай логікі, адлюстроўвае атамарныя (элементарныя) факты рэчаіснасці. Асн. працы: «Логіка-філасофскі трактат» (1921), «Філасофскія даследаванні» (1953), «Заўвагі па асновах матэматыкі» (1956) і інш.

Тв.:

Рус. пер. — Философские работы. Ч. 1—2. М., 1994.

Літ.:

Грязнов А.Ф. Эволюция философских взглядов Л.​Витгенштейна: Критич. анализ. М., 1985.

т. 4, с. 201

БУ́ЛЕВА А́ЛГЕБРА,

апарат сімвалічнай логікі; сукупнасць аб’ектаў з аперацыямі алгебры логікі, якія падпарадкаваны пэўным аксіёмам. Прапанавана Дж.Булем для аналізу рэлейных схем. Знайшла дастасаванне ў тапалогіі, тэорыі імавернасцей і інш. раздзелах матэматыкі. У аксіёмах булева алгебры адлюстравана аналогія паміж паняццямі «мноства», «падзея», «выказванне». Асн. паняцці булева алгебры: логікавая (булева) функцыя, элементарная логікавая функцыя, функцыйна поўная сістэма логікавых функцый, мінімізацыя булевых функцый.

Логікавая функцыя n булевых аргументаў прымае значэнні 0 і 1, азначаецца праўдзіваснай табліцай або аналітычнай залежнасцю ад элементарных логікавых функцый. Вызначана 16 элементарных функцый: кан’юнкцыі (логікавае множанне; аперацыя «І»), дыз’юнкцыі (складанне; «АБО»), інверсіі (адмаўленне; «НЕ»), эквівалентнасці (тоеснасць), складання па модулі 2 (выключальнае «АБО») і інш. Функцыйна поўная сістэма логікавых функцый — сукупнасць функцый, дастатковая для выражэння логікавай функцыі любой складанасці, напр., аперацыя Пірса, аперацыя Шэфера. Мінімізацыя логікавых функцый праводзіцца з мэтай упарадкавання і спрашчэння складаных функцый з дапамогай аксіём булева алгебры, картаў Карно, метадаў Квайна і Мак-Класкі і інш.

Булева алгебра з’яўляецца логікавай асновай функцыянальнай арганізацыі лічбавых ЭВМ; элементарныя логікавыя функцыі рэалізаваны ў спец. інтэгральных мікрасхемах для ЭВМ.

Літ.:

Янсен Й. Курс цифровой электроники: Пер. с голланд.: В 4 т. Т. 1. М., 1987.

А.​С.​Кабайла.

т. 3, с. 330

МЕТАЛО́ГІКА (ад мета... + логіка),

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

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

т. 10, с. 306

БАНДЗЕ́ВІЧ Антон, бел. філосаф, прадстаўнік Гродзенскай філасофскай школы 18 ст. Аўтар курса лекцый і аналагічнага трактата «Філасофія арыстоцеліка-скотаўская...» (Гродна, 1757). Дэталёва распрацаваў раздзелы фармальнай логікі (лагічны квадрат, дыз’юнкцыі, кан’юнкцыі і гэтак далей), розныя тыпы сілагізмаў. У яго натурфіласофіі зроблены крок наперад у параўнанні з папярэднікамі: лічыў філасофію Дэкарта фікцыяй, прызнаваў сістэму Ц.​Браге, не адмаўляў і вучэння М.​Каперніка.

Літ.:

Очерки истории философской и социологической мысли Белоруссии (до 1917 г.). Мн., 1973.

Э.​К.​Дарашэвіч.

т. 2, с. 278

ГЕРАІ́МЕНКА (Уладзімір Аляксандравіч) (н. 18.10.1955, в. Зарубы Дубровенскага р-на Віцебскай вобл.),

бел. філосаф. Д-р філас. н. (1990). Скончыў Віцебскі пед. ін-т (1977). З 1982 у Ін-це філасофіі і права Нац. АН Беларусі. Даследуе праблемы логікі, метадалогіі і філасофіі навукі, выкарыстання розных тыпаў ведаў у экспертных (камп’ютэрных) сістэмах.

Тв.:

Активность формы физического знания. Мн., 1985;

Личностное знание и научное творчество. Мн., 1989;

Знание. Компьютер. Общество. Мн., 1992 (разам з А.​А.​Лазарэвічам, Л.​Г.​Цітарэнка).

т. 5, с. 166

КАНВЕНЦЫЯНАЛІ́ЗМ (ад лац. conventio пагадненне, дагавор),

кірунак у філас. тлумачэнні навукі, паводле якога ў аснове матэм. і прыродазнаўча-навук. тэорый ляжаць адвольныя пагадненні (умоўнасці. вызначэнні, канвенцыі паміж вучонымі). Іх выбар рэгулюецца меркаваннямі зручнасці, мэтазгоднасці, «прынцыпам эканоміі мыслення» і інш. Заснавальнік К. — Ж.А.Пуанкарэ. У 1930-я г. з развіццём матэм. логікі прынцыпы К. асабліва выразныя ў ранніх творах Р.​Карнапа ( Аўстрыя) і К.​Айдукевіча (Польшча). У чыстым выглядзе К. не існуе; асобныя яго элементы характэрны для неапазітывізму, прагматызму. аперацыяналізму.

т. 7, с. 574

ВЫ́ВАД у логіцы,

разважанне, у ходзе якога з зыходных суджэнняў (выказванняў), пасылак ці прадпасылак выводзіцца заключэнне — суджэнне, што лагічна з іх вынікае. Вывад можа быць непасрэдны і ўскосны, дакладны і гіпатэтычны. У сімвалічнай логіцы вывад вызначаецца больш строга — як паслядоўнасць выказванняў ці формул, што складаецца з аксіём, пасылак і раней даказаных формул (тэарэм). У матэматычнай логіцы пад вывадам разумеюць паслядоўнасці формул, дзе кожная з’яўляецца або зыходнай формулай, або аксіёмай, або вынікам, атрыманым паводле правіл логікі з папярэдніх формул. Гл. Дэдукцыя, Індукцыя.

т. 4, с. 301