Verbum

ІВАНО́Ў (Аляксандр Васілевіч) (19.2.1919, Масква — 24.12.1964),

бел. матэматык. Д-р тэхн. н. (1958), праф. (1962). Скончыў Маскоўскі пед. ін-т (1941). З 1957 у Ін-це энергетыкі, з 1959 у Ін-це матэматыкі і выліч. тэхнікі АН БССР. Адначасова выкладаў у БДУ. Навук. працы па аналіт. тэорыі цеплаправоднасці, канечных інтэгральных пераўтварэннях, аперацыйным вылічэнні.

Тв.:

Операционный метод в задачах теплопроводности и тепло- и массопереноса // Теплофизика в литейном производстве. М., 1963.

т. 7, с. 150

ГРЫ́МІЯ (Grimmia),

род брыевых імхоў сям. грыміевых. Вядома больш за 200 відаў. На Беларусі 5 відаў. Часцей трапляюцца грымія Мюленбека (G. muehlenbeckii) і грымія падушкападобная (G. pulvinata). Растуць на камянях і скалах, садзейнічаюць выветрыванню горных парод. Здольныя вытрымліваць працяглае высыханне.

Утвараюць зялёныя, чорна-зялёныя, шараватыя ад канечных лісцевых валаскоў падушачкі або дзярнінкі. Сцябло прамастойнае ці ўзыходнае, вышынёй 0,5—3 (зрэдку да 10) см, вілавата-кусцістаразгалінаванае. Лісце ад яйцападобнага да лінейна-ланцэтнага, з жылкай і звычайна з бясколерным канцавым зубчастым валаском. Каробачка са спорамі на прамой або дугападобнай ножцы.

т. 5, с. 481

БО́ГУШ (Андрэй Аляксандравіч) (н. 11.7.1925, г.п. Карэлічы Гродзенскай вобл.),

бел. фізік-тэарэтык. Чл.-кар. АН Беларусі (1994), д-р фіз.-матэм. н. (1975), праф. (1983). Скончыў БДУ. З 1957 у Ін-це фізікі АН Беларусі, адначасова з 1961 выкладае ў БДУ. Навук. працы па тэорыі элементарных часціц, фізіцы высокіх энергій і матэм. фізіцы. Распрацаваў агульную методыку канечных пераўтварэнняў геам., дынамічнай і квантавай сіметрыі, метад абагульненых сімвалаў Кронекера. Сфармуляваў паслядоўную класічную палявую тэорыю электраслабых узаемадзеянняў. Аўтар вучэбных дапаможнікаў «Уводзіны ў калібровачную палявую тэорыю электраслабых узаемадзеянняў» (1987) і «Нарысы па гісторыі фізікі мікрасвету» (1990). Дзярж. прэмія Беларусі 1988.

Тв.:

Введение в теорию классических полей. Мн., 1968 (разам з Л.Р.Марозам);

Введение в полевую теорию элементарных частиц. Мн., 1981.

т. 3, с. 202

ГРУП ТЭО́РЫЯ,

раздзел алгебры, які вывучае ўласцівасці алгебраічных аперацый, што найчасцей сустракаюцца ў матэматыцы і яе дастасаваннях; выкарыстоўваецца таксама ў фізіцы і інш. раздзелах навукі (асабліва пры вывучэнні ўласцівасцей сіметрыі). Канчатковая мэта груп тэорыі — апісаць усе магчымыя групавыя аперацыі (гл. Група). Асновы груп тэорыі закладзены Э.Галуа (1831).

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

У Беларусі сістэм. даследаванні па груп тэорыі пачалі Дз.А.Супруненка (1945; групы падстановак і матрыц), С.А.Чуніхін (1953; канечныя групы); зараз даследаванні вядуцца пад кіраўніцтвам У.П.Платонава (тапалагічныя і лінейныя алг. групы, мнагастайнасці груп), Л.А.Шамяткова (тэорыя фармацый), А.Я.Залескага (выяўленні лінейных алг. груп).

