Сем, Р. скл. сямі́ ‘лік і лічба’ (ТСБМ, Ласт., Некр. і Байк.), ст.-бел. седмь, семь, семъ (Альтбаўэр). Укр. сім, Р. скл. семи́, рус. семь, Р. скл. семи́, стараж.-рус. семь, седмь, польск. siedem, палаб. siděm, каш. sėtme, в.-луж. sedom, sydom, н.-луж. sedym, чэш. sedm, славац. sedem, серб.-харв. се̏дам, славен. sédem, балг. се́дем, се́дъм, макед. седум ‘тс’, ст.-слав. седмь. Прасл. *sedmь. Гэта форма з’яўляецца вынікам змяшэння парадкавага лічэбніка *sedmъ і колькаснага *setь (аналагічна і ў ліч. pętь < pętъ, šestь < šestъ); падрабязна гл. Семерэньі, ВЯ, 1967, № 4, 9 і наст. Слав. *setь заканамерна працягвае і.-е. *septṃ‑, параўн. літ. septynì, лат. septiņi, ст.-інд. saptá, грэч. έπτά, лац. septem, ням. sieben ‘тс’; гл. Траўтман, 257; Мюленбах-Эндзелін, 3, 819; Вальдэ-Гофман, 2, 517 і наст. Прычыну захавання ‑d‑ у заходне- і паўднёваславянскіх мовах (параўн. выпадкі з заканамерным яго выпадзеннем plemę < *pledmę, vymę < *vydmę) і страту яго ва ўсходнеславянскіх (Карскі, 1, 352 адзначае, што д выпадае часам у помніках XI ст.) Трубяцкой (ZfslPh, 4, 375 і наст.) тлумачыць розным часам працякання працэсаў асіміляцыі і скарачэння канцавой групы зычных. Гл. таксама Борысь, 545; Сной₁, 557; Фасмер, 3, 599; Шустар-Шэўц, 1396–1397; БЕР, 6, 579; ESJSt, 13, 797; Нов. в рус. этим., 205; SEK, 4, 259–260.

Этымалагічны слоўнік беларускай мовы (1978-2017)

дзіця́ и дзіцё (род. дзіця́ці, тв. дзі́цем и дзіцём) ср., прям., перен. ребёнок м., дитя́; младе́нец м.;

грудно́е дз. — грудно́й ребёнок;

го́ркае дз. — ещё ребёнок;

у сямі́ ня́нек дз. без но́сапосл. у семи́ ня́нек дитя́ без гла́за;

чым бы дз. ні це́шылася, абы́ не пла́калапогов. чем бы дитя́ ни те́шилось, лишь бы не пла́кало;

дз. не пла́ча, ма́ці не дагада́еццапогов. дитя́ не пла́чет, мать не догада́ется

Беларуска-рускі слоўнік, 4-е выданне (2012, актуальны правапіс)

Строй1 ‘рад, шарэнга’, ‘лад’, ‘пабудова, структура’ (ТСБМ), ‘строй, парадак’ (Байк. і Некр., Ян.), ‘выгляд, стройнасць, фігура’ (Варл.), ‘лад, парадак; наведзенасць’ (ТС), ‘узор, малюнак’ (Песні сямі вёсак), строй (на кросна) ‘прыстасаванне для ткання’ (Уладз., ТС), строе́ ‘ставы’ (лельч., Нар. лекс.). Укр. стрій ‘касцюм, адзенне’, рус. строй ‘строй; парадак’, польск. strój ‘строй; адзенне’, чэш. stroj ‘станок, машына’, славац. stroj ‘тс’, серб.-харв. стро̑й ‘фарба; шчолак; вайсковы строй’, славен. strȏj ‘машина, лакаматыў’, балг. строй ‘рад, сістэма, лад’, макед. строј ‘будова’, ‘рад’, ‘сватаўство’, ст.-слав. строи ‘кіраванне; лад, парадак; фармацыя’. Прасл. *strojь роднаснае лат. strãja ‘стойла, якое выслана саломай’, авест. urvarō‑straya ‘абразанне расліны’, лац. struō ‘дапасоўваць, састаўляць, будаваць, ладзіць’, constrūctiō ‘структура, кампазіцыя’, stria ‘баразна, складка’ (Фасмер, 3, 780; Глухак, 589). Далей этымалогія не вельмі ясная. Борысь (581) мяркуе, што слова роднаснае таксама слав. *strěxa ‘страха’ і распасціраць (гл. распасцерціся), да і.-е. кораня *(s)ter‑ ‘распасцерці’, адкуль таксама гоц. straujan ‘сыпаць, рассыпаць’, ням. Streu ‘салома на падсцілку’. Бязлай (3, 332), Сной₁ (615), апрача гэтай версіі, дапускаюць магчымасць паходжання ад і.-е. *kʼroi̯‑o, роднаснага з *kʼrei̯‑on у авес. srayan ‘прыгожы; прыгажосць’, ст.-інд. śrī‑ ‘прыгожасць’ і г. д. з першасным значэннем прасл. *strojь ‘парадак; прыгажосць’, параўн. стройны (гл.).

