Асёлка ’радуга’ (Касп.), осело́к (ДАБМ, 902). Укр. оселка ’тс’. Безумоўна звязана з вясёлка, укр. веселка ’тс’. Аднак вакалізм пачатку ў паўднёвабеларускай і ўкраінскай формах сведчыць аб тым, што простым усячэннем пачатковага в‑ форму гэту вытлумачыць нельга. Магчыма, асёлка ’радуга’ кантамінацыйна звязана з асялок прылада для вастрэння’ (ад якой адлятаюць іскры, як, магчыма, маланкі, ва ўяўленні нашых продкаў, ад радугі). Магчыма, кантамінацыя тут адбывалася з о́сілкі ’(паўкруглая) ручка вядра’. Нельга выключыць і тое, што форма асёлка адлюстроўвае неабходнасць лічыць сучасную сувязь вясёлка — вясёлы пазнейшай, магчыма, народнаэтымалагічнай, а старажытную назву радугі звязваць з словамі тыпу ст.-іран. asman ’неба’. Трэба, нарэшце, указаць на магчымую сувязь асёлкі ’радугі’ з асілкамі (гл.) або праз іскры, звязаныя з уяўленнямі пра каменную прыроду асілкаў (параўн. іх рэбры), або праз вобраз змяі (з якой звязана і радуга і асілкі). Няясна.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Бары́цца ’марудзіць’ (Нас., Гарэц., Кос.), барі́цца (Бяльк.), бары́ць затрымліваць’ (Нас.). Ст.-бел. барити ’тс’ (Нас. гіст.). Укр. бари́тися, рус. дыял. (арл., кур., варонеж.) бари́ться ’тс’, бари́ть ’затрымліваць’. Цёмнае слова. Ільінскі (РФВ, 62, 251) бачыў тут аблаутную форму да і.-е. *bheu̯ā‑ ’быць’ + суф. ‑r‑ (*bhu̯ar‑ > *bar‑) і знаходзіў сувязь з серб.-харв. бо̀равити ’знаходзіцца’ (але аб серб.-харв. слове параўн. Чоп, SR, 12, 170–176, там і літ-pa). Іншая версія: сувязь з дзеясловам *variti (з часовым значэннем). Так, ужо Насовіч (Нас. гіст., пад барити), пазней Трубачоў (ZfSl, 3, 671). Але з семантычнага погляду гэта не пераконвае. Магчыма, таго ж паходжання, што і рус. дыял. ба́риться ’важнічаць; лодарнічаць, ляпіцца’ (параўн. і ноўгарад. бари́ться ’важнічаць’; усё ад ба́р(ин)); так ужо Даль (гл. Краўчук, БЛ, 1973, 4, 68). Параўн. яшчэ Рудніцкі, 81.
Этымалагічны слоўнік беларускай мовы (1978-2017)
ЗЛІЧЭ́ННЕ,
сістэма правіл аперыравання са знакамі пэўнага віду, якая дазваляе даць дакладнае апісанне некаторага класа задач і алгарытмы іх рашэння; спосаб утварэння якой-н. сукупнасці (мноства) элементаў на аснове правіл атрымання новых элементаў з зададзеных зыходных. Мае фундаментальны характар, як і паняцце алгарытму. Узнікла і развівалася ў рамках матэматыкі (гл. Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Дыферэнцыяльнае злічэнне, Інтэгральнае злічэнне). Пазней метады пабудовы З. пачалі выкарыстоўвацца ў логіцы (гл. Алгебра логікі, Матэматычная лінгвістыка). Агульная тэорыя З. выкарыстоўваецца ў алгарытмаў тэорыі.
У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл. Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл. Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл. Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц. сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл. Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.
Літ.:
Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;
Методологические проблемы развития и применения математики. М., 1985;
Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.
С.Ф.Дубянецкі.
т. 7, с. 76
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
Галашча́чка ’непакрытая карова’ (Сцяц.). Няяснае слова. Сувязь з голы, здаецца, бясспрэчная, але словаўтварэнне вытлумачыць цяжка. Магчыма, складанае слова. Можна асцярожна ставіць пытанне: ці няма тут нейкай сувязі са словам галашчок (гл.)? У аснове такога называння мог ляжаць метафарычны перанос значэння ’непакрыты’: ’непакрытая (снегам) зямля (і таму замёрзлая)’ → ’непакрытая карова’ (гл. меркаванні адносна першаснай семантыкі слова галашчок).
Этымалагічны слоўнік беларускай мовы (1978-2017)
Несураз (нисуразъ) ’непрыгожы’ (Мікуцкі, Шестой отч.), ’агідны’ (Анім.), рус. несуразый ’непрыгожы; недарэчны’, несуражий ’непрыгожы, нялоўкі’. Рускія словы, суадносныя з суразый, суражый ’прыгожы’, тлумачаць як вытворныя ад слав. rarъ (гл. раз), гл. Трубачоў, Зб. Романскаму, 141; Фасмер, 3, 806 і інш. Беларускае слова можна суаднесці з сурджыцца ’скасавурыцца’ (Сл. ПЗБ), для якога не выключана сувязь з рожа (гл.).
Этымалагічны слоўнік беларускай мовы (1978-2017)
Аціра́цца (экспр.) ’хадзіць без справы, гультайнічаць’ (КТС), рус. разм. отираться. Ад аціраць, церці, параўн. аціраць бакі ’марнатравіць час’ (Юрч. Фраз., I), церціся ’губляцца, прападаць, хадзіць без справы па суседзях’ (Шат.), церці час ’дарэмна губляць час’ (Шат.); апошняе адпавядае рус. терять время і, магчыма, тлумачыць паходжанне рус. терять ’губляць’ ад церці (тереть), сувязь якіх устанаўлівае Фасмер, 4, 50.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Балдаве́шка 1 ’патаўшчэнне на канцы палкі’ (Бір. Дзярж.). Параўн. рус. дыял. балдаве́шка ’тс’, балдава́шка ’дубінка’. Утварэнне ад балдава́ ’паліца, булава, дубіна’, вядомага, напр., у рус. гаворках (бясспрэчная сувязь з балда́ ’дубіна’). Гл. яшчэ булдава́ ’булава’.
Балдаве́шка 2 ’дурань, дурная галава’ (Шат., Бір. Дзярж.). Метафарычнае ўжыванне слова балдаве́шка ’дубіна’ (гл.). Параўн. такое ж ужыванне слоў балда́, дубі́на, стоўб.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Боўт ’рыбацкая прылада боўтаць ваду’ (КЭС, лаг., Нас., Янк. I), таксама бо́ўтка (Касп., Мядзв.), бо́ўтала (Нас.). Рус. болт, укр. бовт ’тс’. Бернекер (118) лічыць, што слова звязана з bьlt‑ (гл. бо́ўтаць). Фасмер (1, 190) памылкова хоча бачыць тут сувязь з рус. і г. д. болт ’болт’, польск. bełt (< н.-ням. (bolt(e), гал. bout). Параўн. боўтаць.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Бугаі́ ягады буякі, Vaccinium uliginosum L.’ (Кіс.). Паколькі сувязь з буга́й ’бык’, як і з буя́к ’бык’ (параўн. буякі́ ’Vacc. ulig.’), вельмі няпэўная (гл. падрабязна пад буякі́), то можна меркаваць з пэўнай верагоднасцю аб другасным паходжанні назвы. Буякі́ пры запазычанні ў іншыя дыялекту асэнсавалася як слова, звязанае з буя́к ’бык’, і яго «пераклалі» іншым словам для абазначэння «быка» — буга́й.
Этымалагічны слоўнік беларускай мовы (1978-2017)
Ваву́ліць ’марудзіць, капацца’ (Нас.). Слова цьмянае. Можна меркаваць, што яно паходзіць ад рэдуплікацыі гукапераймальнага экспрэсіўнага выклічніка ва, якім абазначалася невыразнае маўленне. Значэнні ’марудзіць, капацца’ і іншыя маглі ўзнікнуць пазней на падставе першаснага. Да гэтага ж кораня трэба аднесці рус. ваулить ’гаварыць павольна, заікацца’, вавула, ваула ’маруда, заіка; неахайны чалавек’. Не выключана сувязь з гукапераймальным прыназоўнікам вава (гл.).
Этымалагічны слоўнік беларускай мовы (1978-2017)