Verbum

ЛО́ГІКА ВЫКА́ЗВАННЯЎ,

прапазіцыянальная логіка, раздзел логікі, у якім вывучаюцца лагічныя сувязі паміж простымі і складанымі выказваннямі. Простае (атамарнае) выказванне не ўключае ў сябе іншыя выказванні і разглядаецца як пераменная, якая прымае або ісціннае, або няісціннае значэнне. Канкрэтны змест і ўнутр. структура выказванняў пры гэтым не разглядаюцца. Складанае выказванне складваецца з іншых выказванняў пры дапамозе ўзаемазвязаных лагічных (прапазіцыянальных) звязак. Так, злучэнне двух выказванняў з дапамогай звязкі «і» дае складанае выказванне (кан’юнкцыю), якое з’яўляецца ісцінным, толькі калі абодва гэтыя выказванні ісцінныя. Складанае выказванне, утворанае з дапамогай звязкі «або» (дыз’юнкцыя), ісціннае, калі хаця б адно з гэтых двух выказванняў ісціннае. Складанае выказванне, утворанае з дапамогай «не» (адмаўленне), ісціннае, калі толькі зыходнае выказванне няісціннае. Складанае выказванне, атрыманае з двух выказванняў з дапамогай звязкі «калі, то» (імплікацыя), ісціннае ў 3 выпадках: абодва гэтыя выказванні ісцінныя, абодва яны няісцінныя; першае з выказванняў (за словам «калі») няісціннае, а другое (за словам «то») ісціннае, імплікацыя з’яўляецца няісціннай, толькі калі першае з яе выказванняў ісціннае, а другое няісціннае. Мова Л.в. уключае бясконцае мноства пераменных (P, g, r, ... P_i, g_i, r_i, якія ўяўляюць сабой выказванні), і асаблівыя сімвалы для лагічных звязак: & — кан’юнкцыя («і»), ∨ — дыз’юнкцыя («або»), ¬ — адмаўленне («не» або «няправільна, што»), → — імплікацыя («калі, то»), ↔ — эквівалентнасць («калі і толькі калі»). Л.в. можа быць прадстаўлена таксама ў форме лагічнага злічэння, у якім задаецца спосаб доказу некаторых выказванняў.

Літ.:

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

Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1996.

В.​В.​Краснова.

т. 9, с. 334

ЗНА́КІ МАТЭМАТЫ́ЧНЫЯ,

умоўныя абазначэнні (сімвалы), якімі карыстаюцца для запісу матэм. паняццяў, суадносін, выкладак і ніш. Напр., выраз «лік тры большы за лік два» з дапамогай З.м. запісваецца як 3 > 2.

Развіццё матэм. сімволікі цесна звязана з агульным развіццём паняццяў і метадаў матэматыкі. Першымі З.м. былі лічбы — знакі для абазначэння лікаў; мяркуюць, што яны папярэднічалі ўзнікненню пісьменнасці. З.м. для абазначэння адвольных велічынь з’явіліся 5—4 ст. да н.э. ў Грэцыі. Напр., плошчы, аб’ёмы, вуглы адлюстроўваліся адрэзкамі, а здабыткі велічынь — прамавугольнікамі, пабудаванымі на такіх адрэзках. У «Асновах» Эўкліда (3 ст. да н.э.) велічыні абазначаюцца дзвюма літарамі — пачатковай і канцавой літарамі адпаведнага адрэзка, а часам і адной. Пачаткі літарнага абазначэння і злічэння ўзніклі ў познаэліністычную эпоху (Дыяфант; верагодна 3 ст.) пры вызваленні алгебры ад геам. формы. Сучасная алг. сімволіка створана ў 14—17 ст.; яе развіццё і ўдасканаленне спрыяла ўзнікненню новых раздзелаў матэматыкі (гл. напр., Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Тэнзарнае злічэнне) і матэм. логікі (Алгебра логікі).

А.​А.​Гусак.

Асноўныя матэматычныя знакі

