Verbum

МЕТАМАТЭМА́ТЫКА (ад мета... + матэматыка),

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

Паводле Гільберта, фармалізаваная сістэма, што атрымліваецца ў выніку фармалізацыі навук. тэорыі, даследуецца (на прадмет высвятлення яе несупярэчлівасці, паўнаты, вырашальнасці і ўзаемасувязі з інш. тэорыямі, незалежнасці яе аксіём і інш.) змястоўнымі метадамі, якія не апелююць да сэнсу яе аб’ектаў (формул). Гэта канцэпцыя (наз. фінітызм) прадугледжвае выкарыстанне канечных канструкцый («наглядных» матэм. прадметаў, эфектыўна здзяйсняльных працэсаў) і адмаўляе абстракцыю актуальнай бесканечнасці (гл. Абстракцыя). К.Гёдэль паказаў абмежаванасць фінітных (простых) метадаў для даследавання фармалізаваных тэорый; у 1931 ён даказаў тэарэму аб непаўнаце дастаткова багатых фармальных сістэм (у т. л. аксіяматычнай мностваў тэорыі і арыфметыкі натуральных лікаў) і аб немагчымасці доказу несупярэчлівасці сістэмы з дапамогай сродкаў, якія фармалізуюцца ў гэтай сістэме. Для доказу несупярэчлівасці фундаментальных матэм. тэорый сучасная М. выкарыстоўвае больш складаныя, нефінітныя метады.

Састаўная частка прадмета М. — даследаванне фармалізаваных матэм. тэорый, выкладзеных у выглядзе сімвалічных моў, і вывучэнне саміх гэтых моў. Мноства канечных паслядоўнасцей з аперацыямі над імі таксама могуць быць аб’ектамі матэм. даследавання. Гэта абумоўлівае выкарыстанне ў М. метадаў алгебры (гл. Булева алгебра), тэорыі мностваў і тапалогіі. Шырока выкарыстоўваецца ў М. гёдэлеўскі метад арыфметызацыі метатэорыі і тэорыя рэкурсіўных функцый. У больш вузкім сэнсе да М. (у адрозненне ад металогікі) адносяць пытанні сінтаксісу, прадметнай матэм. тэорыі (гл. Сінтаксіс у логіцы); семантыку вылучаюць у якасці самаст. галіны даследавання (гл. Семантыка лагічная).

Літ.:

Клини С.К. Введение в метаматематику: Пер. с англ. М., 1957;

Расёва Е., Сикорский Р. Математика метаматематики: Пер. с англ. М., 1972;

Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982.

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

т. 10, с. 308

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

ІНСТЫТУ́Т ФІЛАСО́ФІІ І ПРА́ВА Нацыянальнай акадэміі навук Беларусі,

навукова-даследчая ўстанова. Засн. ў 1931 у Мінску як Ін-т філасофіі АН БССР. У 1935 аб’яднаны з Ін-там сав. буд-ва і права АН БССР і перайменаваны ў І.ф. і п. У гады Вял. Айч. вайны не працаваў. З 1946 у АН БССР існаваў сектар філасофіі, у 1947 адноўлены як І.ф. і п., у 1958—65 з ін-та быў вылучаны сектар права ў самастойны ін-т. Аспірантура з 1931. Аддзелы: логікі і метадалогіі навук. пазнання (з сектарам філас. праблем прыродазнаўства і тэхнікі), філас. праблем чалавека, філас. праблем міжнац. і міжнар. адносін, гісторыі філасофіі; тэорыі і гісторыі дзяржавы і права, дзярж. права і кіравання, прац. і гасп. права, с.-г. і экалагічнага права; сектар сац. экалогіі.

