Verbum

АБ’ЕКТЫВІ́ЗМ,

1) кірунак у гнасеалогіі, у аснове якога ляжыць арыентацыя пазнавальнай дзейнасці на сац.-паліт. «нейтральнасць», на ўстрыманне ад сац.-крытычных ацэнак, суджэнняў аб яе каштоўнасцях і мэтах. Тым самым ён абмяжоўвае «разумнае мысленне», нярэдка маскіруючы гнасеалагічны суб’ектывізм. Аб’ектывізм адмаўляе самаст. ролю актыўных дзеянняў гіст. суб’ектаў, трактуе іх як цалкам абумоўленыя фатальным ходам рэчаў, уплывам тэхніка-тэхнал. і навук. фактараў. У найноўшай сваёй форме сцыентызму Аб’ектывізм выражаецца ў тэндэнцыі звесці ўсю культуру да навукі, а праблемы чалавека і грамадства — да навук.-тэхн. задач.

2) Кірунак у этыцы, які прызнае аб’ектыўныя каштоўнасці і прадпісанні і спрабуе ўстанавіць аб’ектыўны крытэрый і аб’ектыўную мэту маральнага дзеяння (гл. Норма).

Літ.:

Поппер К. Логика и рост научного звания. М., 1983;

Праблемы развіцця сучаснай філасофіі. Мн., 1994.

У.​К.​Лукашэвіч.

т. 1, с. 19

РОД І ВІД у логіцы,

паняцці, якія служаць для выражэння адносін падпарадкавання. Усякае лагічнае паняцце можа быць адначасова відам (у адносінах да больш агульнага паняцця) і родам (у адносінах да паняцця менш агульнага). Напр., паняцце «службовае злачынства» — род у адносінах да паняцця «службовы падлог» і ў той жа час від у адносінах да паняцця «злачынства»; паняцце «дзяржава» — відавое паняцце ў адносінах да паняцця «палітычная арганізацыя грамадства», якое з’яўляецца родавым у адносінах да паняцця «дзяржава». Родавых паняццяў не існуе толькі для гранічна шырокіх класаў — катэгорый, якія ўжо не ўваходзяць у склад больш шырокага класа. Калі ў адносінах падпарадкавання знаходзяцца агульнае і адзінкавае (індывідуальнае) паняцці, то агульнае паняцце (тое, што падпарадкоўвае) з’яўляецца відам, а адзінкавае (падпарадкаванае) — індывідам. У такіх адносінах, напр., знаходзяцца паняцці «гісторык-славіст» і «У.​І.​Пічэта». Такім чынам, паняцце А з’яўляецца родам у адносінах да паняцця Б, калі А можа быць утворана ў выніку абагульнення Б; паняцце Б. з’яўляецца відам паняцця А, калі Б можа быць утворана ў выніку абмежавання А і вылучэння агульных прыкмет у індывід. паняццях і само мае агульныя прыкметы з інш. відавымі паняццямі. У розных навуках шырока выкарыстоўваецца лагічная аперацыя вызначэння паняццяў праз род і відавое адрозненне. Так, у тэорыі дзяржавы і права даецца вызначэнне паняцця «рэспубліка»: рэспубліка — форма праўлення (род), пры якой вышэйшая дзярж. ўлада належыць выбраным на пэўны тэрмін прадстаўнічым органам (відавое адрозненне). Узаемасувязь відавых і родавых паняццяў адлюстроўвае ў свядомасці аб’ектыўную ўзаемасувязь Р. і в. ў прыродзе і грамадстве. Устаноўленыя ў логіцы прынцыпы ўзаемадзеяння Р. і в. выкарыстоўваюцца ў шэрагу тэорый. Напр., у сістэматызацыі раслін і жывёл, дзе паняцце «род» ахоплівае групу роднасных відаў, а паняцце «від» характарызуе агульнасць роднасных паміж сабой індывідаў, пэўныя прыкметы якіх, застаючыся адносна нязменнымі, супадаюць (гл. Від, Сістэматыка).

