фо́рмула, ‑ы, ж.

1. Дакладнае вызначэнне якога‑н. агульнага палажэння, закона і пад., якое мае дастасаванне да ўсіх прыватных выпадкаў. Задача вучоных — устанавіць формулы законаў прыроды. □ Вульгарна-сацыялагічныя формулы знешне выходзілі з прызнання заканамернасці развіцця пралетарскай літаратуры як вядучага, пануючага напрамку. Перкін. // Кароткае і дакладнае выказванне, азначэнне чаго‑н. Паэт дае формулу .. барацьбы: «Стрэльбы, хлопчыкі, бяры». Лужанін. // Устаноўлены нязменны тэкст чаго‑н.; прадвызначаная кіруючая ідэя. Асноўным прынцыпам першай фазы камунізма з’яўляецца формула: «Ад кожнага па яго здольнасцях, кожнаму — па яго працы». Лушчыцкі.

2. Умоўнае абазначэнне адносін якіх‑н. велічынь, элементаў і пад., якое складаецца з літар, лічбаў, знакаў. Алгебраічная формула. Хімічная формула. □ [Марынка] схілілася над сшыткамі, паволі ўваходзячы ў знаёмы свет формул і вывадаў. Хадкевіч. Адноснасць руху, Адноснасць часу, Энергію праменьчыка і масы Мы ў формулы загналі, Як у сеці. Грачанікаў.

[Ад лац. formula — форма, правіла, палажэнне.]

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

БРУ́САЎ (Валерый Якаўлевіч) (13.12.1873, Масква — 9.10.1924),

рускі пісьменнік. Праф. (1921). Скончыў Маскоўскі ун-т (1899). Арганізатар і рэктар Вышэйшага літ.-маст. ін-та ў Маскве (з 1921). Пачынальнік сімвалізму ў рус. л-ры. Выступаў як паэт, празаік, драматург, літ.-знавец, тэарэтык верша і перакладчык. У зб-ках «Рускія сімвалісты» (вып. 1—3, 1894—95; у асноўным вершы Брусава), «Chefs d’oeuvre» («Шэдэўры», 1895), «Me eum esse» («Гэта — я», 1897) — уплыў зах.-еўрап. і рус. дэкадансу, пошукі новых формаў паэзіі. Аўтар зб-каў вершаў «Urbi et Orbi» («Гораду і свету», 1903), «Stephanos» («Вянок», 1906), «Люстра ценяў» (1912) і інш., празаічных зб-каў «Зямная вось» (1907), «Ночы і дні» (1913), гіст. раманаў «Вогненны Анёл» (1907—08), «Алтар перамогі» (1911—12), «Юпітэр звергнуты» (незак., апубл. 1934), п’есы «Падарожнік» (1911), трагедыі «Пратэсілай памерлы» (1913), у якіх — зварот да урбаністычных матываў, навукі і гісторыі, міфалогіі і сучаснасці. У зб-ках «Апошнія мары» (1920), «У такія дні» (1921), «Міг» (1922), «Меа!» («Спяшайся!», 1924) інтымная, пейзажная, міфалагічная, філас. і палітычная тэматыка. У гіст.-літ. працах (кн. «Далёкія і блізкія», 1912) і публікацыях, прысвечаных А.С.Пушкіну (больш за 80), Я.А.Баратынскаму, М.В.Гогалю, Ф.І.Цютчаву і інш., канкрэтнасць і канструктыўная яснасць аналізу, аргументаванасць вывадаў, лаканізм і вытанчанасць стылю, шырыня эрудыцыі Брусава-даследчыка. Перакладаў на рус. мову творы ант., зах.-еўрап. паэзіі і драматургіі (Дж.Байрана, Вергілія, Дантэ, П.Верлена, Мальера і інш.). Перакладчык арм. паэзіі (анталогія «Паэзія Арменіі са старажытных часоў да нашых дзён», 1916, факс. выд. 1987; званне нар. паэта Арменіі 1923). На рус. мову пераклаў асобныя вершы Я.Купалы. Творы на бел. мову перакладалі А.Александровіч, Ю.Гаўрук, А.Дудар, С.Дзяргай, С.Шушкевіч.

Літ.:

Максимов Д.Е. Брюсов: Поэзия и позиция Л., 1969;

