Verbum

КРЫ́ТЫКА САЦЫЯ́ЛЬНАЯ, крытыцызм,

кірунак у філасофіі і сацыялогіі, прадстаўнікі якога гал. задачай лічаць крытычны аналіз грамадскіх адносін. Некаторыя ідэі К.с. разглядаліся ў рамках эмпірыякрытыцызму (Э.​Мах, Р.​Авенарыус), крытычнага рэалізму (М.​Мандэльбаўм, А.​Венцль, К.​Котэн), франкфурцкай школы (Т.​Адорна, М.​Хоркхаймер, Г.​Маркузе, Дж.​Уоткінс, І.​Лакатас, Дж.​Агасі, Г.​Альберт) і блізкай да яго канцэпцыі П.​Феерабенда. Паступова сфарміраваўся адносна самаст. кірунак крытыцызму (Ч.​Мілс, Д.​Рысмэн, Э.​Фром, А.​Гоўлднер і інш.).

Як філас. кірунак К.с. ўзнікла ў сярэдзіне 20 ст. ў ходзе крытыкі неапазітывізму і сфарміравалася ў выніку дыскусій з прадстаўнікамі гіст. кірунку ў філасофіі навукі (М.​Полані, Т.​Кун, С.​Тулмін). Гал. тэарэт. функцыя яе — мэтанакіраваная крытыка асн. тэорый грамадства, перш за ўсё «акадэмічнай» сацыялогіі і сац. інжынерыі, а таксама спроб стварэння сац. навукі («рэфлексіўнай сацыялогіі», «сацыялогіі сацыялогіі» і інш.), у якой сацыёлагу адводзіцца паліт. і сацыяльна актыўная роля, роля суб’екта, які мэтанакіравана ўплывае на развіццё грамадскіх працэсаў. К.с. асаблівае значэнне надае праблемам асобы, адмоўнаму ўплыву на фарміраванне і развіццё розных сац. працэсаў і з’яў (адчужэнне вытворцы ад сродкаў вытв-сці, дэгуманізацыя працы, наркаманія і прастытуцыя, беднасць, сац. няроўнасць, бюракратызацыя сац. ін-таў і г.д.), якія прыводзяць да негатыўных наступстваў. У галіне метадалогіі крытыцызм упэўнены, што не існуе метадаў, якія забяспечваюць строга лагічны прырост навук. ведаў і што неабходна з дапамогай фармальна-лагічных спосабаў выключаць з ужытку ненавук. тэорыі.

І.​В.​Катляроў.

т. 8, с. 521

ЛО́ГІКА НАВУ́КІ,

філасофская дысцыпліна, якая выкарыстоўвае паняцці і тэхн. апарат сучаснай фармальнай логікі (дэдуктыўнай, індуктыўнай) для аналізу сістэм навук. ведаў. Даследуе асаблівасці лагічных падстаў ключавых момантаў у навук. пазнанні (логіка развіцця навукі, логіка навук. адкрыццяў і інш.). Як спец. дысцыпліна Л.н. ўзнікла ў сярэдзіне 19 ст. і сфарміравалася ў 1-й чвэрці 20 ст. (Г.​Фрэге, Б.​Расел, Л.​Вітгенштэйн). Прадмет Л.н. складаюць агульныя і найб. істотныя рысы функцыянавання ўсіх галін і кірункаў навукі: спосабы пабудовы навук. тэорый; класіфікацыя навук. тэорый і інш. форм абагульнення, сістэматызацыі і арганізацыі навук. ведаў; вывучэнне штучных (фармалізаваных) моў навукі; аналіз комплексу фармальных структур навук. паняццяў і акрэсленняў, высноў, даследчых працэдур і аперацый, распрацоўка крытэрыяў іх эфектыўнасці; разгляд логіка-гнасеалагічнага і логіка-метадалагічнага зместу працэсаў абстрагавання, тлумачэння, экстрапаляцыі, прадбачання і інш., якія выступаюць ва ўсіх сферах навук. дзейнасці. У 2-й пал. 20 ст. пэўны ўплыў атрымаў лагічны аналіз сістэм навук. ведаў з дапамогай метаду фармалізацыі, напр., у форме мадэліравання і пабудовы логіка-матэм. мадэлей аб’ектаў, што вывучаюцца ў прыродазнаўчых і грамадскіх навуках. Значную цікавасць маюць даследаванні па лагічнай семантыцы і праблемах, звязаных з эмпірычным абгрунтаваннем і праверкай навук. тэорый і гіпотэз ва ўсёй сукупнасці прыродазнаўчых і грамадскіх навук.

