АКУ́ЛАЎ (Валянцін Леанідавіч) (н. 31.1.1936, в. Троіцкае Бесарабскага р-на, Малдова),
філосаф. Д-р філас. н. (1984), праф. (1985). Скончыў Кішынёўскі ун-т (1960). Настаўнічаў, працаваў у Кішынёўскім ін-це мастацтваў, Краснадарскім політэхн. ін-це і інш. З 1979 у Мінскім лінгвістычным ун-це (з 1983 заг. кафедры філасофіі і логікі). Працы па праблемах анталогіі і тэорыі пазнання, эстэтыкі, філасофіі права: «Філасофія, яе прадмет, структура і месца ў сістэме навук» (1976), «Дыялектычны матэрыялізм як сістэма (Спроба тэарэтычнага аналізу)» (1986), «Матэрыялістычны манізм: сутнасць і метадалагічнае значэнне» (1988) і інш.
т. 1, с. 215
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
КАПНІ́Н (Павел Васілевіч) (27.1.1922, с. Гжэль Раменскага р-на Маскоўскай вобл. — 27.6.1971),
расійскі філосаф. Чл.-кар. АН СССР (1970), акад. АН УССР (1967). Скончыў Маскоўскі ун-т (1947). З 1947 на навук. і пед. рабоце ў Томску, Маскве, Кіеве. З 1962 дырэктар Ін-та філасофіі АН УССР, з 1968 Ін-та філасофіі АН СССР. Асн. працы ў галіне гнасеалогіі, дыялект. матэрыялізму, метадалогіі і логікі навук. пазнання.
Тв.:
Гипотеза и познание действительности. Киев, 1962;
Логические основы науки. Киев, 1968;
Диалектика, логика, наука. М., 1973;
Гносеологические и логические основы науки. М., 1974.
т. 8, с. 28
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ІМПЕРАТЫ́Ў (ад лац. imperativus уладны, катэгарычны, загадны),
безумоўнае, катэгарычнае патрабаванне, загад, закон. Імператыўныя выказванні з’яўляюцца прадметам логікі норм. У філасофіі І.Канта — усеагульны маральны закон, якім ён імкнуўся замяніць усе ант. нормы адной (катэгарычны І.). Кант разумеў катэгарычны І. як нешта першапачаткова ўласцівае розуму, вечнае і нязменнае. Выключныя нормы, што неабходна прымаць пры пэўных абставінах, у этыцы ён называў гіпатэтычным І. Паводле дыялектычнага матэрыялізму, мараль, як і ўсё на свеце, гістарычна развіваецца і змяняецца, і ў ёй не можа быць нязменных патрабаванняў і законаў.
В.М.Пешкаў.
т. 7, с. 211
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ІНТУІЦЫЯНІ́ЗМ,
кірунак у асновах матэматыкі і логікі, які лічыць інтуіцыю гал. і адзіным крытэрыем правамернасці метадаў і вынікаў гэтых навук. Узнік у пач. 20 ст. (Л.Браўэр, Г.Вейль, А.Гейтынг і інш.). Адмаўляе выкарыстанне ў матэматыцы і логіцы ідэі актуальнай бясконцасці і выключанага трэцяга прынцыпу. Паводле І., прадметам даследаванняў матэматыкі выступаюць разумовыя пабудовы матэм. аб’ектаў, што разглядаюцца па-за залежнасцю ад свету рэчаў. У адрозненне ад інтуітывізму не проціпастаўляе інтуіцыю логіцы, якую разглядае толькі як частку матэматыкі, а лагічныя тэарэмы — як матэм. тэарэмы найвышэйшай ступені агульнасці.
т. 7, с. 279
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МЕТАМО́ВА,
мова, сродкамі якой праводзіцца апісанне структурных якасцей іншай (звычайна фармалізаванай) мовы, што з’яўляецца прадметам вывучэння адпаведнай метатэорыі. Паняцце «М.» прыйшло з матэм. логікі, дзе яно ўжывалася ў сэнсе «фармалізаваная мова», зручная для дакладнага апісання некат. прадметных галін з улікам сістэмных суадносін паміж навук. тэрмінамі. Пры дапамозе М. апісваецца мова як аб’ект даследавання. Адзінкі М. могуць супадаць з адзінкамі мовы-аб’екта. Напр., бел. слова «маўленне» ў значэнні «вусны варыянт мовы» адносіцца да М. і з’яўляецца лінгвістычным тэрмінам, у гутарковым выкарыстанні адносіцца да мовы-аб’екта.
В.У.Мартынаў.
т. 10, с. 308
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ДЭДУ́КЦЫЯ (ад лац. deductio вывядзенне),
спосаб вывядзення заключэнняў ад агульнага да канкрэтнага і адзінкавага, ад агульных разважанняў да канкрэтных або інш. вывадаў. У шырокім сэнсе — любы вывад увогуле, без якога не абыходзяцца паўсядзённыя разважанні і працэс пабудовы навук. тэорый. Упершыню тэорыя Д. распрацавана Арыстоцелем, сустракаецца ў творах Баэцыя. Ф.Бэкан недаацэньваў ролю Д. ў працэсе навук. пазнання. Р.Дэкарт супрацьпастаўляў Д. інтуіцыі. Г.Лейбніц выказваў ідэю пабудовы логікі як вылічэння, паставіў задачу вывучэння лагічных уласцівасцей адносін з мэтай пашырэння сродкаў дэдукцыйнага вываду. У сучаснай логіцы Д. разумеюць як абагульнены вывад, у якім з выказванняў, што існуюць, па правілах логікі будуецца новае (заключэнне), а выказванні, з якіх яно атрымліваецца, наз. пасылкамі. Пасылкі размяшчаюцца вольна, тэарэт. ланцуг можа быць вялікім, але заўсёды мае канец. Калі пасылкі праўдзівыя і правілы дэдукцыйнага вываду не парушаны, то заключэнне заўсёды ісціннае. Д. цесна звязана з назіраннем, эксперыментам (гл. Дослед) і індукцыяй. Ужываецца для пабудовы навук. тэорый у матэматыцы, логіцы, а таксама фізіцы, біялогіі, сацыялогіі і інш. навуках. Складанымі з’яўляюцца філас. праблемы, якія звязаны з дэдукцыйнымі вывадамі і даследуюцца ў розных кірунках філасофіі (напр., эмпірызме, рацыяналізме, марксізме і інш.). Метады і правілы Д. вывучаюцца логікай, тэорыяй пазнання і псіхалогіяй. Дэдукцыйныя працэсы, што вывучаюцца матэм. сродкамі, можна аўтаматызаваць з дапамогай ЭВМ.
Літ.:
Логика научного познания. М., 1987;
Пугач Г.В. Познавательная активность человека. М., 1985;
Стереотипы и динамика мышления. Мн., 1993.
В.М.Пешкаў.
т. 6, с. 325
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЛЕВІ́-БРУЛЬ ((Lévy-Bruhl) Люсьен) (10.4.1857, Парыж — 13.3.1939),
франц. філосаф, псіхолаг і этнограф. Праф. Сарбоны (1899—1927). Вывучаў першабытныя народы, прыйшоў да высновы, што розным сац. тыпам адпавядаюць розныя формы мыслення. Развіваючы ідэі сацыялагічнай школы Э.Дзюркгейма, стварыў тэорыю т.зв. далагічнай ментальнасці, паводле якой спосаб мыслення чалавека ў «прымітыўным» грамадстве адрозніваецца ад спосабу мыслення «цывілізаванага» чалавека, бо ў першым яшчэ не дзейнічаюць законы фармальнай логікі. У этычных разважаннях выступаў супраць рэліг. інтэрпрэтацыі маральнасці і разглядаў яе як з’яву сацыяльную. Асн. творы: «Функцыі мыслення ў ніжэйшых грамадствах» (1910), «Першабытнае мысленне» (1922), «Першабытная душа» (1927).
т. 9, с. 179
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЗНАЧЭ́ННІ І СЭНС,
паняцці філасофіі, логікі, агульнай тэорыі знакавых сістэм (семіётыка). Значэнне выражае важнасць, значнасць, ролю прадмета або з’явы ў чалавечай дзейнасці. Яно выяўляецца ў аб’ектыўнай сутнасці рэчы і выконвае толькі тыя функцыі, якія адпавядаюць яе ўласнай прыродзе. Сэнс — канкрэтызацыя значэння ў адпаведнасці са зместам і сутнасцю рэальных рэчаў і з’яў. Суадносіны і ўзаемасувязь значэнняў, якія параджаюць іх сэнс, устанаўліваюцца аб’ектыўнымі фактарамі рэчаіснасці і аб’ектыўнай логікай разважання або суб’ектыўнымі фактарамі: жаданнямі, імкненнямі, грамадскімі і асабістымі мэтамі, намерам чалавека і інш. У мове практычнае значэнне рэчаў фіксуецца, замацоўваецца і захоўваецца ў значэнні слова.
т. 7, с. 100
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МЕТАТЭО́РЫЯ,
тэорыя, аб’ектам даследавання якой з’яўляецца якая-небудзь інш. тэорыя, якая аналізуе ўласцівасці, структуру, метады, лагічныя асновы (доказнасць, супярэчлівасць, строгасць і інш.) прадметнай тэорыі. М. ўстанаўлівае памеры тэорыі, спосабы ўвядзення новых паняццяў, дае магчымасць пабудаваць яе больш рацыянальным спосабам. Вынікі М. могуць фармалізавацца і вывучацца далей. Фармулюецца М. на метамове. Найб. пашырана М. логікі (металогіка) і матэматыкі (метаматэматыка). Задачай М. з’яўляецца даследаванне ўмоў фармалізацыі навук. тэорый, а таксама сінтакс. (лагічны сінтаксіс) і семантычных (семантыка лагічная) уласцівасцей фармалізаваных моў. Такія даследаванні набываюць асаблівае значэнне ў сувязі з развіццём кібернетыкі і выліч. тэхнікі.
В.М.Пешкаў.
т. 10, с. 310
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
КВА́НТАРЫ (ад лац. quantum колькі),
у матэматычнай логіцы, аператары, што выяўляюць пры вылічэннях колькасную характарыстыку аб’ектаў, пра якія гаворыцца ў выказваннях, або іх прэдыкатаў.
Найб. важнае значэнне маюць К. агульнасці (у звычайнай мове ім адпавядаюць словы «ўсе», «усякі», «кожны», «любы», «бясконца многа» і інш.) і К. існавання («некаторы», «некалькі», «існуе», «адзіны» і інш.). У лагічных вылічэннях К. пераўтвараюць свабодныя пераменныя ў звязаныя. Аперацыю выкарыстання К. наз. падвядзеннем пад К. (вывядзеннем з-пад К.) ці квантарыфікацыяй. Над выразамі з К. можна рабіць усе аперацыі злічэння прэдыкатаў, размяркоўваць К. па членах складанага выразу, перастаўляць іх і інш. ў адпаведнасці з законамі матэматычнай логікі.
т. 8, с. 211
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)