Сивоволов Б.М. Валерий Брюсов и передовая русская литература его времени. Харьков, 1985.

т. 3, с. 269

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

строп ​1, ‑а, м.

Спец.

1. Канат, трос для падвешвання гандолы да дырыжабля, аэрастата, для ўтрымання чалавека або грузу на парашуце. Ермакоў хутка перарэзаў стропы, якімі, пакунак быў прывязан да парашута, і загадаў несці. Мележ. «Дружа! Ніколі не рабі скараспелых вывадаў!» — паўтарыў .. [Крамнёў] сваю любімую фразу і выпусціў з рук мокрыя стропы парашута. Шашкоў.

2. Прасцейшае прыстасаванне з каната або троса ў выглядзе пятлі, кольца і пад. для падхвату грузу і падвешвання яго па крук пад’ёмнага крана. З вышыні Павел Клімко ўжо ледзь праглядаў не тонкія, тон так дваццаць можна чапляць, стропы вежавага крана. Мыслівец.

строп ​2, ‑а, м.

Абл. Стык бакоў страхі. Стаіць толькі адна вялізная, яшчэ бацькава, пуня, пад самы строп напакаваная сенам. Броўка. Пад стропам закапашыліся сонныя вераб’і. Мурашка. Праз усю пярэднюю сцяну цягнецца зашклёная веранда, пасярэдзіне яе — адкрыты ганак з пеўнікам на стропе. Хадкевіч.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

спе́шны, ‑ая, ‑ае.

1. Які патрабуе хуткага выканання; тэрміновы. За дзвярыма грукаталі боты, Над сталом задумаўся марксіст І, адклаўшы спешную работу, Малаком пісаў па волю ліст. Грахоўскі. Як Антось мацней за ўсіх бегае, то яму даваліся найбольш спешныя заданні. Кулакоўскі. Калгас засыпаны дэпешамі З Масквы, Туркменіі, Дняпра, — І ўсе вітальныя і спешныя, То ад Івана, то Пятра. Астрэйка. // Які выконвае што‑н. тэрміновае. Красуняй паланянкай паланёны, ён [Кайдан] выгнаў нават спешнага ганца, прысланага з далёкага загону, дагаварыць не даўшы да канца. А. Вольскі.

2. Які робіцца або адбываецца хутка; паспешлівы. Дзед Талаш з сваім войскам спешным маршам рушыў на Прыпяць, каб заняць пераправу. Колас. У штабах спешным парадкам складалі спісы. Пальчэўскі. Сяргееў быў здаволены, што хлопец не робіць спешных вывадаў, а цвяроза ацэньвае абстаноўку. Федасеенка. Чалавек дваццаць паліцыянтаў скакала на конях спешнай рыссю. Пестрак. // Уласцівы таму, хто спяшаецца. А Казік падбег да бацькі і, Юзік чуў, казаў ён спешным дрыжачым голасам: — Злодзей!.. Злодзей... Баранавых.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76

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

факт, ‑а, М ‑кце, м.

1. Сапраўдны, нявыдуманы выпадак, з’ява, здарэнне; тое, што адбывалася на самай справе. Падзеі, якія адбываюцца ў п’есе «Раскіданае гняздо», абапіраюцца на жыццёвыя факты. Рамановіч. // Прыклад, выпадак. [Краўчанка:] — А факты адгрузкі пустой пароды? Гэта ж усё абгрунтоўваецца .. [Берднікавым] навукова. Мікуліч. Сам факт паездкі [моладзі] на цаліну зробіць карысны ўплыў на калгаснікаў, паспрыяе ўзмацненню працоўнай актыўнасці. Дуброўскі. // Матэрыял для якога‑н. вываду, заключэння. У час вайны Даніла Мікалаевіч не аднойчы сустракаўся з фактамі, якія прывучылі яго да больш разважлівых вывадаў. Паслядовіч. Шэркас расказаў.. падрабязна і кожны свой довад пераканальна пацвердзіў фактамі. Кулакоўскі.