Літ.:

Ковальски Р. Логика в решении проблем: Пер. с англ. М., 1990;

Арно А., Николь П. Логика, или Искусство мыслить: Пер. с фр. М., 1991;

Брюшинкин В.Н. Практический курс логики для гуманитариев.

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

т. 13, с. 393

ПІЯЖЭ́ ((Piaget) Жан) (9.8.1896, г. Неўшатэль, Швейцарыя — 16.9.1980),

швейцарскі псіхолаг. Вучыўся ва ун-тах Неўшатэля, Цюрыха, Парыжа. У 1926—54 праф. ун-таў Неўшатэля, Жэневы, Лазаны. З 1929 дырэктар ін-та Ж.​Ж.​Русо ў Жэневе. Заснавальнік Міжнар. цэнтра генетычнай эпістэмалогіі ў Парыжы (1955). Навук. працы ў галіне агульнай псіхалогіі, псіхалогіі мыслення і дзіцячай псіхалогіі. Стваральнік канцэпцыі інтэлекту і генетычнай эпістэмалогіі. Распрацоўваў праблемы узаемаадносін псіхалогіі і логікі, вывучаў пераўтварэнне ўнутр. структуры разумовай дзейнасці у ходзе антагенезу. Лічыў, што функцыянаванне і развіццё псіхікі адбываецца пры адаптацыі індывіда да асяроддзя (асіміляцыі), а таксама прыстасавання да канкрэтных сітуацый (акамадацыі). Аўтар прац «Псіхалогія інтэлекту» (1946), «Уводзіны ў генетычную эпістэмалогію» (т. 1—3, 1949—50) і інш.

Тв.:

Рус. пер. — Речь и мышление ребенка. М., 1994;

Избр. психологические труды: Психология интеллекта. Генезис числа у ребенка. Логика и психология. М., 1994;

Суждение и рассуждение ребенка, СПб., 1997.

т. 12, с. 396

АНА́ЛІЗ (ад грэч. analysis раскладанне),

спосаб (прыём) навук. пазнання праз мысленнае ці рэальнае расчляненне аб’екта пазнання (прадмета, з’явы, працэсу) на часткі і асэнсаванне іх узаемасувязі. Працэс аналізу — састаўная частка, першая ступень навук. даследавання. Канчатковы вынік — разуменне структуры аб’екта, які вывучаецца. Калі аб’ект з’яўляецца прадстаўніком пэўнага класа прадметаў, аналіз аднаго з іх дае магчымасць уявіць структуру ўсяго класа. Вынікі аналізу служаць матэрыялам для наступных ступеняў навук. пазнання — абстракцыі, абагульнення, параўнання і інш. Аналіз — рухальная сіла ў выяўленні законаў, якім падпарадкоўваецца аб’ект даследавання. Карэктнасць аналізу правяраецца процілеглым яму прыёмам — сінтэзам. Калі пры гэтым выяўляецца супярэчнасць, аналіз паўтараецца з вылучэння новых гіпотэз аб структуры і ўласцівасцях састаўных частак аб’екта вывучэння. Калі паўторны аналіз паказаў неадольнасць супярэчнасцяў, то для выяўлення структуры аб’екта неабходны новы падыход. У логіцы сістэмны аналіз выкарыстоўваецца з часоў Арыстоцеля. Са з’яўленнем сімвалічнай логікі, кібернетыкі і семіётыкі выпрацавана найб развітая форма лагічнага аналізу — пабудовы фармалізаваных моў.

Літ.:

Пузиков П.Д. Анализ и синтез — от мысли к вещи. Мн., 1969;

Андреев М.Д. Диалектическая логика. М., 1985;

Hintikka J., Remes U. The method of analysis. Dordrecht;

Boston, 1974.

В.​М.​Пешкаў.

т. 1, с. 333

ЛО́ГІКА (ад грэч. logos слова, паняцце, розум),

