Verbum

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.Т.Вальвачоў, У.К.Лукашэвіч.

т. 1, с. 207

АБСТРА́КЦЫЯ

(ад лац. abstractio адцягненне),

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

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

Літ.:

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

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

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

А.В.Ягораў.

т. 1, с. 45