Строй2 ‘будоўля; драўніна для будоўлі’ (Ян., Мат. Гом.). Рус. паўн. строй ‘будаўнічы матэрыял’. Аддзеяслоўны дэрыват ад строіць (гл.) у адпаведным значэнні.

Строй3 ‘убор’ (Гарэц., Ласт., Байк. і Некр., Сцяц. Сл.). Гл. строі1.

Этымалагічны слоўнік беларускай мовы (1978-2017)

КАТАЛІЦЫ́ЗМ (грэч. katholikos усеагульны, лац. catholismus галоўны, сусветны),

адзін з асн. кірункаў (разам з праваслаўем і пратэстантызмам) у хрысціянстве. Вылучэнне з агульнай плыні хрысціянства пачалося ў сувязі з падзелам у 395 Рым. імперыі на Зах. і Усходнюю; канчаткова аформіўся ў 1054 пасля падзелу цэркваў на зах. (каталіцкую) і ўсх. (праваслаўную). Мае шэраг асаблівасцей ў дагматыцы, кульце, арганізац. структуры. Уяўляе сабой моцную цэнтралізаваную царкву, якая кіруецца тэакратычнай дзяржавай — Ватыканам на чале з папам рымскім. Папа лічыцца намеснікам Ісуса Хрыста на Зямлі, пераемнікам апостала Пятра. Крыніцамі веравучэння К. з’яўляецца Свяшчэннае пісанне (Біблія) і Свяшчэннае паданне (традыцыя). У адрозненне ад праваслаўя К. лічыць усе без выключэння тэксты Бібліі кананічнымі. Свяшчэннае паданне — пастановы ўсіх усяленскіх сабораў (а не толькі першых сямі, як у праваслаўных), творы святых айцоў і рашэнні рым. першасвятароў. Дагматыка К. адрозніваецца ад праваслаўнай, яна ўдакладнялася і дапаўнялася новымі тэалагічнымі прынцыпамі. Так, догмат філіокве, паводле якога Св. Дух зыходзіць не толькі ад Бога-бацькі, але ад Бога-Сына, стаў спрэчным пунктам у час падзелу царквы ў 1054. Догмат аб запасе добрых спраў, на падставе якога склалася практыка продажу індульгенцый, быў адной з прычын аддзялення ад К. пратэстантызму ў 16 ст. Істотна большая роля ў К. належыць культу Дзевы Марыі, што складаецца з догматаў аб бязгрэшным зачацці і цялесным узнясенні яе на неба, а таксама з вучэння пра першародны грэх і чысцілішча. Значным лічыцца і прыняты ў 1870 догмат аб непагрэшнасці пап у справах веры і маралі ў час знаходжання іх на кафедры. Сярод кананічных асаблівасцей К. вызначаюцца: цэлібат (зарок бясшлюбнасці не толькі манаства, але ўсіх святароў), недапушчальнасць выхаду з духоўнага сану, інстытут кардыналаў, непарушнасць шлюбу, першынство папы. У К. шануюцца чатырохканцовы крыж, рэліквіі, святыя Найб. значнае свята — Раство Хрыстова; ёсць і спецыфічныя святы: Цела Гасподняга, Сэрца Ісусавага і інш. Сярод устаноў К. — рымская курыя, калегія кардыналаў (у поўным складзе — кансісторыя) кангрэгацыі і канцылярыі; ордэны манаскія. Існуе ў К. добра арганізаваны грамадскі рух — Акцыя каталіцкая. У сферы ідэалогіі К. кіруецца афіц. філас. дактрынай, абноўленым вучэннем Фамы Аквінскага — неатамізмам. Праяўляецца цікаўнасць і да інш. філас. сістэм, якія больш адпавядаюць патрэбам царквы і часу, напр., да тэярдызму. Адметная рыса К. — процістаянне мадэрністаў і традыцыяналістаў. Да 2-га Ватыканскага сабора (1962—65) каталіцкая імша (богаслужэнне) адбывалася па-лацінску, цяпер — і на родных мовах. К. найб. пашыраны ў Зах. Еўропе, Лац. Амерыцы, Філіпінах, ЗША, некат. краінах Афрыкі. Акрамя рымска-каталіцкай царквы (уласна каталіцкай першапачатковай царквы зах. абраду) К. уключае і шэраг б. правасл. і стараж. усх. цэркваў, якія прызналі ўладу рым. папы і каталіцкую дагматыку пры захаванні сваёй абраднасці і ўнутр арг-цый і ператварыліся ва уніяцкія. Гэта цэрквы грэч., арм., копцкага (у Егіпце), мараніцкага (у Ліване) і інш. абрадаў (гл. Каталіцкія цэрквы ўсходняга абраду). На Беларусі К. пашырыўся пасля Крэўскай уніі 1385 у выглядзе рым.-каталіцкай царквы, а ў выніку Брэсцкай уніі 1596 створана грэка-каталіцкая (уніяцкая) царква (гл. Беларуская грэка-каталіцкая царква, Рымска-каталіцкая царква на Беларусі).