сукупнасць навук, якія вывучаюць законы і правілы мыслення, спосабы развіцця і спасціжэння ведаў. Паводле Арыстоцеля, навука пра формы правільнага мыслення. І.​Кант называў такую навуку фармальнай Л. У сучасным уяўленні фармальная Л. — навука аб законах высноўных ведаў, якія атрыманы з раней устаноўленых і правераных ісцін без звароту ў кожным канкрэтным выпадку да вопыту, а толькі ў выніку прыцягнення законаў і правіл мыслення; яе прадмет — даследаванне разважанняў (вывадаў і доказаў) з пункту погляду іх лагічнай формы (структуры) незалежна ад канкрэтнага зместу суджэнняў, што ў яго ўваходзяць. Пры аналізе лагічных працэсаў усе «асобныя» Л. карыстаюцца мовай сімвалаў і формул, якая будуецца ў адпаведнасці з агульнымі для ўсіх сістэм прынцыпамі Л.

У гіст. развіцці Л. прайшла некалькі этапаў. Фрагменты лагічных даследаванняў вядомы ў стараж.-інд. і стараж.-кіт. філасофіі. У стараж. Грэцыі Л. зарадзілася ў ранняй філасофіі і развівалася пад уплывам аратарскага мастацтва. Традыцыйная арыстоцелеўская Л. стала першай ступенню Л. высноўных ведаў, якая вывучае агульначалавечыя формы думак (паняцці і суджэнні), формы сувязі думак у разважанні (высновы), зафіксаваныя ў фармальна-лагічных законах (тоеснасці закон, супярэчнасці закон, выключанага трэцяга прынцып). Арыстоцель першы ўжыў метады фармальнага аналізу мыслення на аснове прынцыпу яго несупярэчлівасці, сфармуляваў правілы злічэння выказванняў, усебакова даследаваў адну з пашыраных форм розумазаключэнняў — сілагізм, стварыў закончаную тэорыю сілагістыкі, увёў знакавую сістэму лагічных пераменных. Прадстаўнікі мегарскай шкалы аналізавалі ўмоўныя і раздзяляльныя розумазаключэнні, увялі паняцце імплікацыі, вызначылі ідэю тэарэмы аб дэдукцыі і інш. Іх лагічныя ідэі развіты ў школе стоікаў. У раннім сярэдневякоўі Л. як самаст. навука развівалася ў краінах арабскай культуры, дзе філасофія заставалася адносна незалежнай ад рэлігіі. У Еўропе складвалася ў асн. схаластычная Л. як царк.-школьная дысцыпліна, якая прыстасавала элементы перыпатэтычнай Л. для абгрунтавання і сістэматызацыі хрысц. веравучэння. У 12—13 ст., калі творы Арыстоцеля былі кананізаваны царк. артадоксіяй, узнікла сярэдневяковая («несхаластычная») Л., асновы якой закладзены «Дыялектыкай» П.​Абеляра. У творах У.​Шэрвуда, Дунса Скота, Пятра Іспанскага, У.​Окама, Ж.​Бурыдана атрымалі развіццё палажэнні аб сферы дзеяння лагічных аперацый, адрозненні паміж формай і зместам, абгрунтаваны многія вядомыя цяпер законы Л. выказванняў, тэорыя дэдукцыі і інш. У эпоху Адраджэння Л. разглядалі як аснову «штучнага» мыслення і супрацьпастаўлялі ёй Л. «натуральнага мыслення», пад якой звычайна разумелі інтуіцыю і ўяўленне. У новы час патрэбы прыродазнаўства і тэхнікі выклікалі крытыку арыстоцелеўскай (у схаластычным тлумачэнні) Л., паслужылі стымулам у распрацоўцы індукцыйнай логікі, вучэння аб метадзе, праблем метадалогіі новай (эксперыментальнай) навукі аб прыродзе (Ф.​Бэкан, Р.​Дэкарт). І.​Кант лічыў больш важнай за звычайную, традыц. Л., трансцэндэнтальную Л., якая даследуе ў формах мыслення тое, што забяспечвае ведам апрыёрны (давопытны) характар. Г.​Гегель на ідэаліст., а К.​Маркс і Ф.​Энгельс на матэрыяліст. аснове стварылі вучэнне аб агульных законах і формах мыслення — логіку дыялектычную.

