ВАРЫЯЦЫ́ЙНАЕ ЗЛІЧЭ́ННЕ,

раздзел матэматыкі, які вывучае тэорыю экстрэмуму (найбольшых ці найменшых значэнняў) функцыяналаў, залежных ад адной ці некалькіх функцый, падпарадкаваных пэўным абмежаванням. Узнікла ў 18 ст. на аснове прац. Л.Эйлера і Ж.Лагранжа як развіццё метадаў рашэння экстрэмальных задач механікі і фізікі. Першымі былі задачы аб брахістахроне, паверхнях вярчэння, знаходжанні геадэзічнай лініі і ізаперыметрычная задача (напр., знаходжанне замкнёнай плоскай лініі зададзенай даўжыні, якая абмяжоўвае найб. плошчу).

Варыяцыйнае злічэнне грунтуецца на паняцці варыяцыі (абагульненне паняцця дыферэнцыяла на выпадак функцыяналаў; адсюль назва). Гал. пытанні даследаванняў класічнага варыяцыйнага злічэння — умовы існавання і метады знаходжання экстрэмальных функцый, а таксама неабходныя і дастатковыя ўмовы, якія яны павінны задавальняць. Значны ўклад у распрацоўку і развіццё варыяцыйнага злічэння зрабілі А.Лежандр, К.Веерштрас, Д.Гільберт, ням. матэматыкі К.​Якобі, К.​Каратэадоры і інш. Абагульненнем задач класічнага варыяцыйнага злічэння з’яўляюцца задачы аптымальнага кіравання, даследаванні якіх пачаліся ў 1950-я г. (Л.​С.​Пантрагін, Р.​В.​Гамкрэлідзе, У.​Р.​Балцянскі), на Беларусі вядуцца з 1960-х г. (Р.​Габасаў і Ф.​М.​Кірылава).

Літ.:

Лаврентьев М.А., Люстерник Л.А. Курс вариационного исчисления. 2 изд. М.; Л., 1950;

Янг Л. Лекции по вариационному исчислению и теории оптимального управления: Пер. с англ. М., 1974.

В.​В.​Гарохавік.

т. 4, с. 20

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

АНАЛІТЫ́ЧНАЯ МЕХА́НІКА,

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

Галаномная сістэма (мех. сувязі залежаць толькі ад каардынат і часу) у патэнцыяльным полі характарызуецца функцыяй Лагранжа L = T U , дзе T — кінетычная і U — патэнцыяльная энергія сістэмы. Калі вядома канкрэтная залежнасць L=L(q,,t), дзе q — абагульненыя каардынаты, = dq dt — абагульненыя скорасці, t — час, то пры дапамозе прынцыпу найменшага дзеяння можна знайсці дыферэнцыяльныя ўраўненні руху мех. сістэмы. Іх інтэграванне пры зададзеных пачатковых умовах дазваляе вызначыць закон руху сістэмы, г.зн. залежнасці qi=qi(t), дзе i=1, 2, ..., S, S — лік ступеняў свабоды.

Асн. Палажэнні аналітычнай механікі распрацаваў Ж.​Лагранж (1788), значны ўклад зрабілі У.​Гамільтан, М.​В.​Астраградскі, П.​Л.​Чабышоў, А.​М.​Ляпуноў, М.​М.​Багалюбаў, А.​Ю.​Ішлінскі і інш. Метады аналітычнай механікі далі магчымасць выявіць сувязь паміж асн. паняццямі механікі, оптыкі і квантавай механікі (оптыка-мех. аналогіі). Абагульненне варыяцыйных прынцыпаў механікі на неперарыўныя квантава-рэлятывісцкія сістэмы склала матэм. аснову тэорыі поля. Дасягненні аналітычнай механікі садзейнічалі развіццю балістыкі, нябеснай механікі, тэорыі ўстойлівасці, тэорыі аўтам. кіравання і інш.

Літ.:

Кильчевский Н.А. Курс теоретической механики. Т. 2. М., 1977.

А.​І.​Болсун.

т. 1, с. 334

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

МАСТА́ЦКІ ВО́БРАЗ,

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

Літ.:

Выготский Л.С. Психология искусства. 2 изд. М., 1968;

