Verbum

доказы судовыя

т. 6, с. 177

ВА́Я,

назва ліста папарацей, звычайна буйнога, моцна расчлянёнага, перыстарассечанага, падобнага на галінку. Марфалагічна адпавядае цэлым буйным галінкам іх верагодных продкаў — рыніяфітаў. Існуюць навук. доказы, што лісце папарацей узнікла з галінак у выніку іх сплесквання і абмежавання ў росце. Ваяй таксама наз. лісце пальмаў.

т. 4, с. 51

АЎТАГЕНЕ́З

(ад аўта... + ...генез),

у эвалюцыйным вучэнні адна з канцэпцый, у аснове якой ляжыць перадумова аб незалежнай ад знешніх умоў эвалюцыі жывой прыроды, што накіроўваецца і рэгулюецца ўнутр. нематэрыяльнымі фактарамі. Аўтагенез блізкі да віталізму. Аўтагенетычны характар маюць вучэнні аб градацыі Ж.Б.Ламарка, арыстагенез Г.Осбарна, батмагенез Э.Копа, номагенез Л.С.Берга і інш. Прыхільнікі аўтагенезу бачаць доказы аўтагенетычных тэндэнцый эвалюцыі ў з’явах эвалюцыйнага паралелізму і канвергенцыі ў біялогіі.

т. 2, с. 109

А́ЛГЕБРЫ АСНО́ЎНАЯ ТЭАРЭ́МА,

класічная тэарэма існавання, якая сцвярджае, што кожны мнагасклад з камплекснымі каэфіцыентамі мае камплексны корань. Упершыню выказаў ням. матэматык П.Ротэ (1608), першым дакладна даказаў К.Гаўс (1799). Усе доказы абапіраюцца на тапалагічныя ўласцівасці мностваў камплексных і рэчаісных лікаў. З алгебры асноўнай тэарэмы вынікае: колькасць каранёў мнагаскладу супадае са ступенню мнагаскладу; кожны паліном з рэчаіснымі каэфіцыентамі раскладаецца ў здабытак лінейных і квадратычных множнікаў з рэчаіснымі каэфіцыентамі.

В.А.Ліпніцкі.

т. 1, с. 235

АБАВЯ́ЗАК ДАКА́ЗВАЦЬ (лац. onus probandi) у судаводстве, патрабаванне да ўдзельнікаў працэсу даказаць і абгрунтаваць наяўнасць тых ці інш. акалічнасцяў, істотных для вырашэння справы. На Беларусі абавязак даказваць у крымін. працэсе ляжыць на дзярж. органах і службовых асобах, якія абвінавачваюць асобу ў злачынстве. Суд, пракурор, следчы і асоба, якая праводзіць дазнанне, абавязаны выявіць акалічнасці, што выкрываюць ці апраўдваюць абвінавачанага, а таксама абцяжваюць ці змякчаюць яго віну. Яны не маюць права перакладваць абавязак даказваць на абвінавачанага (падсуднага), і ён не павінен даказваць сваю невінаватасць. У цывільным працэсе кожны бок павінен даказаць акалічнасці, на якія ён спасылаецца як на падставу сваіх патрабаванняў і пярэчанняў. Напр., ісцец абавязаны даказаць і абгрунтаваць факты, якія складаюць падставу іску. Адказчык абавязаны даказаць факты, якія пацвярджаюць яго пярэчанні супраць іску. Характэрная рыса суд. даказвання ў цывільным працэсе — тое, што не толькі бакі і інш. асобы, якія ўдзельнічаюць у справе, абавязаны прадстаўляць доказы ў пацвярджэнне сваіх патрабаванняў і пярэчанняў, але і суд з мэтай высвятлення аб’ектыўнай ісціны і вынясення правасуднага рашэння ў неабходных выпадках павінен збіраць доказы па сваёй ініцыятыве.

І.І.Пацяружа.

т. 1, с. 9

АПЕЛЯ́ЦЫЯ

(ад лац. appellatio зварот, скарга),