Асн. кірункі даследаванняў: аналіз сутнасці дзяржавы, яе структуры і гіст. форм, заканамернасцей сац.-культ. развіцця, гуманізацыі грамадскіх адносін, метадалогіі пазнання; гісторыя філас. думкі Беларусі; тэндэнцыі паліт.-прававога абнаўлення рэспублікі; складанне заканадаўства, канстытуцыйных прынцыпаў арганізацыі і функцыянавання суд. улады і інш. Выдадзены працы: «Дыялектычны матэрыялізм як метадалогія прыродазнаўчанавуковага пазнання» (1965), «Узаемасувязь катэгорый дыялектыкі» Дз.​І.​Шыраканава (1969), «Гісторыя дзяржавы і права Беларускай ССР» (т. 1—2, 1970—76), «Нарысы гісторыі філасофскай і сацыялагічнай думкі Беларусі (да 1917 г.)» (1973), «Беларускія рэвалюцыйныя дэмакраты» А.​С.​Майхровіча (1977), «Філасофская думка эпохі Адраджэння ў Беларусі» С.​А.​Падокшына (1990), «Помнікі філасофскай думкі Беларусі XVII — першай паловы XVIII ст» (1991), «Прававая рэформа: Павышэнне дзейнасці заканадаўства» (1992), «Стэрэатыпы і дынаміка мыслення» (1993), «Земскае самакіраванне па Беларусі (1905—1917 гг.)» В.​П.​Слабажаніна (1994) і інш. У Ін-це працавалі акад. АН Беларусі С.​Я.​Вальфсон (першы дырэктар ін-та), В.​А.​Сербента, К.​П.​Буслаў, акад. АН СССР Г.​Ф.​Аляксандраў, чл.-кар. АН Беларусі І.​М.​Ільюшын, І.​М.​Лушчынскі, С.​П.​Маргунскі; працуюць акад. Нац. АН Беларусі Дз.​І.​Шыраканаў, чл.-кар. А.​С.​Майхровіч (дырэктар з 1994), А.​І.​Савасцюк, В.​І.​Семянкоў, М.​І.​Сторажаў, В.​І.​Шабайлаў.

А.​А.​Лазарэвіч.

т. 7, с. 274

МІКРАЭЛЕКТРО́НІКА,

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

Грунтуецца на дасягненнях фізікі, хіміі, матэматыкі, матэрыялазнаўства і інш. Сярод вырабаў М. найб. пашыраны аналагавыя і лічбавыя інтэгральныя паўправадніковыя і гібрыдныя мікрасхемы (ІС; гл. Інтэгральныя схемы), прыборы з зарадавай сувяззю (напр., ПЗС-матрыца). Вырабы М. бываюць у выглядзе матрыцы (ці некалькіх матрыц) аднатыпных элементаў мікронных і субмікронных памераў. напр., транзістараў розных тыпаў (біпалярных, МДП) і іх эл. злучэнняў; напр., вял. ІС маюць да 10⁴ элементаў, звышвял. — да 10​⁶ і ультравял. — больш за 10​⁶ элементаў на крышталь. Вытв-сць паўправадніковых ІС ажыццяўляецца з выкарыстаннем сукупнасці тэхнал. працэсаў, заснаваных на фіз.-хім. метадах апрацоўкі паўправадніковых, метал. і дыэл. матэрыялаў, якія складаюць аснову планарнай тэхналогіі, сінтэз гібрыдных мікрасхем праводзіцца на аснове плёначнай тэхналогіі. М. развіваецца ў кірунку змяншэння памераў элементаў (гл. Мініяцюрызацыя), павышэння ступені інтэграцыі (вызначаецца шчыльнасцю ўпакоўкі) і хуткадзеяння (вызначаецца часам затрымкі сігналу) з абавязковай аптымізацыяй логікі работы мікрасхем, удасканаленнем структуры і ўласцівасцей традыцыйных (германій, крэмній) і новых (арсенід галію і інш.) паўправадніковых і дыэл.-матэрыялаў, тугаплаўкіх металаў. Асн. праблемы М. пры павышэнні ступені інтэграцыі звязаны з фундаментальнымі абмежаваннямі, абумоўленымі прыродай матэрыялаў і фіз. прынцыпамі функцыянавання, а таксама праблемамі ўзроўню ўласных шумоў і адводу цяпла.

На Беларусі даследаванні па праблемах М. вядуцца з сярэдзіны 1960-х г. у Фіз.-тэхн. ін-це, Ін-тах фізікі цвёрдага цела і паўправаднікоў, электронікі Нац. АН, Бел. ун-це інфарматыкі і радыёэлектронікі, БДУ, НВА «Інтэграл» (у т. л. вытв-сць вырабаў М.) і інш.

