Verbum

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

галіна логікі, у якой сродкамі метатэорыі вывучаюцца будова і ўласцівасці розных фармальна-лагічных сістэм і логікі ў цэлым. Узнікла ў сувязі з даследаваннямі асноў дэдуктыўных навук (асабліва матэматыкі). У вузкім сэнсе М. ўключае 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

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

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

т. 1, с. 215

МЕТАМО́ВА,

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

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

т. 10, с. 308

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

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

т. 7, с. 100

ЛЕВІ́-БРУЛЬ ((Lévy-Bruhl) Люсьен) (10.4.1857, Парыж — 13.3.1939),

франц. філосаф, псіхолаг і этнограф. Праф. Сарбоны (1899—1927). Вывучаў першабытныя народы, прыйшоў да высновы, што розным сац. тыпам адпавядаюць розныя формы мыслення. Развіваючы ідэі сацыялагічнай школы Э.Дзюркгейма, стварыў тэорыю т.зв. далагічнай ментальнасці, паводле якой спосаб мыслення чалавека ў «прымітыўным» грамадстве адрозніваецца ад спосабу мыслення «цывілізаванага» чалавека, бо ў першым яшчэ не дзейнічаюць законы фармальнай логікі. У этычных разважаннях выступаў супраць рэліг. інтэрпрэтацыі маральнасці і разглядаў яе як з’яву сацыяльную. Асн. творы: «Функцыі мыслення ў ніжэйшых грамадствах» (1910), «Першабытнае мысленне» (1922), «Першабытная душа» (1927).

т. 9, с. 179