На Беларусі Л. з 17 ст. развівалася ў рэчышчы агульнанавук. даследаванняў законаў і аперацый лагічнага мыслення, распрацоўкі методыкі яе выкладання як вучэбнай дысцыпліны. Б.Дабшэвіч, аўтар некалькіх кніг па Л., лічыў яе першай з навук, здольных умацаваць сувязі паміж матэматыкай, прыродазнаўствам і філасофіяй дзеля пошуку ісціны; фундаментальнымі прынцыпамі Л. ён лічыў прынцыпы дастатковай падставы і адмаўлення. Прадстаўнік схаластычнай філасофіі М.​Карскі разглядаў Л. як мову навукі. Паводле К.Нарбута, Л. — гэта навука, якая вучыць, як спасцігаць і спазнаваць ісціну, або мастацтва правільна мысліць. Я.Снядэцкі даследаваў лагічна-фармальныя заканамернасці мовы, сэнсу і ролі знакаў і сімвалаў у пазнанні і выкарыстанні мовы. А.Доўгірд пры распрацоўцы праблем сенсуалістычнай псіхалогіі, індукцыйных і разумовых здольнасцей чалавека і звязаных з імі суджэнняў, гіпотэз увёў паняцце «натуральнага сілагізму». Уклад у тэарэт. развіццё і методыку выкладання Л. зрабілі Б.Будны, С.Майман, Сімяон Полацкі, С.Шадурскі, В.Тылкоўскі і інш.

З 2-й пал. 19 ст. пачаўся якасна новы этап развіцця Л., звязаны з актуальнымі задачамі абгрунтавання і даследавання лагічных асноў матэматыкі, выкарыстаннем матэм. метадаў пры вырашэнні лагічных праблем. Г.​Лейбніц лічыў магчымым стварыць своеасаблівы «алфавіт чалавечых думак» шляхам вылучэння зыходных паняццяў і суджэнняў. Ён заклаў асновы матэматычнай логікі (2-я ступень фармальнай Л.), тэорыі тоеснасці і гіпатэтыка-дэдукцыйнага метаду, сфармуляваў дастатковай падставы прынцып. Дж.​Міль распрацаваў тэорыю індукцыйных розумазаключэнняў, метады даследавання прычыннай сувязі (гл. Прычыннасць). На аснове лагічнай спадчыны Лейбніца сфарміравалася сучасная алгебра логікі і логіка класаў (Дж.​Буль, У.​Джэванс, Ф.​Морган, Ч.​Пірс, Э.​Шродэр, П.​С.​Парэцкі, Дж.​Пеана, Б.​Расел, А.​Уайтхед). Г.​Фрэге распрацаваў прынцыпы аксіяматычнай пабудовы злічэнняў, выказванняў і прэдыкатаў, паказаў адрозненне паміж лагічнымі законамі і правіламі лагічных вывадаў, мовы і метамовы, паклаў пачатак семантыкі лагічнай. У 1920—30-я г. створана мнагазначная Л. (Я.​Лукасевіч, Э.​Пост), праведзены новыя даследаванні суадносін паміж мадальнай і інтуіцыянісцкай Л. (К.​Льюіс, В.​Гліванг, А.​Гейтынг). Гал. даследаванні пераносяцца ў метадалогію лагічных доказаў, удасканалення правіл і спосабаў пабудовы злічэнняў і вывучэння іх асн. уласцівасцей — незалежнасць пастулатаў, несупярэчлівасць і паўната (В.​Акерман, К.​Гёдэль, Ж.​Эрбран, Д.​Гільберт). З’явіліся класічныя працы па лагічнай семантыцы і тэорыі мадэлей (А.​Тарскі, Л.​Лёвенгайм, Т.​Сколен, Гёдэль, А.​І.​Мальцаў), закладзены асновы вывучэння «машыннага мыслення» — тэорыі алгарытмаў (Гёдэль, С.​Кліні, А.​Чорч, А.​А.​Маркаў, А.​М.​Калмагораў і інш.). Метады лагічных аперацый і злічэнняў сталі шырока выкарыстоўвацца ў вылічальнай тэхніцы, кібернетыцы (алгебраічная тэорыя рэлейна-кантактных схем, тэорыя канечных аўтаматаў і інш.), у тэарэт. фізіцы (квантавая Л.), інфарматыцы (праграмаванне і даследаванні па штучным інтэлекце), у галіне гуманітарных ведаў (лінгвістыка, юрыспрудэнцыя і інш). Прыкладны аспект лагічнага аналізу з яго шматлікімі праблемамі спрыяў узнікненню такіх кірункаў даследаванняў, як логіка адносін, логіка навукі, Л. быцця, Л. змянення, Л. часткі і цэлага, лагічныя тэорыі ведаў, пераканання, уяўлення і інш. Гл. таксама Лагістыка, Лагіцызм, Логіка выказванняў, Логіка прэдыкатаў.