Літ.:

Ефимов И.Е., Козырь И.Я. Основы микроэлектроники. 2 изд. М., 1985;

Валиев К.А. Микроэлектроника: достижения и пути развития. М., 1986;

Гурский Л.И., Степанец В.Я. Проектирование микросхем. Мн., 1991.

Л.​І.​Гурскі.

т. 10, с. 363

ЗЛІЧЭ́ННЕ,

сістэма правіл аперыравання са знакамі пэўнага віду, якая дазваляе даць дакладнае апісанне некаторага класа задач і алгарытмы іх рашэння; спосаб утварэння якой-н. сукупнасці (мноства) элементаў на аснове правіл атрымання новых элементаў з зададзеных зыходных. Мае фундаментальны характар, як і паняцце алгарытму. Узнікла і развівалася ў рамках матэматыкі (гл. Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Дыферэнцыяльнае злічэнне, Інтэгральнае злічэнне). Пазней метады пабудовы З. пачалі выкарыстоўвацца ў логіцы (гл. Алгебра логікі, Матэматычная лінгвістыка). Агульная тэорыя З. выкарыстоўваецца ў алгарытмаў тэорыі.

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

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

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

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

т. 7, с. 76

МАГЧЫ́МАСЦЬ І РЭЧАІ́СНАСЦЬ,

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

Сістэматычнае навук. асэнсаванне М. і р. пачалося ў Стараж. Грэцыі прадстаўнікамі элейскай і мегарскай школ. Дыялектыку М. і р. распрацоўваў Арыстоцель, погляды якога панавалі ў філасофіі сярэдневякоўя. Развіццё філас. ідэй аб М. і р. звязана з імёнамі Т.​Гобса, Ж.Б Ламарка, І.​Канта, Г.​Гегеля, К.​Маркса, Ф.​Энгельса, У.​І.​Леніна, Б.​Расела, С.​А.​Крыпке, Я.​Хінцікі.

Літ.:

Маковка Н.М. Проблема выбора в диалектике возможности и действительности. Ростов н/Д, 1978;

Материалистическая диалектика: Краткий очерк теории. 2 изд. М., 1985;

Методологические функции философских категорий. Саратов, 1985.

В.​І.​Боўш.

т. 9, с. 486

АБСТРА́КЦЫЯ (ад лац. abstractio адцягненне),

метад навук. даследавання, заснаваны на мысленным вылучэнні істотных уласцівасцяў і сувязяў, агульнай адзнакі, якая характарызуе пэўны клас прадметаў і адцягненні ад інш. прыватных яго ўласцівасцяў і сувязяў; вынік працэсу абстрагавання, сінонім «мысленнага», «паняційнага». За кошт такога звужэння (спрашчэння) мадэлі аб’екта адкрываецца магчымасць пазнання фундаментальных бакоў і сувязяў у параўнанні з зыходнай мадэллю. Ступень абстрактнасці паняцця расце адпаведна павелічэнню яго аб’ёму і звужэнню зместу, што забяспечвае больш глыбокае пранікненне думкі ў аб’ект. Даволі абстрактныя паняцці, зведзеныя ў лагічна ўпарадкаваныя сістэмы, з’яўляюцца не толькі адлюстраваннем фундаментальнага парадку свету, але і лагічнымі, універсальнымі формамі думкі (напр., філасофія). На розных ступенях пазнання і культуры абстракцыя не заўсёды існуе ў сваёй уласнай форме; нават у народаў з развітой культурай у паўсядзённай свядомасці пераважаюць паняцці наглядна-эмпірычнага характару. Павышэнне ўзроўню абстрактнасці паняццяў, з якіх фарміруецца сістэма ведаў, — паказчык развітасці і тэарэтычнага ўзроўню навукі, яе практычнай эфектыўнасці. Часам тэрмін «абстракцыя» выкарыстоўваюць для абазначэння адарванасці навукі ад практыкі і рэчаіснасці (уласцівы абстрактна-лагічнаму «вобразу» свету). Аднак мера абстракцыі змяншаецца разам з дэталізацыяй і ростам сістэмнасці «вобраза». Паслядоўна разгортваючыся ў абстрактна-лагічных сістэмах, пазнанне праходзіць свой асаблівы шлях, накіраваны да канкрэтнага, да свету законаў, якія кіруюць бясконцай разнастайнасцю прадметаў і з’яў. На веданні такіх законаў аб’ектыўнай рэальнасці трымаецца ў канчатковым выніку ўвесь прагрэс чалавецтва.

