Verbum

АЙДУКЕ́ВІЧ

(Ajdukiewicz) Казімеж (12.12.1890, г. Цярнопаль, Украіна — 12.4.1963),

польскі логік, філосаф. Правадзейны чл. Польскай АН (з 1952). Праф. Львоўскага, Варшаўскага ун-таў (1925—38). У 1938 узначаліў Пазнанскае філас. т-ва, з 1953 гал. рэдактар час. «Studia logica» («Лагічныя даследаванні»). Прадстаўнік львоўска-варшаўскай школы, якая ставіла задачу лагічнага абгрунтавання і ўмацавання рацыяналізму ў процівагу ірацыяналізму. Паводле філас. поглядаў быў блізкі да ідэй лагічнага пазітывізму. Распрацаваў логіка-семантычную канцэпцыю значэння як спосабу ўжывання тэрміна ў пэўнай канцэптуальнай сістэме тэорыі лагічнага вываду, індуктыўнай логікі, азначэння, лагічнай семантыкі і сінтаксісу.

Тв.:

Język i poznanie. T. 1—2. Warszawa, 1960—65: The scientific world-perspective and other essays, 1931—63. Dordrecht, 1978.

Г.У.Грушавы.

т. 1, с. 174

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

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

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

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

Літ.:

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

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

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

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

т. 1, с. 207

АПЕРАЦЫ́ЙНАЯ СІСТЭ́МА,

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

М.П.Савік.

т. 1, с. 424

ВІ́ЛЕНСКАЯ КАНФЕДЭРА́ЦЫЯ,

саюз шляхты ў ВКЛ супраць палітыкі абсалютызму, што намагаўся ўвесці ў Рэчы Паспалітай кароль Аўгуст II Моцны. Створана 23.3.1716 на шляхецкім з’ездзе ў Вільні. Яе маршалкам выбраны ашмянскі харунжы К.Сулістроўскі. Віленская канфедэрацыя далучылася да Тарнагродскай канфедэрацыі, якая патрабавала вываду саксонскіх войск з Рэчы Паспалітай. Падтрымалі Віленскую канфедэрацыю войска ВКЛ, магнаты, якія і да гэтага выступалі за абмежаванне ўлады караля. Атрады канфедэратаў змагаліся з каралеўскімі войскамі на тэр. ўсёй Рэчы Паспалітай. 3.11.1716 пры пасрэдніцтве рас. дыпламатаў паміж каралём і абедзвюма канфедэрацыямі падпісана пагадненне, паводле якога саксонскія войскі выводзіліся з Рэчы Паспалітай, улада караля абмежавана (не меў права пачынаць вайну без згоды сейма, арыштоўваць шляхціца без суда, раздаваць пасады чужаземцам і некатолікам), а правы шляхты пашыраліся (пацверджана права ліберум вета, абмежавана вайсковая ўлада гетманаў). Пагадненне зацверджана Нямым сеймам 1717.

А.П.Грыцкевіч.

т. 4, с. 164

ГРАФАПАБУДАВА́ЛЬНІК,

прыстасаванне для аўтаматычнага вычэрчвання графічнай (ці алфавітна-лічбавай) інфармацыі на папяровыя, плёначныя або інш. носьбіты запісу. Бываюць буйна- (памеры да 2×6 м) і малагабарытныя, вектарныя і растравыя, планшэтныя, барабанныя і ролікавыя, эл.-мех. (найб. пашыраныя), эл.-статычныя, струменныя і інш.

Графічная інфармацыя непасрэдна ад ЭВМ (ці з прамежкавых носьбітаў інфармацыі, напр. магн. дыскаў) узнаўляецца сімваламі (неперарыўнымі лініямі, штрыхамі, кропкамі і інш.) у адна- і шматколерным выкананні. Пішучы элемент перамяшчаецца з дапамогай крокавых або серварухавікоў. Дакладнасць узнаўлення ліній да 0,005 мм, скорасць вычэрчвання да 5 м/с, раздзяляльная здольнасць да 20 ліній на міліметр. Выкарыстоўваецца як знешняе прыстасаванне вываду даных з ЭВМ, у аўтаматызаваных сістэмах праектавання, машына- і прыладабудаванні, метэаралогіі, картаграфіі і інш. На Беларусі сям’я графапабудавальнікаў «ІТЭКАН» распрацавана Ін-там тэхн. кібернетыкі Нац. АН.

М.П.Савік.

т. 5, с. 411

ГЕЙ-ЛЮСА́КА ЗАКО́НЫ,

два законы, адкрытыя Ж.Л.Гей-Люсакам (1802, 1808). Закон цеплавога расшырэння газаў: аб’ём дадзенай масы ідэальнага газу пры пастаянным ціску мяняецца паводле формулы V_T = V₀(1 + α_vΔT), дзе V₀ і V_T — аб’ём газу пачатковы і пры т-ры T; ΔT = T - T₀ — рознасць гэтых т-р; α_v — каэф. цеплавога расшырэння газу пры пастаянным ціску (~1/273,15 К​^-1 для ўсіх газаў). Для рэальных газаў выконваецца набліжана і тым лепш, чым далей ад крытычнага стану знаходзіцца газ. Разам з Бойля—Марыёта законам і Авагадра законам паслужыў асновай для вываду ўраўнення стану ідэальнага газу (гл. Клапейрона—Мендзялеева ўраўненне). Закон аб’ёмных адносін: аб’ёмы газаў, якія ўступаюць у хім. рэакцыю, адносяцца адзін да аднаго і да аб’ёмаў газападобных прадуктаў рэакцыі як простыя цэлыя лікі. Напр., пры ўзаемадзеянні вадароду і хлору з утварэннем газападобнага хлорыстага вадароду H₂ + Cl₂ = 2HCl аб’ёмы газаў адносяцца як 1:1:2.

т. 5, с. 134

ВЫ́БАРГСКАЯ АПЕРА́ЦЫЯ 1944,

адна з завяршальных аперацый у баях за Ленінград (гл. Ленінградская бітва 1941—44) у час Вял. Айч. вайны. Была часткай стратэгічнай аперацыі на паўн.-зах. напрамку ў чэрв. — жн. 1944 з мэтай вываду з вайны Фінляндыі. Праведзена 10—20 чэрв. войскамі правага крыла Ленінградскага фронту (Маршал Сав. Саюза Л.А.Говараў) ва ўзаемадзеянні з Балт. флотам (адмірал У.Ф.Трыбуц) і Ладажскай ваен. флатыліяй (контр-адмірал В.С.Чарокаў). Напрамак гал. удару — Белавостраў, Выбарг. Сав. войскі, якія мелі перавагу ў пяхоце ў 2 разы, у артылерыі і танках амаль у 6 разоў, у авіяцыі ў 3 разы, у выніку жорсткіх баёў пераадолелі 3 паласы абарончых умацаванняў праціўніка, прасунуліся на глыб. 110—130 км і 20 чэрв. штурмам авалодалі г. Выбарг. Упершыню ў ваен. гісторыі за кароткі тэрмін прарваны сучасны ўмацаваны раён з сярэднім тэмпам прасоўвання 10—12 км за суткі. Праціўнік быў вымушаны перакінуць на выбаргскі напрамак больш як 5 дывізій, сур’ёзна аслабіўшы сваю групоўку перад Карэльскім фронтам.

т. 4, с. 298