Горанов К. Художественный образ и его историческая жизнь: Пер. с болг. М., 1970;

Гачев Г.Д. Жизнь художественного сознания: Очерки по истории образа. М., 1972;

Храпченко М.Б. Горизонты художественного образа // Контекст, 1980. М., 1981;

Малахов В.А. Искусство и человеческое мироотношение. Киев, 1988;

Малинина Н.Л. Диалектика художественного образа. Владивосток, 1989;

Салеев В.А. Искусство и его оценка. Мн., 1977;

Яго ж. Нацыянальная самасвядомасць і мастацкая культура. Мн., 1990;

Яковлев Е.Г. Художник: личность и творчество. М., 1991;

Махлина С.Т. Язык искусства в контексте культуры. СПб., 1995;

Лихачев Д.С. Очерки по философии художественного творчества. СПб., 1996.

В.​А.​Салееў.

т. 10, с. 195

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

ПАНЯ́ЦЦЕ,

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

Тэрмін «П.» ўведзены стоікамі (3—2 ст. да н.э.). Паводле Зянона з Кітыёна, П. — спасцігнутае ўяўленне. Разгорнутая канцэпцыя П. змешчана ў творах Платона. Дэмакрыт звязваў П. з пачуццёвымі рэчамі, Платон лакалізаваў яго ў сферы мыслення і свеце ідэй, Арыстоцель развіў яго і прадставіў у выглядзе сістэмы П. У сярэднявеччы дыскусіі вакол прыроды П. праявіліся ў барацьбе наміналізму і рэалізму. У канцы 17 — пач. 18 ст. развівалася эмпірычная тэорыя П. (Дж.​Лок і інш.). Прадстаўнікі класічнай ням. філасофіі (І.​Кант. І.​Фіхтэ, Ф.​Шэлінг, асабліва Г.​Гегель) раскрылі супярэчлівы характар мыслення, паказалі абстрактнасць і канкрэтнасць П., яго арганічную цэльнасць і працэсуальнасць.

Літ.:

Ильенков Э.В. Философия и культура. М., 1991;

Гегель Г.В.Ф. Система наук. Ч. 1. Феноменология духа. СПб., 1994;

Риккерт Г. Границы естественнонаучного образования понятий: Логич. введение в ист. науки. СПб., 1997.

Т.​І.​Адула.

т. 12, с. 60

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

паня́цце, ‑я, н.

1. Адна з форм адлюстравання свету ў мысленні чалавека, якая ўзнікае як вылучэнне і абагульненне прадметаў пэўнага класа. // Разуменне, якое адлюстроўвае найбольш агульныя істотныя ўласцівасці, сувязі і адносіны прадметаў і з’яў аб’ектыўнай рэчаіснасці. Паняцце трохвугольніка. Паняцце прыбавачнай вартасці. □ У паняцце «беларуская мова» ўваходзіць як беларуская літаратурная мова, так і народная мова ва ўсёй сукупнасці яе разнастайных гаворак. Юргелевіч.

2. Уяўленне аб чым‑н.; веданне чаго‑н. Кожная вышывальшчыца павінна мець паняцце аб колерах. Данілевіч. // звычайна мн. (паня́цці, ‑яў). Сукупнасць поглядаў на што‑н.; ўзровень разумення чаго‑н. Па вобразу жыцця і па паняццях земляробчы клас усёй Заходняй Еўропы прадстаўляе як бы адно цэлае. Лушчыцкі. // Разм. Здольнасць разабрацца ў чым‑н.; разуменне, меркаванне. [Дзед Сымон:] — Я вось так гляджу: павінен чалавек да ўсяго мець паняцце. Лынькоў.

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

ГАГЕ́Н ((Gauguin) Эжэн Анры Поль) (7.6.1848, Парыж — 8.5.1903),