Знак	Значэнне	Кім і калі ўведзены
Знакі індывідуальных аперацый адносін, аб’ектаў
+	складанне	Я.​Відман, 1489
−	адніманне
×	множанне	У.​Оўтрэд, 1631
∙	множанне	Г.​Лейбніц, 1698
:	дзяленне	Г.​Лейбніц, 1684
${\mathrm{a}}^{\mathrm{n}}$	ступень	Р.​Дэкарт, 1637
${\mathrm{}}^{\mathrm{n}}\sqrt{a}$	корань (радыкал)	А.​Жырар, 1629
log	лагарыфм	Б.​Кавальеры, 1632
sin, cos	сінус, косінус	Л.​Эйлер, 1748
tg	тангенс	Л.​Эйлер, 1753
dx, d​2x, ...	дыферэнцыял	Г.​Лейбніц, 1675
$\int ydxy$	інтэграл
lim	ліміт	У.​Гамільтан, 1853
=	роўнасць	Р.​Рэкард, 1557
><	больш, менш	Т.​Гарыёт, 1631
∥	паралельнасць	У.​Оўтрэд, 1677
∞	бесканечнасць	Дж.​Валіс, 1655
e	аснова натуральных лагарыфмаў	Л.​Эйлер, 1736
π	адносіны даўжыні акружнасці да яе дыяметра
i	уяўная адзінка $\sqrt{\mathrm{-1}}$	Л.​Эйлер, 1777
$\overrightarrow{i}$, $\overrightarrow{j}$, $\overrightarrow{k}$	адзінкавыя вектары	У.​Гамільтан, 1853
f(x)	Знакі пераменных аперацый і аб’ектаў функцыя	Л.​Эйлер, 1734
x, y, z	невядомыя (пераменныя)	Р.​Дэкарт, 1637
a, b, c	адвольныя пастаянныя
$\overrightarrow{r}$	вектар	А.​Кашы, 1853

т. 7, с. 99

КАЛЯНДА́Р (лац. calendarium літар. пазыковая кніжка; у Стараж. Рыме даўжнік плаціў працэнты ў першы дзень кожнага месяца, г. зн. у календы) астранамічны, сістэма злічэння вял. прамежкаў часу, заснаваная на перыядычнасці бачных рухаў нябесных цел. Адрозніваюць К.: сонечны (у аснове гадавы рух Сонца па экліптыцы), месяцавы (на аснове руху Месяца вакол Зямлі), месяцава-сонечны.

Пры пабудове К. узнікае праблема спалучэння сонечнага (трапічнага) года, роўнага 365,2422 сярэдніх сонечных сут, і сінадычных месяцаў, працягласцю 29,5306 сут кожны. Адным з першых сонечных К. быў стараж.-егіпецкі (4 ст. да н.э.): працягласць года ў ім была роўная 365 сут (12 месяцаў па 30 сут, апошнія 5 сут не нумараваліся і былі святочнымі). Сучаснае летазлічэнне развілося з стараж.-рым. сонечнага К., уведзенага ў 46 да н.э. Юліем Цэзарам і названага юліянскім К. (ці старым стылем). Тры гады запар у гэтым К. мелі па 365, а 4-ы, высакосны — 366 сут; сярэдняя працягласць года 365,25 сут, што на 11 мін 14 с больш за трапічны год. З-за гэтай недакладнасці кожныя 128 гадоў юліянскі К. адставаў на 1 сут. Гэту памылку на 10 сут выправілі ў 1582 пры папе рымскім Грыгорыю XIII увядзеннем новага К., які назвалі грыгарыянскім (ці новым стылем). У ім выкарыстоўваецца больш дакладнае значэнне сапраўднага трапічнага года. На практыцы год, нумар якога канчаецца на 2 нулі і не дзеліцца без астачы на 400, не лічыцца высакосным. Невялікая недакладнасць паміж грыгарыянскім і трапічным гадамі дае розніцу ў 1 дзень за 3300 гадоў. Каталіцкія краіны перайшлі на грыгарыянскі К. у 16 ст., Скандынавія і Вялікабрытанія — у 18 ст., правасл. краіны Грэцыя, Балгарыя, Румынія, Сербія — у пач. 20 ст., Расія — 31.1.1918 (наступны дзень ужо быў 14 лютага). У месяцавым К. працягласць месяца (сінадычнага, роўнага 29,5306 сут) звязваецца са зменаю фаз Месяца. Прыклад такога К. — мусульманскі К., якім карыстаюцца некаторыя народы Азіі і Афрыкі. У гэтым К. год падзяляецца на 12 месяцаў па 30 і 29 сут папераменна; працягласць года (354 сут) меншая за сонечны, таму пачатак года ўвесь час зрушваецца. У камбінаваным месяцава-сонечным К. змена фаз Месяца ўзгадняецца з гадавым рухам Сонца. Прыклад такога К. — сучасны яўрэйскі К.: 19 сонечных гадоў складаюць 235 сінадычных месяцаў (па 29—30 дзён), 1 раз у некалькі гадоў уводзіцца 13-ы месяц. Пачатак года прыпадае на розныя дні, але заўсёды ўвосень. Кожны месяц пачынаецца з маладзіка, дзень — з заходам Сонца.