2. Рэальнасць, рэчаіснасць. [Доктар:] — Я рэвалюцыі чакаў і нават памагаў яе рабіць, пакуль яна не была фактам. Чорны. // Наяўнасць чаго‑н. У падмацаванне факта гэтай распусты Аленчына маці расказала некалькі прыкладаў. Колас. / у знач. вык. Разм. Пра бясспрэчную ісціну. [Янукевіч:] — Нашым механізатарам цяпер ёсць чым пахваліцца — гэта факт. Хадкевіч. [Сцяпан Пятровіч:] — У мяне двое дзяцей. І што я іх люблю — факт. Ермаловіч.

3. у знач. сцвярджальнай часціцы. Разм. Ужываецца ў значэнні: сапраўды, зразумела, бясспрэчна. [Інжынер:] — Ох, і хітр[ы] ж .. гэты Маслабоеў! Чуў, куды ён гне? Залагоджвае начальства, факт! Каршукоў.

[Ад лац. factum — зробленае.]

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

пра́ктыка, ‑і, ДМ ‑тыцы, ж.

1. Спец. Дзейнасць людзей, якая накіравана на пераўтварэнне матэрыяльнага свету і складае ўсеагульную аснову, рухаючую сілу развіцця чалавечага грамадства і пазнання.

2. Жыццё, рэчаіснасць як галіна прымянення і праверкі якіх‑н. вывадаў, палажэнняў. Прымяніць веды на практыцы. Рэалізаваць рацыяналізатарскія прапановы на практыцы.

3. Скарыстанне якіх‑н. ведаў, навыкаў на справе, сістэматычнае практыкаванне ў чым‑н. У адкрыты бой з белымі мы не хадзілі. Практыкі такой не мелі. Якімовіч. — Відаць, адразу з галавы, без практыкі, не выдумаеш [як зрабіць нож], — адказаў Мірон. Маўр. Рыбалоў вучыцца кожны дзень, кожны час. Для яго лепшая крыніца ведаў — практыка. Матрунёнак.

4. Скарыстанне і замацаванне тэарэтычных ведаў (студэнтаў, вучняў і інш.) на вытворчасці. Педагагічная практыка студэнтаў. □ Вучоба ў гэтым навучальным годзе скончылася. Цяпер іхні — ужо дзесяты — клас павінен быў праходзіць вытворчую практыку ў адным з зарэчных калгасаў. Даніленка.

5. Набыты вопыт, сукупнасць прыёмаў і навыкаў у якой‑н. галіне дзейнасці. Практыка выхавання дзяцей. Практыка работы выдавецтваў. □ Лабановіч ужо з практыкі ведае, што пакуль ёсць работа дзецям дома, пакуль не наступіць позняя восень, сабраць іх у школе [цяжка]. Колас. Народ умеў мысліць адцягнена, а мудрую жыццёвую практыку мог увасобіць у вобразы акаляючай яго прыроды. Саламевіч.

6. Уст. Дзейнасць урача або юрыста; кола гэтай дзейнасці, людзі, на якіх яна распаўсюджваецца. Урач з вялікай практыкай.

[Ад грэч. praktikos — дзейны.]

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

ЛО́ГІКА (ад грэч. logos слова, паняцце, розум),

сукупнасць навук, якія вывучаюць законы і правілы мыслення, спосабы развіцця і спасціжэння ведаў. Паводле Арыстоцеля, навука пра формы правільнага мыслення. І.Кант называў такую навуку фармальнай Л. У сучасным уяўленні фармальная Л. — навука аб законах высноўных ведаў, якія атрыманы з раней устаноўленых і правераных ісцін без звароту ў кожным канкрэтным выпадку да вопыту, а толькі ў выніку прыцягнення законаў і правіл мыслення; яе прадмет — даследаванне разважанняў (вывадаў і доказаў) з пункту погляду іх лагічнай формы (структуры) незалежна ад канкрэтнага зместу суджэнняў, што ў яго ўваходзяць. Пры аналізе лагічных працэсаў усе «асобныя» Л. карыстаюцца мовай сімвалаў і формул, якая будуецца ў адпаведнасці з агульнымі для ўсіх сістэм прынцыпамі Л.