французскі жывапісец, графік, скульптар. У юнацтве служыў мараком, у 1871—83 — біржавым клеркам у Парыжы. З 1870-х г. пачаў самаст. займацца жывапісам, карыстаўся парадамі К.Пісаро. Працаваў у Понт-Авене (Брэтань), Арлі (разам з В. ван Гогам): «Ave Maria» (1887), «Прывід пасля пропаведзі», «Старыя дзеўкі» (абедзве 1888), «Брэтонскія могілкі» (1889). Пошукі сродкаў на існаванне і месца ў жыцці нарадзілі мару аб трапіканскай ідыліі — «майстэрні тропікаў», у 1891—94 Гаген з’ехаў на в-аў Таіці, дзе імкнуўся знайсці культурную глебу, стварыць выяўл. міфалогію астравіцян («А, ты раўнуеш?», 1892; «Таіцянскія пастаралі», 1893; «Цудоўная крыніца», 1894). Творы таго перыяду вылучаюцца непасрэднасцю, узаемапранікненнем старажытнасці і сучаснасці, рэліг. традыцый Захаду і Усходу, павышанай дэкаратыўнасцю. Пасля кароткачасовага вяртання ў Францыю (1893—95) Гаген назаўсёды пасяліўся на а-вах Акіяніі. Творчасць 2-га таіцянскага перыяду (1895—1903) набліжаецца да сімвалізму і прыводзіць Гагена і групу мастакоў, якія працавалі пад яго ўплывам (т.зв. понт-авенская школа), да ўзнікнення адмысловай жывапіснай сістэмы — т.зв. «сінтэтызму» (спрашчэнне і абагульненне формаў і ліній і г.д.). Гаген імкнуўся ўвасобіць сваю утапічную мару аб жыцці чалавека ў гармоніі з прыродай, удалечыні ад цывілізаванага грамадства («Жонка караля», 1896; «Збор пладоў», 1899). Карціны Гагена падобныя на пано па плоскаснасці, дэкаратыўнасці колеру, манументальнасці кампазіцыі, абагульненасці стылізаванага малюнка, мелі рысы стылю мадэрн. Яго творчасць істотна паўплывала на майстроў групы «Набі» і жывапісцаў пач. 20 ст.

Літ.:

Даниельсон Б. Гоген в Полинезии. М.; Л., 1969;

Перрюшо А. Жизнь Гогена: Пер. с фр. М., 1989.

Н.​М.​Усава.

П.Гаген. Ave Maria. 1887.
П.Гаген. Аўтапартрэт. 1897.

т. 4, с. 418

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

ДАПАЎНЯ́ЛЬНАСЦІ ПРЫ́НЦЫП,

метадалагічны прынцып, прапанаваны Н.Борам (1927) у сувязі з неабходнасцю стварэння лагічна несупярэчлівай фіз. інтэрпрэтацыі квантавай механікі; метадалагічнае абагульненне неазначальнасцей суадносін.

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

Літ.:

Крымский С.Б., Кузнецов В.И. Мировоззренческие категории в современном естествознании. Киев, 1983;

Дополнительность и методология научного познания // Нильс Бор и наука XX в.: Сб. науч. тр. Киев, 1988;

Мировоззренческие структуры в научном познании. Мн., 1993.

Л.​М.​Тамільчык, А.​В.​Ягораў.

т. 6, с. 50

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

МНО́СТВАЎ ТЭО́РЫЯ,

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

Заснавана Г.Кантарам, які ўвёў паняцці магутнасці мноства, даказаў незлічонасць мноства рэчаісных лікаў, сфармуляваў паняцце актуальна бясконцага (гл. Бесканечнае і канечнае, Бесканечнасць). Паняцце мноства належыць да першапачатковых матэм. паняццяў, яго можна тлумачыць толькі на прыкладах. Адно з асн. паняццяў М.т. — паняцце прыналежнасці элемента дадзенаму мноству. Мноства лічыцца зададзеным, калі зададзена характарыстычная ўласцівасць яго элементаў; а калі дадзенай уласцівасці не мае ні адзін з элементаў, то гавораць, што такая ўласцівасць вызначае пустое мноства. Напр., мноства рэчаісных каранёў ураўнення х​2 = -1 з’яўляецца пустым. Магчымасць колькаснай параўнальнай ацэнкі мностваў грунтуецца на паняцці ўзаемна адназначнай адпаведнасці (біекцыі) паміж 2 мноствамі: мноствы X і Y з’яўляюцца роўнамагутнымі (эквівалентнымі), калі паміж іх элементамі вызначана ўзаемна адназначная адпаведнасць. Бясконцыя мноствы, роўнамагутныя мноству ўсіх цэлых лікаў, наз. злічонымі (напр., мноства рацыянальных лікаў). Мноства ўсіх рэчаісных лікаў мае магутнасць (абагульненне паняцця ліку элементаў), большую за магутнасць злічонага мноства, і яго магутнасць наз. магутнасцю кантынуума. Значны ўклад у развіццё М.т. зрабілі рас. матэматыкі Дз.​Ф.​Ягораў, М.​М.​Лузін, П.​С.​Аляксандраў, А.​М.​Калмагораў, П.​С.​Новікаў, амер. матэматык П.​Дж.​Коэн.

