ІНТУІЦЫЯНІ́ЗМ,
кірунак у асновах матэматыкі і логікі, які лічыць інтуіцыю гал. і адзіным крытэрыем правамернасці метадаў і вынікаў гэтых навук. Узнік у пач. 20 ст. (Л.Браўэр, Г.Вейль, А.Гейтынг і інш.). Адмаўляе выкарыстанне ў матэматыцы і логіцы ідэі актуальнай бясконцасці і выключанага трэцяга прынцыпу. Паводле І., прадметам даследаванняў матэматыкі выступаюць разумовыя пабудовы матэм. аб’ектаў, што разглядаюцца па-за залежнасцю ад свету рэчаў. У адрозненне ад інтуітывізму не проціпастаўляе інтуіцыю логіцы, якую разглядае толькі як частку матэматыкі, а лагічныя тэарэмы — як матэм. тэарэмы найвышэйшай ступені агульнасці.
т. 7, с. 279
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МЕТАМО́ВА,
мова, сродкамі якой праводзіцца апісанне структурных якасцей іншай (звычайна фармалізаванай) мовы, што з’яўляецца прадметам вывучэння адпаведнай метатэорыі. Паняцце «М.» прыйшло з матэм. логікі, дзе яно ўжывалася ў сэнсе «фармалізаваная мова», зручная для дакладнага апісання некат. прадметных галін з улікам сістэмных суадносін паміж навук. тэрмінамі. Пры дапамозе М. апісваецца мова як аб’ект даследавання. Адзінкі М. могуць супадаць з адзінкамі мовы-аб’екта. Напр., бел. слова «маўленне» ў значэнні «вусны варыянт мовы» адносіцца да М. і з’яўляецца лінгвістычным тэрмінам, у гутарковым выкарыстанні адносіцца да мовы-аб’екта.
В.У.Мартынаў.
т. 10, с. 308
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
лагі́чны
(гр. logikos)
1) заснаваны на законах логікі, выяўлены з яе дапамогай (напр. л. метад, л. вывад);
2) абумоўлены ўнутранай заканамернасцю чаго-н., непазбежны, неабходны (напр. л-ае развіццё падзей, л. вынік).
Слоўнік іншамоўных слоў (А. Булыка, 1999, правапіс да 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 г., часткова)
ЗЯНО́Н ЭЛЕ́ЙСКІ (Zēnōn Heleatēs; каля 490 да н.э., Элея, Паўд. Італія — 430 да н.э.),
старажытнагрэчаскі філосаф, прадстаўнік элейскай школы. Арыстоцель лічыў яго заснавальнікам дыялектыкі як мастацтва спасціжэння ісціны шляхам спрэчак ці тлумачэння процілеглых думак. З.Э. развіваў метафізічнае вучэнне Парменіда, лічыў, што быццё адзінае і нерухомае, а небыццё множнае і знаходзіцца ў руху, ісцінная карціна свету спасцігаецца з дапамогай мыслення. Найб. вядомасць набылі лагічныя аргументы З.Э., т. зв. апарыі — «Ахіл», «Дыхатамія», «Страла», «Стадый». Разважанні З.Э. аб прасторы і часе паслужылі імпульсам для далейшага развіцця ант. матэматыкі, логікі і дыялектыкі. Працы З.Э. не захаваліся, дайшлі толькі невялікія вытрымкі з іх, зробленыя старажытнагрэчаскімі мысліцелямі.
Т.Л.Адула.
т. 7, с. 134
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ІВАНО́ЎСКІ (Уладзімір Мікалаевіч) (25.7.1867, г. Вышні Валачок, Расія — 4.1.1939),
рускі і бел. філосаф. Скончыў Маскоўскі ун-т (1890). Прыват-дацэнт Маскоўскага (1899—1903 і 1914—17), Казанскага (1904—12) ун-таў, праф. Самарскага (1918—21) ун-та і БДУ (1921—27). Даследаваў праблемы асацыятыўнай псіхалогіі, гісторыі філасофіі і культуры, логікі і метадалогіі навукі, светапоглядныя асновы і дыялектыку інтарэсаў і патрэбнасцей чалавека. Перакладаў працы А.Бэна, У.Джэмса, Р.Дэкарта, Дж.С.Міля, У.Мінта і інш.
Тв.:
Движение к распространению университетского образования в России. М., 1900;
Ассоциационизм психологический и гносеологический. Ч. 1. Казань, 1909;
Методологическое введение в науку и философию. Т. 1. Мн., 1923.
т. 7, с. 155
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)