ло́гік, -а, мн. -і, -аў, м.
Спецыяліст па логіцы.
Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)
ло́гік
назоўнік, агульны, адушаўлёны, асабовы, мужчынскі род, 1 скланенне
|
адз. |
мн. |
| Н. |
ло́гік |
ло́гікі |
| Р. |
ло́гіка |
ло́гікаў |
| Д. |
ло́гіку |
ло́гікам |
| В. |
ло́гіка |
ло́гікаў |
| Т. |
ло́гікам |
ло́гікамі |
| М. |
ло́гіку |
ло́гіках |
Крыніцы:
krapivabr2012,
nazounik2008,
piskunou2012,
sbm2012,
tsblm1996,
tsbm1984.
Граматычная база Інстытута мовазнаўства НАН Беларусі (2023, актуальны правапіс)
Беларуска-рускі слоўнік, 4-е выданне (2012, актуальны правапіс)
ло́гік, ‑а, м.
Спецыяліст па логіцы.
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)
ло́гик спец. ло́гік, -ка м.;
Руска-беларускі слоўнік НАН Беларусі, 10-е выданне (2012, актуальны правапіс)
Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)
БУЛЬ
(Boole) Джордж (2.11.1815, г. Лінкальн, Вялікабрытанія — 8.12.1864),
англійскі матэматык і логік; заснавальнік матэм. логікі. Праф. матэматыкі (1849) Куінс-каледжа ў Корку (Ірландыя). Спец. матэматычнай адукацыі не меў. У працах «Матэматычны аналіз логікі» (1847), «Логікавае злічэнне» (1848), «Даследаванне законаў мыслення» (1854) распрацаваў алгебру логікі. Імем Буля названы асобныя алг. сістэмы — булевы алгебры.
т. 3, с. 332
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГЁДЭЛЬ
(Gödel) Курт (28.4.1906, г. Брно, Чэхія — 14.1.1978),
аўстрыйскі матэматык і логік. Чл. Нацыянальнай АН ЗША. У 1933—38 у Венскім ун-це. У 1940 эмігрыраваў у ЗША; з 1953 праф. Ін-та перспектыўных даследаванняў у Прынстане. Навук. працы па матэм. логіцы і тэорыі мностваў. Аўтар тэарэм Гёдэль пра непаўнату і паўнату.
Літ.:
Нагель Э., Ньюмен Д.Р. Теорема Гёделя: Пер. с англ. М., 1970.
т. 5, с. 211
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АЙДУКЕ́ВІЧ
(Ajdukiewicz) Казімеж (12.12.1890, г. Цярнопаль, Украіна — 12.4.1963),
польскі логік, філосаф. Правадзейны чл. Польскай АН (з 1952). Праф. Львоўскага, Варшаўскага ун-таў (1925—38). У 1938 узначаліў Пазнанскае філас. т-ва, з 1953 гал. рэдактар час. «Studia logica» («Лагічныя даследаванні»). Прадстаўнік львоўска-варшаўскай школы, якая ставіла задачу лагічнага абгрунтавання і ўмацавання рацыяналізму ў процівагу ірацыяналізму. Паводле філас. поглядаў быў блізкі да ідэй лагічнага пазітывізму. Распрацаваў логіка-семантычную канцэпцыю значэння як спосабу ўжывання тэрміна ў пэўнай канцэптуальнай сістэме тэорыі лагічнага вываду, індуктыўнай логікі, азначэння, лагічнай семантыкі і сінтаксісу.
Тв.:
Język i poznanie. T. 1—2. Warszawa, 1960—65: The scientific world-perspective and other essays, 1931—63. Dordrecht, 1978.
Г.У.Грушавы.
т. 1, с. 174
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)