У гіст. развіцці Л. прайшла некалькі этапаў. Фрагменты лагічных даследаванняў вядомы ў стараж.-інд. і стараж.-кіт. філасофіі. У стараж. Грэцыі Л. зарадзілася ў ранняй філасофіі і развівалася пад уплывам аратарскага мастацтва. Традыцыйная арыстоцелеўская Л. стала першай ступенню Л. высноўных ведаў, якая вывучае агульначалавечыя формы думак (паняцці і суджэнні), формы сувязі думак у разважанні (высновы), зафіксаваныя ў фармальна-лагічных законах (тоеснасці закон, супярэчнасці закон, выключанага трэцяга прынцып). Арыстоцель першы ўжыў метады фармальнага аналізу мыслення на аснове прынцыпу яго несупярэчлівасці, сфармуляваў правілы злічэння выказванняў, усебакова даследаваў адну з пашыраных форм розумазаключэнняў — сілагізм, стварыў закончаную тэорыю сілагістыкі, увёў знакавую сістэму лагічных пераменных. Прадстаўнікі мегарскай шкалы аналізавалі ўмоўныя і раздзяляльныя розумазаключэнні, увялі паняцце імплікацыі, вызначылі ідэю тэарэмы аб дэдукцыі і інш. Іх лагічныя ідэі развіты ў школе стоікаў. У раннім сярэдневякоўі Л. як самаст. навука развівалася ў краінах арабскай культуры, дзе філасофія заставалася адносна незалежнай ад рэлігіі. У Еўропе складвалася ў асн. схаластычная Л. як царк.-школьная дысцыпліна, якая прыстасавала элементы перыпатэтычнай Л. для абгрунтавання і сістэматызацыі хрысц. веравучэння. У 12—13 ст., калі творы Арыстоцеля былі кананізаваны царк. артадоксіяй, узнікла сярэдневяковая («несхаластычная») Л., асновы якой закладзены «Дыялектыкай» П.Абеляра. У творах У.Шэрвуда, Дунса Скота, Пягра Іспанскага, У.Окама, Ж.Бурыдана атрымалі развіццё палажэнні аб сферы дзеяння лагічных аперацый, адрозненні паміж формай і зместам, абгрунтаваны многія вядомыя цяпер законы Л. выказванняў, тэорыя дэдукцыі і інш. У эпоху Адраджэння Л. разглядалі як аснову «штучнага» мыслення і супрацьпастаўлялі ёй Л. «натуральнага мыслення», пад якой звычайна разумелі інтуіцыю і ўяўленне. У новы час патрэбы прыродазнаўства і тэхнікі выклікалі крытыку арыстоцелеўскай (у схаластычным тлумачэнні) Л., паслужылі стымулам у распрацоўцы індукцыйнай логікі, вучэння аб метадзе, праблем метадалогіі новай (эксперыментальнай) навукі аб прыродзе (Ф.Бэкан, Р.Дэкарт). І.Кант лічыў больш важнай за звычайную, традыц. Л., трансцэндэнтальную Л., якая даследуе ў формах мыслення тое, што забяспечвае ведам апрыёрны (давопытны) характар. Г.Гегель на ідэаліст., а К.Маркс і Ф.Энгельс на матэрыяліст. аснове стварылі вучэнне аб агульных законах і формах мыслення — логіку дыялектычную.

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

