ЛАГІ́СТЫКА (ад грэч. logistikē мастацтва вылічаць, разважаць),
1) назва этапа ў развіцці матэматычнай логікі, прадстаўленага працамі Б.Расела і яго школы (гл. Лагіцызм). У антычнасці тэрмінам «Л.» называлі практычныя аперацыі вылічэнняў і вымярэнняў у арыфметыцы ў процілегласць тэарэт. матэматыцы. У Г. Лейбніца — абазначэнне «вылічэння вывадаў» (calculus ratiocinator) 2) Сінонім ( у пэўнай ступені архаічны) тэрміна «матэм. логіка». У наш час тэрмін «Л.» выкарыстоўваюць для абазначэння матэм. логікі пры вырашэнні эканам. задач, аптымізацыі кіраўніцкіх функцый і інш. Вытворнымі ад «Л.» з’яўляюцца паняцці «лагістычны метад» (спосаб пабудовы фармалізаваных моў для розных раздзелаў логікі) і «лагістычная сістэма» (фармальная частка гэтых моў).
В.М.Пешкаў.
т. 9, с. 89
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ПАРАДО́КС (ад грэч. paradoxos нечаканы, дзіўны),
з’ява, думка або выказванне, якое рэзка адрозніваецца ад агульнапрынятага ўяўлення. У форме П. могуць быць выказаны сапраўдныя і памылковыя думкі. Лагічны П. — разнавіднасць супярэчнасцей у сістэме лагічных доказаў, якія знешне выглядаюць правільнымі, але прыводзяць да ўзаемна супярэчлівых вывадаў. Семантычны П. абумоўлены неабмежаваным ужываннем некат. лінгвістычных і семантычных паняццяў, напр., «сапраўдны», «самаадносны» і інш. Семантычныя П. часам называюць сінтаксічнымі або эпістэмалагічнымі; яны вядомы з антычнасці, апісваліся логікамі сярэднявечча, згадваюцца ў рэліг. і маст. л-ры. П. ў філасофіі І.Кант называў антыноміямі або апарыямі, якія паўплывалі на развіццё навукі, садзейнічалі адасабленню матэматыкі ў вытлумачэнні яе лагічных асноў (гл. Мностваў тэорыя) і з’яўленню гегелеўскай дыялектыкі.
В.В.Краснова.
т. 12, с. 83
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
кампіля́цыя, ‑і, ж.
1. Праца (звычайна навуковая), якая асноўваецца на выкарыстанні ўжо вядомых прац і вынікаў, без самастойнага даследавання і вывадаў. Бяздарная кампіляцыя.
2. Састаўленне такіх работ; кампіляванне. — Адмоўцеся ад пампезнасці, кампіляцыі і тады, калі ласка, разлічвайце на маю падтрымку на архітэктурным савеце. Карпаў.
[Ад лац. compilatio — крадзеж, аграбленне.]
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)
коне́чностьII
1. филос. кане́чнасць, -ці ж.;
коне́чность челове́ческого существова́ния кане́чнасць чалаве́чага існава́ння;
2. канчатко́васць, -ці ж.;
коне́чность це́ли канчатко́васць мэ́ты;
коне́чность вы́водов канчатко́васць вы́вадаў.
Руска-беларускі слоўнік НАН Беларусі, 10-е выданне (2012, актуальны правапіс)
дэду́кцыя
(лац. deductio = вывядзенне)
спосаб разважання ад агульных палажэнняў да прыватных вывадаў (проціл. індукцыя).
Слоўнік іншамоўных слоў. Актуальная лексіка (А. Булыка, 2005, правапіс да 2008 г.)
інду́кцыя
(лац. inductio = увядзенне)
спосаб разважання ад прыватных фактаў да агульных вывадаў (проціл. дэдукцыя).
Слоўнік іншамоўных слоў. Актуальная лексіка (А. Булыка, 2005, правапіс да 2008 г.)
кампіля́цыя
(лац. compilatio = крадзеж, аграбленне)
1) навуковая праца, заснаваная на выкарыстанні чужых думак, без самастойнага даследавання і вывадаў;
2) састаўленне такіх прац.
Слоўнік іншамоўных слоў (А. Булыка, 1999, правапіс да 2008 г.)
дыскурсі́ўны
(фр. discursif, ад лац. discursus = меркаванне)
які робіцца шляхам лагічных вывадаў, разумовы (проціл. інтуітыўны).
Слоўнік іншамоўных слоў. Актуальная лексіка (А. Булыка, 2005, правапіс да 2008 г.)
паказа́льны, ‑ая, ‑ае.
1. Тыповы, характэрны, які дае падставу для якіх‑н. вывадаў. Вельмі паказальнай для ідэйна-творчых пошукаў Бядулі з’яўляецца яго работа над паэмай «Беларусь». Перкін.
2. Які арганізаваны для ўсеагульнага азнаямлення. Паказальны суд. □ У той жа вечар ваенна-палявы суд атрымаў загад рыхтаваць паказальны працэс. Мехаў.
3. Узорны, які служыць прыкладам для другіх. Паказальная гаспадарка. Паказальны ўрок.
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)
ІБН РУШД, Ібн Рошд Абу-ль-Валід Мухамед ібн Ахмед (латынізаванае Авероэс; Averroes; 1126, г. Кордава, Іспанія — 10.12.1198), арабскі філосаф, вучоны-энцыклапедыст, урач; прадстаўнік усх. арыстоцелізму. Жыў і працаваў у Андалусіі і Марока. Большасць яго прац — каментарыі да твораў Арыстоцеля. У сваёй філас. канцэпцыі зыходзіў з прызнання нястворанасці і незнішчальнасці першаматэрыі і руху. Прызнаваў быццё Бога, якое не папярэднічае быццю матэрыі, а «сувечна» яму, і што Бог з’яўляецца «першарухавіком». Сцвярджаў, што матэрыяльны свет бясконцы ў часе, хоць і абмежаваны ў прасторы. Абвяргаў бяссмерце індывід. душы і замагільнае жыццё, але прызнаваў бяссмерце ўсеагульнага інтэлекту. Абгрунтаваў ідэю пра разыходжанне філас. і рэліг. вывадаў, якая паслужыла асновай дзвюх ісцін тэорыі. У сацыялогіі быў прыхільнікам справядлівага грамадскага ладу. Творчасць І.Р. паўплывала на развіццё еўрап. сярэдневяковай філасофіі 13—16 ст.
Тв.:
У кн.: Избранные произведения мыслителей стран Ближнего и Среднего Востока IX—XIV вв. М. 1961.
Літ.:
Сагадеев А.В. Ибн Рушд (Аверроэс). М., 1973.
Т.І.Адула.
т. 7, с. 144
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)