Verbum

АДНО́СІН ТЭО́РЫЯ,

раздзел фармальнай логікі, дзе разглядаюцца агульныя ўласцівасці адносін і законы, якім яны падпарадкоўваюцца. Распрацавана А. дэ Морганам, Ч.С.Пірсам і Э.Шрэдэрам. Асн. кірунак — вылічэнне адносін, блізкае да тэорыі класаў; даследаванне сувязі паміж адносінамі і аперацыі над імі, устанаўленне законаў, пры дапамозе якіх з адных адносін можна вывесці другія. У матэм. логіцы адносін тэорыя звязана з вывучэннем уласцівасцяў і вылічэннем прэдыкатаў, адносін тоеснасці, роўнасці, прыналежнасці элемента да пэўнага класа аб’ектаў і інш.

т. 1, с. 124

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

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

Тв.:

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

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

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

т. 5, с. 166

ВІ́ТГЕНШТЭЙН ((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

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

т. 4, с. 301

АКУ́ЛАЎ (Валянцін Леанідавіч) (н. 31.1.1936, в. Троіцкае Бесарабскага р-на, Малдова),

філосаф. Д-р філас. н. (1984), праф. (1985). Скончыў Кішынёўскі ун-т (1960). Настаўнічаў, працаваў у Кішынёўскім ін-це мастацтваў, Краснадарскім політэхн. ін-це і інш. З 1979 у Мінскім лінгвістычным ун-це (з 1983 заг. кафедры філасофіі і логікі). Працы па праблемах анталогіі і тэорыі пазнання, эстэтыкі, філасофіі права: «Філасофія, яе прадмет, структура і месца ў сістэме навук» (1976), «Дыялектычны матэрыялізм як сістэма (Спроба тэарэтычнага аналізу)» (1986), «Матэрыялістычны манізм: сутнасць і метадалагічнае значэнне» (1988) і інш.

т. 1, с. 215

МЕТАМО́ВА,

мова, сродкамі якой праводзіцца апісанне структурных якасцей іншай (звычайна фармалізаванай) мовы, што з’яўляецца прадметам вывучэння адпаведнай метатэорыі. Паняцце «М.» прыйшло з матэм. логікі, дзе яно ўжывалася ў сэнсе «фармалізаваная мова», зручная для дакладнага апісання некат. прадметных галін з улікам сістэмных суадносін паміж навук. тэрмінамі. Пры дапамозе М. апісваецца мова як аб’ект даследавання. Адзінкі М. могуць супадаць з адзінкамі мовы-аб’екта. Напр., бел. слова «маўленне» ў значэнні «вусны варыянт мовы» адносіцца да М. і з’яўляецца лінгвістычным тэрмінам, у гутарковым выкарыстанні адносіцца да мовы-аб’екта.

В.У.Мартынаў.

т. 10, с. 308

ЗНАЧЭ́ННІ І СЭНС,

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

т. 7, с. 100

МЕТАТЭО́РЫЯ,

тэорыя, аб’ектам даследавання якой з’яўляецца якая-небудзь інш. тэорыя, якая аналізуе ўласцівасці, структуру, метады, лагічныя асновы (доказнасць, супярэчлівасць, строгасць і інш.) прадметнай тэорыі. М. ўстанаўлівае памеры тэорыі, спосабы ўвядзення новых паняццяў, дае магчымасць пабудаваць яе больш рацыянальным спосабам. Вынікі М. могуць фармалізавацца і вывучацца далей. Фармулюецца М. на метамове. Найб. пашырана М. логікі (металогіка) і матэматыкі (метаматэматыка). Задачай М. з’яўляецца даследаванне ўмоў фармалізацыі навук. тэорый, а таксама сінтакс. (лагічны сінтаксіс) і семантычных (семантыка лагічная) уласцівасцей фармалізаваных моў. Такія даследаванні набываюць асаблівае значэнне ў сувязі з развіццём кібернетыкі і выліч. тэхнікі.

В.М.Пешкаў.

т. 10, с. 310