Літ.:

Платонов В.П., Рапинчук А.С. Алгебраические группы и теория чисел. М., 1991;

Супруненко Д.А. Группы подстановок. Мн., 1996;

Шеметков Л.А. Формации конечных групп. М., 1978.

Р.Т.Вальвачоў.

т. 5, с. 466

МЕТАМАТЭМА́ТЫКА (ад мета... + матэматыка),

раздзел матэматычнай логікі, у якім вывучаюцца асновы матэматыкі, структура і заканамернасці матэм. доказаў з дапамогай фармальных метадаў. Тэрмін «М.» ўвёў Д.Гільберт для абазначэння тэорыі, якая аналізуе структуру і ўласцівасці фармальных сістэм. У шырокім сэнсе — метатэорыя матэматыкі.

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

Састаўная частка прадмета М. — даследаванне фармалізаваных матэм. тэорый, выкладзеных у выглядзе сімвалічных моў, і вывучэнне саміх гэтых моў. Мноства канечных паслядоўнасцей з аперацыямі над імі таксама могуць быць аб’ектамі матэм. даследавання. Гэта абумоўлівае выкарыстанне ў М. метадаў алгебры (гл. Булева алгебра), тэорыі мностваў і тапалогіі. Шырока выкарыстоўваецца ў М. гёдэлеўскі метад арыфметызацыі метатэорыі і тэорыя рэкурсіўных функцый. У больш вузкім сэнсе да М. (у адрозненне ад металогікі) адносяць пытанні сінтаксісу, прадметнай матэм. тэорыі (гл. Сінтаксіс у логіцы); семантыку вылучаюць у якасці самаст. галіны даследавання (гл. Семантыка лагічная).

Літ.:

Клини С.К. Введение в метаматематику: Пер. с англ. М., 1957;

Расёва Е., Сикорский Р. Математика метаматематики: Пер. с англ. М., 1972;

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

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

т. 10, с. 308

БУДАЎНІ́ЧАЯ МЕХА́НІКА,

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

Асновы будаўнічай механікі выкладзены ў 18—19 ст. у працах Л.Эйлера, Ж.Лагранжа, Дз.І.Жураўскага, У.Р.Шухава і інш. На розных этапах развіцця будаўнічай механікі метады разліку збудаванняў вызначаліся ўзроўнем развіцця матэматыкі, механікі, супраціўлення матэрыялаў і інш. У 2-й пал. 20 ст. выкарыстанне ЭВМ дало магчымасць укараніць эфектыўныя метады разлікаў; статыстычных выпрабаванняў, канечных элементаў, варыяцыйна-рознаснага і інш. Вельмі важныя даныя будаўнічай механікі пры ўзвядзенні сейсмаўстойлівых і вышынных будынкаў.

На Беларусі даследаванні па пытаннях будаўнічай механікі праводзіліся ў 1920-я г. ў БСГА А.А.Краўцовым, у 1935—41 у БПІ М.В.Венядзіктавым, І.Р.Прытыкіным, у 1938—41 у Бел. лесатэхн. Ін-це М.М.Рудзіцыным, вядуцца ў Бел. політэхн. акадэміі, Бел. тэхнал. ун-це, Брэсцкім політэхн. ін-це, Полацкім ун-це, Бел. ун-це транспарту, НДІ буд-ва і архітэктуры. Удасканалены метады і алгарытмы аптымізацыі расходу матэрыялаў на шарнірна-стрыжнёвыя, вісячыя і камбінаваныя сістэмы (Л.І.Коршун, П.У.Аляўдзін, Р.І.Фурунжыеў, І.С.Сыраквашка). Даследаваны пытанні статыкі і дынамікі нелінейна дэфармаваных шарнірна-стрыжнёвых і вісячых сістэм (Я.М.Сідаровіч), устойлівасці стрыжнёвых сістэм (А.Ф.Анішчанка, С.С.Макарэвіч, Л.С.Турышчаў). Праведзены статычныя разлікі рамаў, пласцін, абалонак, труб (А.А.Краўцоў, А.А.Кручкоў, Л.Ф.Беразоўскі, Г.А.Герашчанка, А.А.Чэча). Вырашаны шэраг кантактавых задач прыкладной тэорыі пругкасці (С.М.Ягалкоўскі, С.В.Басакоў), прапанаваны метады электроннага мадэлявання нелінейных задач будаўнічай механікі і прыкладной тэорыі пругкасці (У.М.Аўсянка).

