Verbum

СЛАВІ́СТЫКІ ІНСТЫТУ́Т ПО́ЛЬСКАЙ АКАДЭ́МІІ НАВУ́К (Instytut Slawistyki PAN). Створаны ў 1954 у Варшаве як Ін-т славяназнаўства Польскай АН на базе Мовазнаўчай камісіі Акадэміі ведаў. З 1992 сучасная назва. Асн. кірункі даследаванняў: гісторыя славянства і літ. слав. моў, развіццё слав. гаворак. Мае аддзелы: беларусістыкі, русістыкі, украіністыкі, чэшскай і славацкай, праслав. моў, слав. анамастыкі, агульнай славістыкі, слав. л-р і інш. Разам з К-там мовазнаўства выдае квартальнік «Slavia Orientalis», штогоднікі «Rocznik Slawistyczny» («Славяназнаўчы штогоднік»), «Studia z Filologii Polskiej i Słowianskej» («Даследаванні з філалогіі польскай і славянскай»), «Pamętnik Słowiański» («Славянскія нататкі»), «Biuletyn Slawistyczny» («Славяназнаўчы бюлетэнь») і інш. Мае філіялы ў Кракаве, Познані, Гданьску. Сумесна з Інтам мовазнаўства АН Беларусі ў 1960-я г. праводзіў даследаванні польскіх рэгіянальных гаворак на Палессі, сімпозіумы па бел.-балта-слав. ізалексах. Да 1986 і з 1992 сумесна апрацоўваецца славістычная бібліяграфія, якая выдаецца ін-там. Выдадзены «Падручны польска-беларускі слоўнік» пад рэдакцыяй М.​Бірылы і А.​Абрэмбскай-Яблонскай (1962), «Беларуска-польскі фразеалагічны слоўнік» А.​Аксамітава і М.​Чурак (2000), кн. «Беларуская думка XX ст.: Філасофія, рэлігія, культура (Анталогія)» (1998).

І.​У.​Кур’ян.

т. 14, с. 500

ЛО́ГІКА (ад грэч. 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

КРЫТЫ́ЧНЫ РАЦЫЯНАЛІ́ЗМ,

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

Літ.:

Кун Т. Структура научных революций: Пер. с англ. 2 изд. М., 1977;

«Критический рационализм»: Философия и политика. М., 1981;

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

Современная западная философия: Словарь. М., 1991.

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

т. 8, с. 521

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

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

Літ.:

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

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

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

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

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

т. 13, с. 401