Літ.:

Хольц Л. История христианского монашества: Пер. с нем. СПб., 1993.

А.​А.​Цітавец.

т. 8, с. 169

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

Стрына́тка, страна́тка ‘пліска’ (маладз., барыс., Сл. ПЗБ), ‘аўсянка’ (Песні сямі вёсак), струна́тка ‘дробная птушка’ (мядз., Жыв. сл.), струна́тачка ‘нейкая птушка, можа быць, сініца або аўсянка’ (Тур.), стрына́тка, стрыгна́тка ‘невялічкая шэрая птушка, якая адлятае на зіму’ (Мядзв.), ‘стрыж; птушка з жоўтым апярэннем’ (Сцяшк.), стрыгна́тка ‘аўсянка’ (Мат. Маг.), странадка ‘птушка Tringa clareola’ (Меер Крыч.), старнатка ‘аўсянка, Emberiza, citrinella’ (там жа), сцернадка (стернадка) ‘аўсянка’ (Шымк. Собр.), стрина́дка, стригна́дка, стрегно́тка ‘нейкая птушка’ (Шн. 1, 525, 526), стырна́тка ‘пліска’ (беш., Нар. сл.), старына́тка ‘тс’ (Бяльк.). Укр. стре́надка ‘аўсянка’, рус. стрена́тка ‘тс’, польск. strznadl, trznadel, trzynadl, strdnal, styrnadl, sternal, в.-луж. stnadź, sknadź, knadź, н.-луж. tśnarl, tšnarl, чэш. strnad, strnádka, славац. strnádka, серб.-харв. стрна̀дица, славен. strnȃd, strnȃda, балг. сарна́тка ‘маленькая, падобная на вераб’я птушка з карычневай плямкай на шыі, што зімуе ў Балгарыі’. Прасл. *strьnadь (або *strnadь — Булахоўскі, ИАН ОЛЯ, 7, 105 і наст.) параўноўвалі з літ. stárta, дыял. stérta, лат. stā́ste, stā́rsta ‘стрынатка’ і звязвалі з прасл. *(s)tьrnъ ‘іржышча’ (Міклашыч, 322; Махэк₂, 582; Скок, 3, 347), супраць чаго па фанетычных прычынах Бязлай, 3, 330. Меркавалі таксама аб гукапераймальным паходжанні ад крыку птушкі; гл. Фасмер, 3, 776; Брукнер, 582; Шустар-Шэўц, 1290. Сной (у Бязлай, 3, 330) разглядае слова як кампазіт з першай часткай ад і.-е. *kʼri‑m(e)n, параўн. грэч. κριμνον ‘грубая ячная мука’, з іншым суфіксам ‑λριυή ‘ячмень’, алб. dríthë ‘пшаніца’ і інш. з першасным значэннем ‘якая есць жыта, зерне’, параўн. стрынатка гуменная ‘птушка Emberiza milliaria’ (Ласт.), рус. овсянка, просянка ‘тс’ і інш. Гл. яшчэ Антропаў, Назв. птиц, 365–367.

