Verbum

фармальная логіка

т. 16, с. 325

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

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

Літ.:

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

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

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

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

В.​І.​Боўш.

т. 9, с. 334