Verbum

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

Літ.:

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

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

т. 2, с. 278

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

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

Логікавая функцыя 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

ІВАНО́ЎСКІ (Уладзімір Мікалаевіч) (25.7.1867, г. Вышні Валачок, Расія — 4.1.1939),

рускі і бел. філосаф. Скончыў Маскоўскі ун-т (1890). Прыват-дацэнт Маскоўскага (1899—1903 і 1914—17), Казанскага (1904—12) ун-таў, праф. Самарскага (1918—21) ун-та і БДУ (1921—27). Даследаваў праблемы асацыятыўнай псіхалогіі, гісторыі філасофіі і культуры, логікі і метадалогіі навукі, светапоглядныя асновы і дыялектыку інтарэсаў і патрэбнасцей чалавека. Перакладаў працы А.Бэна, У.Джэмса, Р.Дэкарта, Дж.С.Міля, У.Мінта і інш.

Тв.:

Движение к распространению университетского образования в России. М., 1900;

Ассоциационизм психологический и гносеологический. Ч. 1. Казань, 1909;

Методологическое введение в науку и философию. Т. 1. Мн., 1923.

т. 7, с. 155