Этымалагічны слоўнік беларускай мовы (1978-2017)

Надоба ’хатнія рэчы, неабходныя гаспадыні’ (карэл., Сцяшк.), ’убранне’ (стаўбц., Нар. сл.), на́даб (надыб) ’патрэба’ (Бяльк.), надобʼе (надобʼя) ’госці’ (чэрв., Нар. лекс.), nadobak, nadobinka, nadobnina ’аздобная рэч, патрэбная рэч’ (Федар.), nadóbnina ’драўніна для вырабу сельскагаспадарчых прылад’ (Арх. Федар.), надобейка ’нагода, падзея’ (Песні сямі вёсак). Укр. надоба ’неабходнасць, патрэба’, надібок ’кавалак дрэва або жалеза, прыдатны для справы’, ’гаспадарчыя прылады’, надібʼя ’рэчы, маёмасць’, рус. надоба ’патрэба, неабходнасць’, надобье ’тс’, надобень ’неабходная ў доме рэч’, польск. nadoba ’хараство, прыгажосць’, ’начынне’, nodobie ’прылады’, nadobek ’любы пусты посуд (гаршчок, бутэлька)’, чэш. nádoba ’начынне, посуд’, nádobá ’прылады’, славац. nádoba ’посуд’, в.-луж. nadoba ’прылады, начынне; даход; багацце’, н.-луж. nadoba ’веліч; дабрабыт; начынне’. Вытворнае ад *doba, гл. даба; першасная форма, відаць, надабе (гл.), што ўяўляе спалучэнне прыназоўніка на з формай дав., месн. скл. адз. л. ад названага назоўніка са значэннем ’на часе, у (патрэбны) час’, адкуль развілася форма надоба ’патрэба, неабходнасць’ і іншыя, больш канкрэтныя значэнні, што ўскосна пацвярджаецца і больш ранняй фіксацыяй прыслоўя ў помніках пісьменнасці. У якасці чэхізма ў Скарыны разглядаецца надобье ’пасуда’ (Булыка, Лекс. запазыч., 206), што неабавязкова, паколькі такая форма і семантыка прадстаўлены ў гаворках. З большымі падставамі ў якасці запазычання, відаць, з польскай мовы можна разглядаць вытворнае ст.-бел. надобный ’прыгожы, зграбны’ (з XVI ст., Жураўскі, SOr, 10, 40; Булыка, Лекс. запазыч., 194), бо, як паказвае семантычная паралель польск. śliczny, чэш. sličný ’падобны, прыгожы’, такое развіццё значэння характэрна для заходнеславянскіх моў (Машынскі, Kultura, II, 1, 101). Зрэшты, некаторыя этымолагі адрозніваюць аманімічныя зыходныя словы і іх вытворныя ад кораня dob‑: doba ’спосаб, від’ (сюды адносяць і падобны, надобны, аздобны і г. д.) і doba ’часавы перыяд’, да якога трэба аднесці астатнія пералічаныя формы (Махэк₂, 121–122; Бязлай, 1, 105). У адпаведнасці з гэтым у якасці зыходнай формы для надоба ’прылада; пасуда’ дапускаецца зборны назоўнік *nadobьje ’патрэба, неабходнасць’, з якога шляхам сінгулярызацыі ён быў утвораны (Махэк₂, 387; Шустар-Шэўц, 13, 980).

Этымалагічны слоўнік беларускай мовы (1978-2017)