З 2-й пал. 19 ст. пачаўся якасна новы этап развіцця Л., звязаны з актуальнымі задачамі абгрунтавання і даследавання лагічных асноў матэматыкі, выкарыстаннем матэм. метадаў пры вырашэнні лагічных праблем. Г.Лейбніц лічыў магчымым стварыць своеасаблівы «алфавіт чалавечых думак» шляхам вылучэння зыходных паняццяў і суджэнняў. Ён заклаў асновы матэматычнай логікі (2-я ступень фармальнай Л.), тэорыі тоеснасці і гіпатэтыка-дэдукцыйнага метаду, сфармуляваў дастатковай падставы прынцып. Дж.Міль распрацаваў тэорыю індукцыйных розумазаключэнняў, метады даследавання прычыннай сувязі (гл. Прычыннасць). На аснове лагічнай спадчыны Лейбніца сфарміравалася сучасная алгебра логікі і логіка класаў (Дж.Буль, У.Джэванс, Ф.Морган, Ч.Пірс, Э.Шродэр, П.С.Парэцкі, Дж.Пеана, Б.Расел, А.Уайтхед). Г.Фрэге распрацаваў прынцыпы аксіяматычнай пабудовы злічэнняў, выказванняў і прэдыкатаў, паказаў адрозненне паміж лагічнымі законамі і правіламі лагічных вывадаў, мовы і метамовы, паклаў пачатак семантыкі лагічнай. У 1920—30-я г. створана мнагазначная Л. (Я.Лукасевіч, Э.Пост), праведзены новыя даследаванні суадносін паміж мадальнай і інтуіцыянісцкай Л. (К.Льюіс, В.Гліванг, А.Гейтынг). Гал. даследаванні пераносяцца ў метадалогію лагічных доказаў, удасканалення правіл і спосабаў пабудовы злічэнняў і вывучэння іх асн. уласцівасцей — незалежнасць пастулатаў, несупярэчлівасць і паўната (В.Акерман, К.Гёдэль, Ж.Эрбран, Д.Гільберт). З’явіліся класічныя працы па лагічнай семантыцы і тэорыі мадэлей (А.Тарскі, Л.Лёвенгайм, Т.Сколен, Гёдэль, А.І.Мальцаў), закладзены асновы вывучэння «машыннага мыслення» — тэорыі алгарытмаў (Гёдэль, С.Кліні, А.Чорч, А.А.Маркаў, А.М.Калмагораў і інш.). Метады лагічных аперацый і злічэнняў сталі шырока выкарыстоўвацца ў вылічальнай тэхніцы, кібернетыцы (алгебраічная тэорыя рэлейна-кантактных схем, тэорыя канечных аўтаматаў і інш.), у тэарэт. фізіцы (квантавая Л.), інфарматыцы (праграмаванне і даследаванні па штучным інтэлекце), у галіне гуманітарных ведаў (лінгвістыка, юрыспрудэнцыя і інш). Прыкладны аспект лагічнага аналізу з яго шматлікімі праблемамі спрыяў узнікненню такіх кірункаў даследаванняў, як логіка адносін, логіка навукі, Л. быцця, Л. змянення, Л. часткі і цэлага, лагічныя тэорыі ведаў, пераканання, уяўлення і інш. Гл. таксама Лагістыка, Лагіцызм, Логіка выказванняў, Логіка прэдыкатаў.

Літ.:

Маковельский А.О. История логики. М., 1967;

Кант И. Трактаты и письма: Пер. с нем. М., 1980;

Клаус Г. Введение в формальную логику: Пер. с нем. М., 1960;

Аристотель. Первая аналитика. Вторая аналитика // Соч. М., 1978. Т. 2;

Поппер К. Логика и рост научного знания: Пер. с англ. М., 1983;

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

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

Арно А., Николь П. Логика, или Искусство мыслить...: Пер. с фр. М., 1991;

Памятники философской мысли Белоруссии XVII — первой половины XVIII в. Мн., 1991;

Стереотипы и динамика мышления. Мн., 1993;

Минто В. Дедуктивная и индуктивная логика: Пер. с англ. СПб., 1995;

Leibniz G.W. Fragmente zur Logik. Berlin, 1960.

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

т. 9, с. 333

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

вы́явіцца сов.

1. обнару́житься, прояви́ться, обрисова́ться, вы́явиться; вы́разиться; оказа́ться; вскры́ться, обнажи́ться, разоблачи́ться, откры́ться;

~віўся та́лент — обнару́жился (прояви́лся, обрисова́лся, вы́явился) тала́нт;

у гэ́тай карці́не ~вілася заду́ма мастака́ — в э́той карти́не вы́разился за́мысел худо́жника;

~віліся недахо́пы ў рабо́це — вскры́лись (обнару́жились, обнажи́лись, откры́лись) недоста́тки в рабо́те;

~вілася няста́ча гро́шай — обнару́жилась (вскры́лась) недоста́ча де́нег;

~вілася, што гэ́та не так — оказа́лось, что э́то не так;

2. безл. в сочетании с союзом што (стать очевидным) оказа́ться; получи́ться;

~вілася, што я вінава́ты, а не ты — оказа́лось, что я винова́т, а не ты;

~вілася, што мы з табо́й прыйшлі́ да адно́лькавых вы́вадаў — получи́лось, что мы с тобо́й пришли́ к одина́ковым вы́водам;

3. разг. вы́писаться;