т. 3, с. 310

ГРУ́ПА,

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

Групай наз. непустая сукупнасць элементаў (мноства) G, на якой зададзена алг. аперацыя *, што задавальняе ўмовам: аперацыя асацыятыўная a*(b*c)=(a*b)*c для ўсіх a*b*c з G; для любога элемента a з G існуе нейтральны элемент n, для якога a*n=n*a=a; для любога элемента a з G існуе адваротны элемент x, для якога a*x=x*а=n. Напр., мноства ўсіх цэлых лікаў адносна аперацыі складання; сукупнасць падстановак мноства X, калі пад здабыткам 2 падстановак разумець вынік іх паслядоўнага выканання для любога x з X. Частка элементаў групы G, што сама ўтварае групу адносна групавой аперацыі ў G, наз. падгрупай (напр., мноства ўсіх цотных лікаў — падгрупа групы цэлых лікаў). Група наз. канечнай (бясконцай), калі мноства G мае канечную (бясконцую) колькасць элементаў. Гл. таксама Груп тэорыя.

Р.Т.Вальвачоў.

т. 5, с. 466

ДЫФЕРЭНЦЫЯ́ЛЬНЫЯ ЎРАЎНЕ́ННІ,

ураўненні, якія змяшчаюць невядомыя функцыі, іх вытворныя любых парадкаў і незалежныя пераменныя. Уведзены ў матэматыку І.Ньютанам і Г.Лейбніцам. Іх сістэматычнае вывучэнне пачаў Л.Эйлер. У 19 ст. Д.ў. сталі самастойнай матэм. дысцыплінай. Заснавальнікі сучаснай тэорыі Д.у. — А.М.Ляпуноў, У.А.Сцяклоў і інш.

Змена масы т радыеактыўнага рэчыва з каэфіцыентам распаду k за прамежак часу dt выражаецца Д.у. dm = kmdt (1). Тэмпература U = U(x, y, z), што ўстанавілася ў кожным пункце (x, y, z) цела, на мяжы якога падтрымліваецца зададзены цеплавы рэжым, задавальняе Д.ў. $\frac{{\partial }^{2}U}{\partial x^2}+\frac{{\partial }^{2}U}{\partial y^2}+\frac{{\partial }^{2}U}{\partial z^2}=0$ (2).