У залежнасці ад мэтавай характарыстыкі вылучаюць, некалькі відаў абстракцыі: абстракцыя атаясамлівання (абстрагаванне ад уласцівасцяў рэчаў, якія адрозніваюцца паміж сабой, і вылучэнне аднолькавых, падобных, агульных, тоесных уласцівасцяў); ізалявальная абстракцыя (вычляненне з’явы, якая даследуецца з пэўнай цэласнасці); абагульняльная абстракцыя (дае абагульненую карціну з’явы); абстракцыя актуальнай бесканечнасці (абумоўлівае магчымасць абстрагавання ад незавершанасці і незавяршальнасці працэсу ўтварэння бясконцых мностваў і аперыравання імі на аснове законаў і правілаў матэматыкі і логікі); абстракцыя патэнцыяльнай ажыццявімасці (абстрагаванне ад канструктыўных магчымасцяў чалавека і прыняцце рэальнай ажыццявімасці пэўных крокаў). Сучасны наміналізм пазітывісцкага кірунку адмаўляе неабходнасць для навукі абстракцый высокіх узроўняў, чым пазбаўляе яе важнейшых сродкаў адлюстравання рэчаіснасці і патэнцыяльных магчымасцяў. У дыялектычнай логіцы слова «абстракцыя» ўжываецца таксама як паняцце «аднабаковае», «неразвітое», у адрозненне ад канкрэтнага (гл. Абстрактнае і канкрэтнае).

Літ.:

Лазарев Ф.В. О природе научных абстракций. М., 1971;

Новосёлов М.М. Абстракция и научный метод // Логика научного познания. М., 1987;

Зуев Ю., Широканов Д. Генезис логических форм «единично-общее» и процедура обобщения // Принципы единства и развития в научном познании. Мн., 1988.

А.​В.​Ягораў.

т. 1, с. 45

МЕТАДАЛО́ГІЯ,

1) сукупнасць прыёмаў даследавання, якія ўжываюцца ў якой-н. навуцы.

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

Патрэбы навукі і практыкі 20 ст. абумовілі ператварэнне М. ў спецыялізаваную галіну ведаў. У адрозненне ад тэорыі пазнання, аб’ектам якой з’яўляецца пазнавальная дзейнасць у цэлым, М. акцэнтуе ўвагу на структурнай арганізацыі і сродках пазнання, унутр. механізмах і логіцы развіцця ведаў. Змястоўны аспект М. ўключае ў сябе такія праблемы, як: структура навук. ведаў увогуле і навук. тэорый у прыватнасці; структура і аперацыянальны склад метадаў навукі; крытэрыі навуковасці; заканамернасці нараджэння, функцыянавання і змены навук. тэорый; паняційны апарат навукі і прынятыя ў ёй спосабы тлумачэння; умовы і межы выкарыстання канкрэтных сродкаў М. і інш. Фармальны аспект М. ўключае фармалізаваныя і фармальныя метады даследавання; мову навукі; тыпалогіі сістэм ведаў і г.д. Істотны ўклад ў распрацоўку гэтага кірунку М. зрабілі прадстаўнікі неапазітывізму, якія шырока выкарыстоўвалі метады фармальнай логікі для аналізу навук. ведаў.

Літ.:

Бэкон Ф. Новый Органон // Соч. 2 изд. М., 1978. Т. 2;

Горский Д.П. Проблемы общей методологии наук и диалектической логики. М., 1966;

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

Идеалы и нормы научного исследования. Мн., 1981;

Лоўдзі Д. Гістарычныя ўводзіны ў філасофію навукі: Пер. з англ. Мн., 1995.

С.​А.​Яцкевіч.

т. 10, с. 302