Ту́рак1 ‘жыхар Турцыі’ (ТСБМ, Некр. і Байк., Федар. 4, Сл. ПЗБ, Зайка Кос.), ту́рок ‘тс’ (ТС, Вруб.), ‘Турцыя, Турэччына’: немца, турка ваяваць (Карскі 2–3, 397), ту́ркі ‘тс’: Куды цябе мамка аддае: / Ці ў туркі, ці ў татары (барыс., Песні сямі вёсак), ту́рак ‘упарты чалавек’ (беласт., Сл. ПЗБ), ‘някемлівы чалавек’ (Мат. Гом., Зайка Кос.), ту́рок ‘чалавек з разумовымі недахопамі’ (ТС), ту́рык ‘дурань’ (Юрч. Вытв.), ст.-бел. турокъ (1480 г.), турчинъ, турчынъ (1499 г.) ‘жыхар Турцыі’ (ГСБМ). Параўн. укр. ту́рок, рус. ту́рок, стараж.-рус. турокъ (XV ст.). Запазычанне з тур. türk ‘турак, цюрак’, звязанае (паводле ЕСУМ, 5, 682) з türk ‘грубы, жорсткі, разбойніцкі’, уйг. türk ‘сіла; моцны’, чагат. ‘жорсткі, храбры’, якія зводзяцца да ст.-цюрк. türk ‘цюркская дынастыя’, якую кітайцы называлі Tu‑küz ці Ту‑кю (Фасмер, 4, 125). Запазычанне адсылаецца і да манг. türkün ‘бацькі і родзічы замужняй жанчыны’. Гл. таксама Фасмер (4, 83–84). Сюды ж турча́нка ‘жанчына турэцкай нацыянальнасці’ (ТСБМ), Турэ́ччына ‘Турцыя’; Турцыя — са ст.-польск. Turcja, якое з новалац. Turcia, гэтаксама прыметнік турэцкі са ст.-польск. turecki < Turek ‘турак’ (Фасмер, 4, 126); ту́рка ‘турак’ (Байк. і Некр.), турэцкі баго́н — нейкая расліна (ТС), турэцкіе агуркі — бальшые і доўгіе (Ян.), турэцкі рамонак ‘рамонак пахучы, Matricaria matricarioides (L.)’ (лельч., Нар. лекс.).

Ту́рак2 ‘бубны (масць у картах)’: бубен, або званок, або турак (Наша Ніва, 2002, 15 лют.). Відавочна, адпавядае польск. turek ‘чырвоная кветка’ на базе колеру бубновай карты або значэння ‘палявая кветка’, што можа атаясамлівацца са званочкам (Варш. сл.), дакладней — з контурам кветкі «званковай» (бубновай) карты. Сувязь з Turek ‘турак’ застаецца няяснай.

Ту́рак3 ‘грыб курачка, Rozites casperata (Fr.) P. Karsten’ (кам., маладз., смаляв., Сярж.–Яшк.). Заходняя лакалізацыя назвы сведчыць пра магчымае запазычанне польск. turek ‘від грыба з вялікай апушанай шапачкай арэхападобнай формы пясчанага колеру’ (Варш. сл.). Мяркуецца, што грыб нагадвае турэцкі галаўны ўбор, адсюль зыходнае Turek, гл. турак1.

Этымалагічны слоўнік беларускай мовы (1978-2017)

МАТЭМАТЫ́ЧНАЯ ЛО́ГІКА, сімвалічная логіка,