Літ.:

Климишин И.А. Календарь и хронология. 3 изд. М., 1990.

А.​А.​Шымбалёў.

т. 7, с. 498

ДЭКА́РТ ((Descartes) Рэнэ) (латынізаванае Картэзій; Renatus Cartesius; 31.3.1596, Ла-Э, цяпер г. Ла-Э-Дэкарт, Францыя — 11.2.1650),

французскі філосаф, матэматык і прыродазнавец. Адукацыю атрымаў у езуіцкім калегіуме. З 1629 жыў у Нідэрландах, дзе выйшлі яго гал. творы — «Геаметрыя» і «Роздум аб метадзе» (абедзве 1637), «Разважанні аб першай філасофіі» (1641), «Пачаткі філасофіі» (1644), з 1649 у Стакгольме. У аснове філас. сістэмы Д. — дуалізм душы і цела, духоўнай і матэрыяльнай субстанцый, якія сталі асновай для разумення феномена т.зв. «гнасеалагічнага цвішэнізму» — стану паміж жыццём і смерцю, розумам і целам, логікай і страсцю, дабром і злом, бездухоўнасцю і маральнасцю, дэмакратыяй і дэспатызмам, свабодай і дэтэрмінацыяй і інш. Гал. і неад’емнай уласцівасцю матэрыі лічыў працягласць, або прастору, а гал. атрыбутам духоўнай субстанцыі — мысленне. З факта відавочнасці мыслення, або свядомасці чалавека, на думку Д., можна непасрэдна вывесці заключэнне пра сваё існаванне: «Я мыслю, значыць я існую». У гнасеалогіі Д. — пачынальнік рацыяналізму. Гал. ролю ў працэсе пазнання ён надаваў дэдукцыі, якая абапіраецца на цалкам відавочныя, інтуітыўна спасціжымыя аксіёмы. У матэматыцы ён — адзін са стваральнікаў аналітычнай геаметрыі, увёў літарныя абазначэнні, паняцці пераменнай велічыні і функцыі, сістэму каардынат; у механіцы сцвярджаў адноснасць руху і спакою, сфармуляваў агульныя законы дзеяння і процідзеяння, захавання пэўнай колькасці энергіі, даў паняцце імпульсу сілы; у касмалогіі выказаў ідэю натуральнага развіцця Сонечнай сістэмы і ўтварэння нябесных цел у выніку віхрападобнага руху часцінак матэрыі вакол цэнтра — Сонца (віхры Д.); у фізіялогіі раскрыў сутнасць адвольных і міжвольных рухаў і даў навук. апісанне рэфлектарнага акта (дуга Д.). Ідэі Д. сталі тэарэт. крыніцай картэзіянства, былі прадметам усебаковага даследавання і крытычнага аналізу Дж.​Лока, Ж.​Ламетры, І.​Канта, Б.​Спінозы і інш. Даследаванні Д. ў галіне матэматыкі і фармалізацыі працэсу пазнання разам з вынайдзенай Г.​Лейбніцам дваічнай сістэмай злічэння пакладзены ў аснову тэорыі сучаснай выліч. тэхнікі і інфарматыкі.

На Беларусі філас., прыродазнаўчыя і гнесеалагічныя ідэі атрымалі шырокае распаўсюджанне ў 2-й пал. 18 ст. ва ўмовах пераадолення сярэдневяковай схаластыкі, пашырэння ідэалогіі Асветніцтва. Асн. элементы філас. сістэмы Д. ўключаліся ў праграмы лекцыйных курсаў па філасофіі, абмяркоўваліся ў навук. і перыядычных выданнях.