Літ.:

Маковельский А.О. История логики. М., 1967;

Кант И. Трактаты и письма: Пер. с нем. М., 1980;

Клаус Г. Введение в формальную логику: Пер. с нем. М., 1960;

Аристотель. Первая аналитика. Вторая аналитика // Соч. М., 1978. Т. 2;

Поппер К. Логика и рост научного знания: Пер. с англ. М., 1983;

Брюшинкин В.Н. Логика, мышление, информация. Л., 1988;

Логика и компьютер. М., 1990;

Арно А., Николь П. Логика, или Искусство мыслить...: Пер. с фр. М., 1991;

Памятники философской мысли Белоруссии XVII — первой половины XVIII в. Мн., 1991;

Стереотипы и динамика мышления. Мн., 1993;

Минто В. Дедуктивная и индуктивная логика: Пер. с англ. СПб., 1995;

Leibniz G.W. Fragmente zur Logik. Berlin, 1960.

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

т. 9, с. 333

РОЗУМАЗАКЛЮЧЭ́ННЕ,

форма мыслення або лагічнае дзеянне, у выніку якога з аднаго або некалькіх суджэнняў (пасылак) выводзіцца новае суджэнне (заключэнне або вывад). Р., атрыманае на аснове пэўных правіл логікі сапраўдных ведаў з сапраўдных пасылак, з’яўляецца найпрасцейшай формай доказу. Веданне мяркуемых пасылак і правіл логікі, якія выяўляюцца пры дапамозе фармалізацыі канкрэтных па змесце Р., дазваляе кантраляваць выкарыстанне розных відаў розумазаключальнай дзейнасці мыслення. Усе гіпотэзы, тэорыі і інш. развітыя формы арг-цыі навук. ведаў уяўляюць сабой разгорнутыя Р. або іх сістэмы. У залежнасці ад колькасці пасылак Р. падзяляюцца на непасрэдныя, у якіх заключэнне атрымліваецца з адной пасылкі, і апасродкаваныя, дзе заключэнне выводзіцца не менш як з 2 пасылак. Паводле характару сувязі паміж веданнем рознай ступені агульнасці, якая выражаецца ў пасылках і заключэнні, адрозніваюць 3 віды Р.: дэдукцыйныя (ад агульнага да прыватнага, гл. Дэдукцыя), індукцыйныя (ад прыватнага да агульнага, гл. Індукцыя), па аналогіі (ад прыватнага да прыватнага). Фармалізаванае выражэнне структуры дэдукцыйных Р. распрацавана ў сілагістыцы Арыстоцеля. У індукцыйных Р., распрацаваных Ф.​Бэканам і Дж.​Мілем, пры сапраўднасці пасылак і захаванні адпаведных лагічных працэдур (напр., правіл абагульнення) заключэнне ў агульным выпадку можа быць як сапраўдным так і памылковым. Такім, напр., можа аказацца сцвярджэнне: «калі электраправоднасцю валодаюць некаторыя прадстаўнікі класа металаў, то і ўсе металы электраправодныя». Але гэта заключэнне будзе з неабходнасцю вынікаць, калі пераканацца, што ўсе прадстаўнікі металаў валодаюць уласцівасцю электраправоднасці; у такім выпадку няпоўная індукцыя пераходзіць у поўную. У залежнасці ад структуры складаных суджэнняў і лагічных звязак Р. логікі суджэнняў падзяляюцца на ўмоўна-катэгарычныя, чыста-ўмоўныя, раздзяляльна-катэгарычныя, умоўна-раздзяляльныя (дылема). Асобную групу несілагістычных Р. складаюць Р. адносін. Такімі Р. з’яўляюцца, напр., Р. роўнасці (калі x=y, y=z, то x=z), Р. ступені (калі A>B; B>C, то A>C), Р. роднасці (Іван — брат Пятра, Пётр — брат Андрэя, значыць, Іван — брат Андрэя). У працэсе мыслення некаторыя пасылкі часта прапускаюцца, а правілы вываду робяцца на інтуітыўнай аснове, што вядзе да з’яўлення лагічных памылак і няправільных Р. (паралагізм, сафізм). Навук. распрацоўкі тэорыі Р. і звязанай з ёю тэорыі доказу ажыццяўляюцца ў рамках фармальнай матэм. логікі.