адзін з кірункаў сучаснай фармальнай логікі, заснаваны на выкарыстанні матэм. метадаў даследавання. У М.л. аперацыі мыслення і пераважна вывадных ведаў вывучаюцца шляхам іх адлюстравання ў спец. фармалізаваных мовах, або лагічных злічэннях. Адным з асн. яе метадаў з’яўляецца метад фармалізацыі, або вывучэння аб’ектаў з дапамогай адносна жорсткіх фіксаваных элементаў іх формы (пры адцягненні ад унутр. зместу). Сістэма фармалізаваных аксіём і фармальных правіл вываду афармляецца ў выглядзе некаторага злічэння. Прасцейшыя з іх — злічэнні выказванняў, калі аперацыі з простымі выказваннямі аб’ядноўваюцца ў складаныя выказванні з дапамогай аператараў кан’юнкцыі, дыз’юнкцыі, імплікацыі, эквіваленцыі і адмаўлення (гл. Логіка выказванняў). У агульных злічэннях выказванняў — класічным і інтуіцыянісцкім (гл. Інтуіцыянізм) — ужываюцца адны і тыя ж правілы вываду (падстаноўкі і вываду заключэння). Формула лічыцца класічна агульназначнай, калі правільнае ўсякае выказванне, што выводзіцца з яе ў выніку падстановак любых выказванняў замест пераменных (A, B, C...); да ўсякага злічэння прад’яўляюцца патрабаванні несупярэчлівасці і паўнаты. Другая форма — злічэнне прэдыкатаў, якое ўключае ў свой склад злічэнне выказванняў, але дадае да яго апарату аперацыі агульнасці і існавання (гл. Логіка прэдыкатаў, Квантары). Самаст. раздзелам у М.л. ўваходзіць злічэнне класаў, якое адпавядае вузкаму злічэнню аднамесных прэдыкатаў, або сілагістыцы Арыстоцеля (гл. Логіка класаў).

Зыходныя паняцці М.л. былі ўжо ў вучэнні прадстаўнікоў мегарскай школы і стоікаў. На мяжы 13—14 ст. ісп. філосаф Р.​Лулій сканструяваў спец. «лагічную машыну», якая складалася з сямі канцэнтрычных кругоў са знакамі, літарамі і тэрмінамі і дазваляла атрымаць разнастайныя камбінацыі слоў і паняццяў. Спроба стварэння «злічэння розуму», падобнага да матэм. злічэння і заснаванага на універсальнай лагічнай мове, належала Г.​Лейбніцу. Як самаст. дысцыпліна М.л. аформілася ў сярэдзіне 19 ст. ў працах англ. матэматыка і логіка Дж.​Буля і ў распрацаванай ім алгебры логікі. Далей М.л. развівалася ў сувязі з распрацоўкай аксіяматычнага метаду, мностваў тэорыі, вызначэння несупярэчлівасці матэм. злічэнняў і інш. Рас. вучоны П.​С.​Парэцкі распрацаваў тэорыю лагічных роўнасцей і прапанаваў найб. агульны метад знаходжання ўсіх эквівалентных форм пасылак і вынікаў з іх («Аб спосабах рашэння лагічных роўнасцей...», 1884). Ч.​Пірс (ЗША) праводзіў даследаванні ў строгай і раздзяляльнай дыз’юнкцыі, матэрыяльнай імплікацыі, індукцыі і гіпотэзы, логікі адносін і інш. галінах М.л. Ням. логік Г.​Фрэге прапанаваў аксіяматычную пабудову логікі выказванняў, сфармуляваў правіла падстаноўкі, увёў паняцце квантара, распрацаваў асн. прынцыпы семантыкі лагічнай. Сучасную форму М.л. надаў італьян. вучоны Дж.​Пеана, які распрацаваў сістэму аксіём для арыфметыкі натуральных лікаў і паказаў, як з дапамогай сімвалічнага злічэння можна практычна пабудаваць матэм. дысцыпліны («Фармуляр матэматыкі», т. 1—2, 1895—97). Развіццю М.л. садзейнічалі працы Б.​Расела і А.​Н.​Уайтхеда («Прынцыпы матэматыкі», т. 1—3, 1910—13). У далейшым атрымалі развіццё даследаванні ў розных галінах М.л., была распрацавана тэорыя матэм. доказаў на аснове выкарыстання лагічных злічэнняў да пытанняў асноў матэматыкі (Я.​Лукасевіч, А.​Гейцінг, А.​М.​Калмагораў, В.​І.​Шастакоў, С.​К.​Кліні, А.​А.​Маркаў і інш.).

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

Літ.:

Клини С.К. Математическая логика: Пер. с англ. М., 1973;

Шенфилд Дж.Р. Математическая логика: Пер. с англ. М., 1975;

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982;

Брюшинкин В.Н. Логика, мышление, информация. Л., 1988;

Логика и компьютер. Л., 1990.

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

т. 10, с. 213

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

стая́ць, стаю́, стаі́ш, стаі́ць; стаі́м, стаіце́, стая́ць; стой; незак.