С.​Шадурскі ў сваіх кнігах, выдадзеных у Навагрудку і Вільні, абвясціў Д. найвышэйшым навук. аўтарытэтам, падзяляў яго прынцыпы і пункт гледжання пра існаванне дзвюх субстанцый. У інтэрпрэтацыі А.​Скарульскага рацыяналізм Д. і сфармуляваныя ім крытэрыі ісціны набылі тэалагічную афарбоўку. Крытыкавалася яго ідэя прыроджаных ідэй і інтуітыўнай свядомасці. На дэдуктыўную рацыяналістычную логіку Д. спасылаўся Б.​Дабшэвіч у сваіх разважаннях аб крытэрыі ісціны. Да механістычнай карціны свету, распрацаванай Д., схіляўся А.​Доўгірд. У абарону ідэй Д. выступаў К.​Нарбут, што сведчыць аб ломцы і трансфармацыі айчыннай эклектыкі, пераходзе мысліцеляў Беларусі ад сярэдневяковага перыпатэтызму да філасофіі і навукі новага часу.

Тв.:

Рус. пер. — Соч. Т. 1—2. М., 1989—94.

Літ.:

Спиноза. Принципы философии Декарта. М., 1926;

Ляткер Я.А. Декарт. М., 1975;

Матвиевская Г.П. Рене Декарт, 1596—1650. М., 1976;

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

Двенадцатые республиканские чтения «Великие преобразователи естествознания Декарт и Лейбниц»;

Тез. докл. Мн., 1996.

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

т. 6, с. 336

ВЫЛІЧА́ЛЬНАЯ МАТЭМА́ТЫКА,

раздзел матэматыкі, у якім распрацоўваюцца і даследуюцца метады лікавага рашэння матэм. задач. Метады вылічальнай матэматыкі прыбліжаныя, падзяляюцца на аналітычныя (даюць прыбліжаныя рашэнні ў выглядзе аналітычнага выразу) і лікавыя (у выглядзе табліцы лікаў).