у праве многіх краін абскарджанне прыгавораў ці інш. суд. рашэнняў па крымін. і цывільных справах, якія не набылі законнай сілы. Апеляцыйны суд нанава даследуе сабраныя доказы па справе і мае права або зацвердзіць раней прынятае рашэнне, або вынесці новае. Заканадаўства Рэспублікі Беларусь не прадугледжвае апеляцыі, а перагляд суд. рашэнняў (прыгавораў), якія не набылі законнай сілы, адбываецца ў касацыйным парадку (гл. Касацыя).

2) У пераносным сэнсе — просьба падтрымаць у чым-н.

т. 1, с. 422

А́ПДАЙК (Updike) Джон

(н. 18.3.1932, Шылінгтан, штат Пенсільванія, ЗША),

амерыканскі пісьменнік. Скончыў Гарвардскі ун-т (1954). На пачатку літ. дзейнасці пісаў фельетоны, апавяданні, вершы, эсэ, пародыі: зб-кі вершаў «Драўляная курыца і іншыя ручныя стварэнні» (1958), апавяданняў «Тыя ж дзверы» (1959), «Галубінае пер’е» (1962). Вядучая тэма творчасці — побыт, псіхалогія, маральныя каштоўнасці радавога амерыканца (аповесць «Ферма», 1965; раманы «Кірмаш у багадзельні», 1959; «Трус, уцякай», 1960; «Трус, які вылечыўся», 1979; «Трус разбагацеў», 1981, і інш.). У рамане Апдайка «Кентаўр» (1963) праблема смерці і бессмяротнасці пераплятаецца з пошукамі сэнсу жыцця, пераадоленнем адчужэння, са сцверджаннем дабрыні; у раманах «Месяц адпачынку» (1975), «Давай пажэнімся» (1976), «Іствікскія ведзьмы» (1984) і інш. імкненне перамагчы боязь смерці любоўю, сексуальным «адраджэннем»; раман-дыспут «Версія Роджарса» (1985) пра «навук. доказы быцця божага». Аўтар зб. апавяд. «Даверся мне» (1986).

Тв.:

Рус. пер. — Кролик, беги;

Кентавр;

Ферма. Кишинев, 1984.

т. 1, с. 420

АКСІЁМА

(грэч. axiōma),

палажэнне, якое прымаецца без лагічных доказаў на падставе непасрэднай пераканаўчасці; сапраўднае зыходнае палажэнне, на якім грунтуюцца доказы інш. палажэнняў навук. тэорыі. Сістэма аксіёмы не з’яўляецца раз і назаўсёды закончанай і, як і самі аксіёмы, змяняецца з развіццём чалавечага пазнання. Тэрмін «аксіёма» ўпершыню сустракаецца ў Арыстоцеля, потым праз працы паслядоўнікаў і каментатараў Эўкліда трывала ўвайшоў у геаметрыю. У сярэднявеччы пранік ў інш. навукі, а праз іх — у штодзённы побыт, дзе аксіёмай наз. суджэнні, шмат разоў правераныя на практыцы. Доўгі час аксіёма разглядалася як вечная і непарушная ісціна, што не патрабуе доследу і не залежыць ад яго. Лічылася, што спроба абгрунтавання можа толькі падарваць яе відавочнасць. Пераасэнсаванне праблемы абгрунтавання аксіёмы змяніла і змест самога тэрміна, паводле якога аксіёма не зыходны пачатак пазнання, а хутчэй яго прамежкавы вынік. Яна абгрунтоўваецца не сама па сабе, а як неабходны састаўны элемент тэорыі, пацвярджэнне якой ёсць адначасова і пацвярджэнне яе аксіёмай. У сучаснай навуцы пытанне пра ісціннасць аксіёмы вырашаецца ў рамках іншых навук. тэорый або шляхам інтэрпрэтацыі дадзенай тэорыі.

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

т. 1, с. 206

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

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

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

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

Літ.:

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

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

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

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

т. 1, с. 207