1. Знаходзіцца ў вертыкальным становішчы, не рухаючыся з месца.

С. пад страхой.

С. бокам.

Кветкі с. у вазе.

2. (1 і 2 ас. звычайна не ўжыв.). Быць пастаўленым, знаходзіцца дзе-н.

Хата стаіць наводшыбе.

Школа стаяла на ўзгорку.

Талеркі стаяць на стале.

3. Быць, знаходзіцца, займаючы якое-н. становішча, выконваючы якую-н. работу, абавязкі.

С. на чале завода.

С. на варце інтарэсаў народа.

4. (1 і 2 ас. звычайна не ўжыв.). Не працаваць, не дзейнічаць (пра прадпрыемства, механізмы і пад.).

Фабрыка стаяла цэлы квартал.

Гадзіннік стаяў.

5. (1 і 2 ас. звычайна не ўжыв.). Быць, знаходзіцца, мець месца.

Вечарамі стаіць цішыня.

Стаяла глыбокая ноч.

Зіма стаяла марозная.

У дзённіку стаіць пяцёрка.

На пасылцы стаяла ўчарашняя дата.

6. (1 і 2 ас. не ўжыв.). Мець патрэбу ў разглядзе, вырашэнні, пераадоленні.

Перад дэпутатамі стаяць пачэсныя задачы.

Стаіць пытанне аб укараненні новага абсталявання.

7. Мець часовае месцазнаходжанне, размяшчацца дзе-н.

У вёсцы стаяў гарнізон.

8. Мужна і стойка трымацца ў баі, вытрымліваць націск.

Горад мужна стаяў да апошняга.

9. перан., за каго-што. Дзейнічаць у чыіх-н. інтарэсах, змагацца на чыім-н. баку, абараняць каго-, што-н.

С. за мірнае вырашэнне праблем.

С. гарой за сяброў.

10. Пастаянна быць у памяці, перад вачамі (пра думкі, уяўленні і пад.).

Вобраз героя стаіць у галаве.

11. (1 і 2 ас. не ўжыв.). Не псавацца, захоўвацца.

Варэнне будзе с. доўга.

12. (1 і 2 ас. звычайна не ўжыв.). Трымацца на якім-н. узроўні; займаць якое-н. становішча.

Вада стаіць на адным узроўні.

Стрэлкі гадзінніка стаялі на сямі.

13. стой(це), ужыв. таксама:

1) у знач. пачакай(це), не спяшайся (спяшайцеся);

2) як выражэнне нязгоды, здзіўлення, прыпамінання чаго-н.

Стойце, трэба лепш абмеркаваць!

Стаяць на сваім — упарта, настойліва адстойваць свой погляд, сваю думку.

Стаяць на цвёрдай глебе — мець трывалую аснову для сваіх планаў, спраў і пад.

Як стой (як стаіць) (разм.) —

1) вельмі хутка; адразу;

2) без нічога, без рэчаў.

|| зак. пастая́ць, -таю́, -таі́ш, -таі́ць; -таі́м, -таіце́, -тая́ць; -то́й (да 9 знач.).

|| наз. стая́нне, -я, н. (да 1 знач.).

Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)

се́меро сущ. мужского рода) сем, род. сямі́;

се́меро солда́т сем салдат; сущ. мужского и женского рода, вместе взятыми, с сущ. общего рода, с сущ., употребляющимися только во мн. числе, с сущ., обозначающими детей и детёнышей, с личными мест. мн. числа) сямёра, род. семяры́х;

их бы́ло се́меро: тро́е мужчи́н и четы́ре же́нщины іх было́ сямёра: тры мужчы́ны і чаты́ры жанчы́ны;

се́меро дете́й сямёра дзяце́й;

се́меро порося́т сямёра парася́т;

се́меро су́ток сямёра су́так;

се́меро одного́ не ждут посл. сямёра аднаго́ не чака́юць;

оди́н с со́шкой, а се́меро с ло́жкой погов. адзі́н з со́шкай, а сямёра з ло́жкай;

се́меро воро́т, а все в огоро́д погов. сямёра варо́т і ўсе ў агаро́д.

Руска-беларускі слоўнік НАН Беларусі, 10-е выданне (2012, актуальны правапіс)