Узнікненне вылічальнай матэматыкі звязана з неабходнасцю рашэння асобных задач (вымярэнне адлегласцей, плошчаў, аб’ёмаў і інш.). Развіццё навукі, асабліва астраноміі і механікі, спрыяла развіццю матэматыкі ўвогуле і вылічальнай матэматыкі ў прыватнасці. Складаліся табліцы эмпірычна знойдзеных залежнасцей, што прывяло да ўзнікнення паняцця функцыі і задачы інтэрпалявання (гл. Інтэрпаляцыя). Поспехі вылічальнай матэматыкі звязаны з імёнамі І.​Ньютана, Л.​Эйлера, М.​І.​Лабачэўскага, К.​Ф.​Гаўса, П.​Л.​Чабышова, С.​А.​Чаплыгіна, А.​М.​Крылова, А.​М.​Ціханава, А.​А.​Самарскага, У.​І.​Крылова, Л.​В.​Кантаровіча і інш. Многія задачы вылічальнай матэматыкі можна запісаць у выглядзе y=Ax, дзе x і y належаць зададзеным мноствам X і Y, A — некаторы аператар. Для рашэння задачы трэба знайсці у па зададзеным х ці наадварот. У вылічальнай матэматыцы гэта задача рашаецца заменай мностваў X, Y і аператара A (ці толькі некаторых з іх) іншымі, зручнымі для вылічэнняў. Замена робіцца так, каб рашэнне новай задачы y=Bx было ў нейкім сэнсе блізкім да рашэння першапачатковай задачы. Напр., калі ў якасці Ax узяць інтэграл ${\displaystyle {\int }_{\mathrm{a}}^{\mathrm{b}}x\text{(}t\text{)}dt}$ , то прыбліжанае значэнне яго ў многіх выпадках можна вылічыць паводле т.зв. квадратурнай формулы ${\displaystyle {\int }_{\mathrm{a}}^{\mathrm{b}}x\text{(}t\text{)}dt\approx {\sum }_{k-1}^n{A}_{k}x\text{(}{t}_k\text{)}}$ , дзе $A_k$ і $t_k$ — некаторыя фіксаваныя лікі. Гэта адна з класічных задач вылічальнай матэматыкі. Пры рашэнні яе, асабліва ў выпадку кратнага (шматразовага) і кантынуальнага інтэгравання, карыстаюцца Монтэ-Карла метадам. Прынцыповае значэнне ў вылічальнай матэматыцы належыць тэорыі прыбліжэння функцый, якая адыгрывае і агульнаматэм. ролю. Адна з характэрных задач прыбліжэння функцый — задача інтэрпалявання, г.зн. пабудова для зададзенай функцыі $𝑓\text{(}t\text{)}$ прыбліжанай функцыі ${𝑓}_n\text{(}t\text{)}$, якая супадае з $𝑓\text{(}t\text{)}$ у фіксаваных вузлах t₁, t₂, ..., t_n. У тэорыі прыбліжэння функцый сапраўднага (а пазней і камплекснага) пераменнага распрацоўваліся метады прыбліжэння функцый аднаго класа функцыямі інш. класаў, а таксама вывучаліся пытанні збежнасці і ацэнак прыбліжэнняў. Найб. пашыраныя задачы вылічальнай матэматыкі — задачы алгебры [рашэнне сістэм лінейных алгебраічных ураўненняў, вылічэнне вызначнікаў (дэтэрмінантаў) і адваротных матрыц, знаходжанне ўласных вектараў і ўласных значэнняў матрыц, вызначэнне каранёў мнагачленаў]. У задачы прыбліжанага рашэння сістэмы лінейных ураўненняў A_x=b, дзе A — квадратная матрыца, x і b — вектары-калонкі, часта выкарыстоўваюцца ітэрацыйныя метады. Многія ітэрацыйныя метады рашэння гэтай сістэмы маюць выгляд ${\displaystyle x^k=x^{k-1}+B_k\text{(}b-A{x}^{k-1}\text{)}}$ , дзе ${\displaystyle B_k\text{(}k=\mathrm{1,\; 2,\; ...}\text{)}}$ — некаторая паслядоўнасць матрыц, x° — пачатковае прыбліжэнне, часам адвольнае. Розны выбар матрыц B_k дае розныя ітэрацыйныя працэсы. Значную частку вылічальнай матэматыкі складаюць прыбліжаныя і лікавыя метады рашэння звычайных дыферэнцыяльных ураўненняў, дыферэнцыяльных ураўненняў у частковых вытворных, інтэгральных ураўненняў, інтэгра-дыферэнцыяльных ураўненняў, вылічальныя метады варыяцыйнага злічэння, аптымальнага кіравання, задач стахастычнага аналізу і інш. З’яўленне вылічальных машын значна расшырыла кола задач і стымулявала далейшую распрацоўку метадаў вылічальнай матэматыкі з улікам магчымасцей вылічальных машын, у прыватнасці распрацоўкі спец. алгарытмаў, арыентаваных на паралельную рэалізацыю.

На Беларусі даследаванні па ўсіх асн. кірунках вылічальнай матэматыкі і падрыхтоўкі навук. кадраў пачаліся з 1950-х г. у АН і БДУ пад кіраўніцтвам акад. У.​І.​Крылова; асобныя пытанні вылічальнай матэматыкі распрацоўваліся і раней.

Літ.:

Березин И.С., Жидков Н.П. Методы вычислений. Т. 1. 3 изд. М., 1966;

Т. 2. 2 изд. М., 1962;

Канторович Л.В., Крылов В.И. Приближенные методы высшего анализа. 5 изд. М.; Л., 1962;

Крылов В.И. Приближенное вычисление интегралов. 2 изд. М., 1967;

Крылов В.И., Скобля Н.С. Справочная книга по численному обращению преобразования Лапласа. Мн., 1968;

Турецкий А.Х. Теория интерполирования в задачах. Мн., 1968;

Фаддеев Д.К., Фаддеева В.Н. Вычислительные методы линейной алгебры. 2 изд. М.; Л., 1963;

Янович Л.А. Приближенное вычисление континуальных интегралов по гауссовым мерам. Мн., 1976.

Л.​А.​Яновіч.

т. 4, с. 311

ЛО́ГІКА (ад грэч. 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