Verbum

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

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

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

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

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

Літ.:

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

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

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

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

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

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

т. 11, с. 220