Літ.:

Копнин П.В. Логические основы науки. Киев, 1968;

Зиновьев А.А. Логика науки. М., 1971;

Логические проблемы исследования научного познания;

Семантич. анализ языка. М., 1980.

В.​І.​Боўш.

т. 9, с. 334

ЛО́ГІКА ПРЭДЫКА́ТАЎ, функцыянальная логіка,

раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж выказваннямі з улікам іх унутранай (суб’ектна-прэдыкатнай) структуры; пашыраны варыянт логікі выказванняў. Прадметам даследавання з’яўляецца любая галіна аб’ектаў з дадзенымі на гэтых аб’ектах прэдыкатамі, г. зн. уласцівасцямі і адносінамі. У выніку фармалізацыі Л.п. прымае выгляд розных злічэнняў (напр., злічэнне выказванняў). Пры аналізе ўплыву на лагічны вывад унутр. структуры выказванняў прэдыкаты разглядаюцца як функцыі, значэннямі якіх служаць выказванні. У дапаўненне да сімвалічных сродкаў логікі выказванняў у мову Л.п. уведзены лагічныя знакі — аператары ∀ («для ўсіх») і ∃ («для некаторых», існуе... такое, што...»), якія адпаведна наз. квантарамі агульнасці і існавання. Для выяўлення структуры выказванняў уводзіцца бясконцы пералік індывідных пераменных x, y, z ... x​¹, y​¹, z​¹, .... якія ўяўляюць сабой розныя аб’екты, і бясконцы пералік прэдыкатных пераменных P, Q, R, ..., P​¹, Q​¹, R​¹ ..., якія ўяўляюць сабой уласцівасці і адносіны аб’ектаў. Запіс (∀x)P(x) азначае «Усякі x валодае ўласцівасцю P»; (∃x)P(x) — «некаторыя x валодаюць уласцівасцю P» і (∃xQ(xy) — «існуе x, які знаходзіцца ў адносінах Q з y» і да т.п. Квантары могуць звязваць у формулах індывідныя (звязаныя) пераменныя. Індывідныя пераменныя, не звязаныя ў формуле квантарамі, наз. свабоднымі. Так, ва ўсіх трох прыведзеных формулах пераменная х звязаная, у апошняй формуле пераменная у свабодная. Звязаныя пераменныя наз. фіктыўнымі. Формулы, якія прымаюць значэнне «ісціна» ў кожнай інтэрпрэтацыі, наз. агульназначнымі. Існуюць таксама некласічныя Л.п., якія прапануюць іншыя тлумачэнні лагічных звязак і квантара.

Літ.:

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Жуков Н.И. Философские основания математики. 2 изд. Мн. 1990.

С.​Ф.​Дубянецкі.

т. 9, с. 335

МАТЭМАТЫ́ЧНАЕ МАДЭЛІ́РАВАННЕ,

метад даследавання аб’ектаў (з’яў, працэсаў, сістэм) шляхам пабудовы і вывучэння іх матэм. мадэлей; адзін з гал. спосабаў навук. пазнання, прагназавання, кіравання і тэхн. праектавання. Уключае 3 асн. этапы: стварэнне мадэлі аб’екта, пераўтварэнне яе ў алгарытм, а алгарытму — у праграму для ЭВМ.

Мадэль аб’екта запісваецца ў матэм. форме з дапамогай законаў прыродазнаўчых і тэхн. навук. У ёй адлюстроўваюцца найважнейшыя ўласцівасці аб’екта, сувязі паміж яго часткамі і інш. Метадамі выліч. матэматыкі мадэль пераўтвараюць у вылічальна-лагічны алгарытм, а затым у праграму для рэалізацыі на ЭВМ, з дапамогай якой праводзяць «доследы» патрэбных якасных і колькасных характарыстык аб’екта. Працэс М.м. пастаянна паляпшаюць і ўдакладняюць ва ўсіх звёнах і паўтараюць да дасягнення патрэбнай дакладнасці супадзення рэальных і імітацыйных даных. Элементы М.м. выкарыстоўвалі з часу паяўлення дакладных навук. Шырокае развіццё яго пачалося ў 1940-я г. і звязана ў асн. са стварэннем ЭВМ (гл. Мадэліраванне ў навуцы і тэхніцы). У канцы 20 ст. М.м. становіцца інтэлектуальным ядром інфарм. тэхналогій, працэсу інфарматызацыі грамадства. Яно выкарыстоўваецца ў ядз. і касм. тэхніцы, авія-, судна-, машынабудаванні, хім. вытв-сці, эканоміцы, сацыялогіі, біялогіі, медыцыне. а таксама там, дзе прамы натурны эксперымент немэтазгодны або немагчымы. Адзін з заснавальнікаў М.м. — рас. вучоны А.А.Самарскі.

На Беларусі М.м. развіваецца ў ін-тах матэматыкі і тэхн. кібернетыкі Нац. АН, БДУ, БПА, Бел. ун-це інфарматыкі і радыёэлектронікі і інш.

Літ.:

Самарский А.А., Михайлов А.П. Математическое моделирование: Идеи. Методы. Примеры. М., 1997;

Самарский А.А., Михайлов А.П. Компьютеры и жизнь: (Мат. моделирование). М., 1987;

Матус П.П., Рычагов Г.П. Математическое моделирование в биологии и медицине: (Аннотацион. справ.). Мн., 1997;

Математическое моделирование: Пер. с англ. М., 1979;

Самарский А.А., Вабищевич П.Н., Матус П.П. Разностные схемы с операторными множителями. Мн., 1998.

С.​У.​Абламейка, М.​П.​Савік.

т. 10, с. 212

НА́ЦІСК, акцэнт,

выдзяленне ў маўленні асобных элементаў мовы — складоў або слоў. Паводле асн. сродкаў выдзялення Н. бывае дынамічны (экспіраторны), колькасны і музычны. Пры дынамічным Н. элемент выдзяляецца памацненнем і павелічэннем напружанасці вымаўлення, пры колькасным — падаўжэннем выдзеленага элемента, пры музычным — павышэннем або паніжэннем тону голасу на выдзеленым элеменце. Націскны элемент часта выдзяляецца адначасова рознымі спосабамі. Бел. мове ўласцівы дынамічна-колькасны Н. Паводле элемента, які выдзяляецца, Н. бывае слоўны (выдзяляецца адзін склад у слове),

сінтагматычны, або тактавы (аб’ядноўвае словы сказа ў сінтагмы), фразавы, або лагічны (узмацняе сэнсавую нагрузку таго ці інш. слова ў сказе). Слоўны Н. бывае фіксаваны (заўсёды на адным складзе ад пачатку або ад канца слова, напр., у польск. мове на перадапошнім складзе) і свабодны (прыпадае на розныя склады ў словах, у бел. мове «ка́са» і «каса́»), Фіксаваны і свабодны Н. бывае рухомы (у розных формах аднаго слова або ў розных словах, утвораных ад аднаго кораня, пераходзіць з аднаго склада на другі) і нерухомы (заўсёды на адным складзе). Бел. лексіцы ўласцівыя рухомы («капа́ць — вы́капаць») і нерухомы («тво́р — тво́раў») Н. Апрача асноўнага, у некат. мовах бывае пабочны Н. (у бел. мове толькі ў складаных словах: «ле́санарыхто́ўка»). Службовыя словы самастойнага Н. не маюць і ў якасці ненаціскных складоў прымыкаюць да наступнага ці папярэдняга слова. У першым выпадку яны называюцца праклітыкамі («за_⌒морам», «без_⌒грошай»), а ў другім — энклітыкамі («знайшоў​^⌒жа», «прачытаць​^⌒бы»). Слоўны Н. адыгрывае значную ролю ў рытмічнай структуры вершаванай мовы. Н. вывучае фанетыка і акцэнталогія.

Літ.:

Івашуціч Я.М. Націск у дзеяслоўных формах сучаснай беларускай мовы. Мн., 1981;

Бірыла М.В. Націск назоўнікаў у сучаснай беларускай мове. Мн., 1986;

Дыбо В.А. Славянская акцентология. М., 1981;

Касевич В.Б. Фонологические проблемы общего и восточного языкознания. М., 1983;

Выгонная Л.Ц. Інтанацыя. Націск. Арфаэпія. Мн., 1991.

А.​І.​Падлужны.

т. 11, с. 220