в. з дамаво́й кні́гі — вы́писаться из домо́вой кни́ги

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

знайсці́, знайду, знойдзеш, знойдзе; пр. знайшоў, ‑шла, ‑ло; заг. знайдзі; зак., каго-што.

1. У выніку пошукаў выявіць, адшукаць. Дзеду трэба знайсці тую часць чырвонага войска, камандзір якога стаяў у яго на кватэры. Колас. У горадзе, зразумела, можна было б знайсці хірурга. Якімовіч. // Падшукаць, падабраць. Два тыдні ў нашай вёсцы не было старасты, немцы не маглі знайсці халуя на гэты пост. Краўчанка. [Сястра] не ведае, што адказаць. Тузаецца, не можа знайсці слоў. Скрыган. // Прыдумаць (у выніку разважання). Знайсці выхад з цяжкага становішча. // (у спалучэнні з інф. і словамі «чым», «чаму», «за што» і пад.). Ужываецца для выражэння іранічных адносін да выказвання; роўна па значэнню адмоўным канструкцыям: нечым, нечаму, няма за што і пад. Знайшла чым хваліцца. Знайшоў чаму радавацца. □ — Знайшлі за што сварыцца, — умяшаўся Карусь. Колас. // Выявіць у выніку спецыяльных пошукаў, даследаванняў; адкрыць, вынайсці. Знайсці новыя залежы каменнага вугалю. Знайсці новы спосаб рашэння задачы. // Вызначыць шляхам вылічэнняў, вывадаў. Знайсці суму двух лікаў. Знайсці корань слова. // Выбраць, удзяліць для чаго‑н. (які‑н. адрэзак часу). Знайсці вольную хвіліну. □ Калі час толькі вольны знайду — Збіраюся ў падарожжа! Нядзведскі.

2. Выявіць, убачыць, заўважыць. — Надоечы мы знайшлі ў алешніку прыкрытую ламаччам яму. Бажко. // (звычайна ў пытальнай канструкцыі са словам «што»). Выявіць, убачыць у кім‑, чым‑н. якія‑н. уласцівасці, якасці. — Што ты смешнага тут знайшоў, супастат? Лынькоў. — Што ты з мяне, старога, кпіш, знайшоў таварыша!.. Чорны. // Застаць, заспець. Прыйшлі і не знайшлі цябе.

3. Атрымаць, набыць. Знайсці прымяненне. Знайсці адлюстраванне. □ [Білецкі:] Ты памятаеш, Сцяпан, — я не дрэнна страляю і, можаш не сумнявацца, кожная выпушчаная мною куля знойдзе свой адрас. Маўзон. Разбіты граніт Знойдзе месца сваё ў адбудове. Танк. // у кім-чым. Сустрэць з боку каго‑н. якія‑н. адносіны, пачуцці; адшукаць у кім‑, чым‑н. крыніцу якіх‑н. пачуццяў, адчуванняў. Сямён рашыў пайсці да Булая. Не затым, каб паскардзіцца на каго-небудзь. Проста хацелася раскрыць сваю душу, знайсці спачуванне. Шыцік.

4. са злучн. «што». Прыйсці да якога‑н. вываду, заключэння. Ва ўрадніка пранеслася ў галаве думка: арыштаваць і папа за пакрыванне крамольніка. Але перадумаў і знайшоў, што не варта. Колас. // Палічыць, прызнаць. Знайсці неабходным паведаміць аб прыездзе.

•••

(Днём) з агнём не знойдзеш; са свечкай не знойдзеш — пра што‑н. далёка закінутае, схаванае.

Знайсці агульную мову — дасягнуць узаемаразумення, узгодненасці.

Знайсці дарогу к чыйму сэрцу — выклікаць у каго‑н. да сябе любоў, сімпатыі.

Знайсці канец (канцы) — разабрацца ў чым‑н., даведацца пра што‑н.

Знайсці смерць (магілу) — загінуць, памерці.

Знайсці сябе — правільна вызначыць свае схільнасці, зразумець сваё прызванне.

Знайшоў (знайшлі) дурня (іран.) — выражэнне нязгоды з кім‑, чым‑н., адмаўлення ад чаго‑н.

На дне мора знайсці — адшукаць у любым выпадку, незалежна ад абставін.

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)