Літ.:

Бурбаки Н. Теория множеств: Пер. с фр. М., 1965;

Коэн П.​Дж. Теория множеств и континуум-гипотеза: Пер. с англ. М., 1969;

Александров П.С. Введение в теорию множеств и общую топологию. М., 1977.

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

т. 10, с. 502

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

МІ́ЛАШ ((Miłosz) Чэслаў) (н. 30.6.1911, Шацейняй, Літва),

польскі паэт, эсэіст, перакладчык. Чл. Польскай АН у Кракаве (з 1992). Скончыў Віленскую гімназію (1929) і Віленскі ун-т (1934), вывучаў л-ру ў Парыжы (1934—35). Працаваў на польск. радыё ў Вільні і Варшаве. У 1945—51 на дыпламат. рабоце ў ЗША і Францыі, застаўся ў эміграцыі. З 1960 жыве ў ЗША. Праф. славістыкі Каліфарнійскага ун-та ў Берклі (1961—78). Дэбютаваў як паэт у 1930. Піша на польск., англ., франц. мовах. У «Паэме пра застылы час» (1933), зб. «Тры зімы» (1936) прадчуванне катастрофы, здольнай знішчыць прыроду і чалавечую цывілізацыю, у зб. «Выратаванне» (1945) матыў маральнай адказнасці і еднасці паэта з лёсам нацыі. Яго паэзіі ўласцівы інтэлектуальнае багацце, філас. абагульненне, пошук нетрадыц. форм. Спалучэнне сімвалічна-эстэт. бачання свету з канкрэтна-пачуццёвай вобразнасцю, разумовасці з лірызмам, пафасу з іроніяй у паэт. зб-ках «Дзённае святло» (1953), «Горад без імя» (1969), «Дзе ўзыходзіць сонца і дзе садзіцца» (1974), «Неабдымная зямля» (1984), «На беразе ракі» (1994) і інш. Аўтар кн. эсэ «Зняволены розум» (1951—53), «Кантыненты» (1958; уключаны вершы і пераклады), «Радзіма — Еўропа» (1959), «Зямля Ульра» (1977), успамінаў «Год паляўнічага» (1990), паліт. рамана «Здабыццё ўлады» (1953), аповесці «Даліна Ісы» (1955, экранізацыя 1982) і інш. Кн. эсэ «Пошук бацькаўшчыны» (1992) звязана з гісторыяй зямель Літвы, Беларусі, Украіны і Польшчы. Перакладаў на польск. мову англ., франц., ісп. паэзію (зб. «Вершаваная форма», 1986), кнігі Старога і Новага запаветаў, а таксама польск. паэзію на англ. мову. Аўтар «Гісторыі польскай літаратуры» (1969). На бел. мову асобныя творы М. пераклалі Ю.​Бушлякоў, А.​Мінкін, А.​Разанаў, А.​Хадановіч, Я.​Чыквін. Нобелеўская прэмія 1980.

Тв.:

Бел. пер. — Вершы // Далягляды, 92. Мн., 1992;

Сведчанне паэзіі: Паэты і сям’я людзей;

Лекцыя біялогіі;

Вершы // Крыніца. 1997. № 7.

Літ.:

Gorczyńska R. (Czarniecka E.) Podróżny świata: Rozmowy z Czesławem Miłoszem: Komentarze. Kraków, 1992;

Fiut A Moment wieczny: Poezja Czesława Miłosza. Warszawa, 1993.

С.​Дз.​Малюковіч.

Ч.Мілаш.

т. 10, с. 369

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

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76

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