Verbum

ВАЕ́ННАЯ ДАКТРЫ́НА,

прынятая ў дзяржаве сістэма поглядаў на сутнасць, мэты, характар, падрыхтоўку і спосабы вядзення магчымай вайны. Выпрацоўваецца паліт. кіраўніцтвам дзяржавы. Асн. палажэнні ваеннай дактрыны найчасцей абумоўлены сац.-паліт. ладам, узроўнем эканомікі і сродкаў вядзення вайны, а таксама геагр. становішчам сваёй дзяржавы, дзяржавы верагоднага праціўніка і суседніх дзяржаў. Ваенная дактрына Рэспублікі Беларусь — гэта сістэма навукова абгрунтаваных поглядаў на прадухіленне вайны, захаванне міру, абароннае буд-ва, падрыхтоўку краіны і Узбр. Сіл да адбіцця агрэсіі, а таксама на спосабы барацьбы па абароне суверэнітэту і тэр. цэласнасці краіны. Прынята Вярх. Саветам Рэспублікі Беларусь у 1992. Мае абарончы характар і накіравана на ўмацаванне дзярж. і міждзярж. бяспекі, на ўзбр. нейтралітэт і супрацоўніцтва з інш. краінамі для вырашэння задач абароны. Мае 2 узаемаабумоўленыя аспекты — ваен.-паліт. і ваен.-тэхнічны. Першы раскрывае адносіны дзяржавы да вайны і выкарыстанне ваен. сілы; нац. інтарэсы і фактары, якія супрацьдзейнічаюць ім; характар ваен. небяспекі, яе памеры і крыніцы, магчымасць ваен. пагрозы; магчымасць і спосабы прадухілення вайны, сілы і сродкі, неабходныя для гэтага; ваен.-паліт. мэты магчымых праціўнікаў і саюзнікаў. Ваен.-паліт. Аспект ваеннай дактрыны мае канцэпцыі «прадухіленне вайны» і «спыненне агрэсіі». Першая як сістэма поглядаў на шляхі і спосабы ліквідацыі перадумоў да ўзнікнення вайны прадугледжвае вырашэнне спрэчных пытанняў праз паліт. дыялог, адмаўленне ад выкарыстання ваен. сілы і ўмацаванне ролі ААН у вырашэнні пытанняў калект. бяспекі. Канцэпцыя «спыненне агрэсіі» — сістэма поглядаў на абарону і спыненне агрэсіі спалучэннем паліт., эканам., дыпламат., уласна ваен. і інш. мер. Ваенна-тэхн. бок аспекту ваеннай дактрыны заснаваны на канцэпцыі «стрымлівання» і «актыўнай абароны» і адлюстроўвае сістэму поглядаў на характар магчымай вайны, спосабы яе вядзення і склад узбр. сіл. У канцэпцыю «актыўнай абароны» закладзены прынцыпы збалансаванага развіцця ўсіх відаў Узбр. Сіл Беларусі, рознабаковага супрацоўніцтва і гатоўнасці да вядзення мабільнай абароны. Яна прадугледжвае наяўнасць ва Узбр. Сілах невялікіх, але моцных вайсковых груповак, падрыхтаваных для паспяховага выкарыстання ў раёнах рэальнай ваен. пагрозы. Абвясціўшы сутнасць сваёй ваеннай дактрыны, Рэспубліка Беларусь гарантуе безумоўнае выкананне ўсіх яе палажэнняў і кіруецца мэтамі і прынцыпамі Статута ААН, а таксама прынятымі абавязацельствамі ў межах Нарады па бяспецы і супрацоўніцтве ў Еўропе. Беларусь у якасці бяз’ядзернай дзяржавы далучылася да Дагавора аб нераспаўсюджванні ядзернай зброі, выступіла з ініцыятывай стварэння ў Цэнтр. і Усх. Еўропе бяз’ядзернай прасторы.

В.​А.​Юшкевіч.

т. 3, с. 443

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76