Д.ў. віду (1) — звычайнае Д.ў. (змяшчае функцыю аднаго пераменнага), віду (2) — Д.ў. ў частковых вытворных (змяшчае вытворныя невядомай функцыі па розных пераменных). Парадак Д.ў. вызначаецца вытворнай самага высокага парадку ў гэтым ўраўненні Кожнае Д.ў. вызначае адразу цэлую сям’ю рашэнняў, залежную ад лікавых ці функцыянальных параметраў; яно выражае некаторы агульны закон, якому падпарадкоўваецца мноства канкрэтных працэсаў. Для вылучэння асобнага працэсу задаюць дадатковыя ўмовы, найчасцей — краявыя (пачатковыя і гранічныя). Для рашэння (1) задаецца пачатковае значэнне — маса m(0) = m₀. Рашэнне (2) вызначаецца, напр., гранічнымі значэннямі — размеркаваннем тэмпературы на паверхні цела. Звычайнае лінейнае Д.ў. або сістэму гэтых Д.у. увядзеннем дапаможнай функцыі можна запісаць у выглядзе x′ = P(t)x + φ(t), дзе P — матрыца каэфіцыентаў, φ — вектар свабодных членаў, x = x(t) — вектар-функцыя. Калі Y — квадратычная матрыца, якая складаецца з незалежных рашэнняў адпаведнай аднароднай сістэмы (φ ≡ 0), а x* — адно з рашэнняў прыведзенага Д.ў., тады ўсе яго рашэнні дае формула x = x* + Yc, дзе c — адвольны пастаянны вектар. У шэрагу выпадкаў, напр. пры пастаяннай P, пабудова x* і Y зводзіцца да алгебраічных аперацый і інтэгравання. Існуюць і нелінейныя Д.ў., якія рашаюцца з дапамогай канечнага ліку прасцейшых аналітычных аперацый. Напр., калі M_y′= M_x′ тады ўсе рашэнні M(x,y)dx + N(x,y)dy = 0 дае формула ∫M(x,y)dx + N(x,y)dy = c, дзе c — адвольная пастаянная. Калі Д.ў. зададзена з дапамогай аналітычных функцый, тады рашэнне выяўляецца таксама аналітычнай функцыяй, раскладаецца ў ступенны рад каля кожнага неасаблівага пункта і знаходзіцца метадам неакрэсленых каэфіцыентаў. Вызначэнне рашэння Д.ў. ці сістэмы Д.у. x′ = ƒ(t,x) з зададзенай пачатковай умовай x(t₀) = x₀ раўназначнае рашэнню інтэгральных ураўненняў тыпу: $x\text{(}t\text{)}=x_0+\underset{t_0}{\overset{t}{\int }}ƒ\text{[}s,x\text{(}s\text{)}\text{]}ds$ (3). Калі ƒ неперарыўная функцыя, то (3) мае хоць бы адно рашэнне. Калі, акрамя гэтага, неперарыўная ƒ′_x, то рашэнне (3) адзінае і яго можна знайсці з дапамогай ітэрацый. Метад ітэрацый разам з метадам раздзялення пераменных, з метадам малога параметра і інш. ўжываецца і пры рашэнні Д.ў. з частковымі вытворнымі. Прыбліжанае рашэнне Д.ў. атрымліваюць, замяняючы ў Д.у. вытворныя адносінамі прырашчэнняў і пераходзячы да ўраўненняў у канечных рознасцях. Тэорыя Д.ў. выкарыстоўваецца ў варыяцыйным злічэнні, у тэорыі аптымальных працэсаў, у тэорыі кіравання рухам і ў большасці раздзелаў прыкладной матэматыкі. Вывучэнне краявых задач для Д.у. з частковымі вытворнымі — гал. частка матэм. фізікі.

На Беларусі развіццё тэорыі Д.у. звязана з імем М.П.Яругіна; распрацоўка новых раздзелаў тэорыі Д.у., арыентаваных на тэорыю кіравання, пачата ў 1966 Я.А.Барбашыным. Даследаванні па Д.у. вядуцца ў Ін-це матэматыкі Нац. АН Беларусі, БДУ і інш. (І.В.Гайшун, М.А.Лзобаў, Э.І.Груда, Ф.М.Кірылава, В.І.Карзюк і інш.). У Мінску выдаецца міжнар. навуковы час. «Дифференциальные уравнения».

Літ.:

Еругин Н.П. Книга для чтения по общему курсу дифференциальных уравнений. 3 изд. Мн., 1979;

Яго ж. Линейные системы обыкновенных дифференциальных уравнений с периодическими и квазипериодическими коэффициентами. Мн., 1963;

Барбашин Е.А. Введение в теорию устойчивости. М., 1967.

Ю.С.Багданаў, М.А.Ізобаў.

т. 6, с. 301

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