Літ.:

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

Бочаров В.А. Аристотель и традиционная логика. М., 1984;

Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1996;

Минто В. Дедуктивная и индуктивная логика: Пер. с англ. СПб., 1995.

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

т. 13, с. 401

ПО́ПЕР ((Popper) Карл Раймунд) (28.7.1902, Вена — 1994),

англійскі філосаф, логік, сацыёлаг. З 1945 у Вялікабрытаніі. У 1945—69 праф. Лонданскага ун-та, дэкан ф-та Лонданскай школы эканомікі паліт. навук. Філас. канцэпцыі (крытычны рацыяналізм, тэорыя росту навук. ведаў) будаваў як антытэзы неапазітывізму. Прапанаваў прынцып фальсіфікацыі (прынцыповай абвяргальнасці любога сцвярджэння), які служыць крытэрыем дэмаркацыі паміж навук. ведамі і ненавуковымі.

Навукай і метафізікай П. сцвярджаў існаванне свету фіз. з’яў, свету суб’ектыўных (ментальных і псіхічных) станаў свядомасці, а таксама свету аб’ектыўных ведаў. Выступаў за «адкрытае грамадства», уладу розуму, справядлівасць, свабоду, роўнасць і папярэджанне міжнар. злачынстваў. Паводле П., «закрытыя грамадствы» характарызуюцца верай у існаванне магічных табу ў адрозненне ад «адкрытага грамадства», дзе «людзі (у значнай ступені) навучыліся крытычна ставіцца да табу і грунтаваць свае рашэнні на сумесным абмеркаванні і магчымасцях уласнага інтэлекту». Асн. творы: «Беднасць гістарыцызму» (1957), «Логіка навуковага адкрыцця» (1959), «Прапановы і абвяржэнні. Рост навуковых ведаў» (1962), «Пастскрыптум да логікі даследавання» (т. 1—3, 1981—82), «Рэалізм і мэта навукі» (1983).

Тв.:

Рус. пер. — Логика и рост научного знания. М., 1983;

Открытое общество и его враги. Т. 1—2. М., 1992.

В.​В.​Краснова.

т. 12, с. 510

ДЭДУ́КЦЫЯ (ад лац. deductio вывядзенне),

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

Літ.:

Логика научного познания. М., 1987;

Пугач Г.В. Познавательная активность человека. М., 1985;

Стереотипы и динамика мышления. Мн., 1993.

В.​М.​Пешкаў.

т. 6, с. 325

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

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

Літ.:

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

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

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

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

В.​І.​Боўш.

т. 9, с. 334