Verbum

ЛАПЛА́С ((Laplace) П’ер Сімон дэ) (23.3.1749, Бамон-ан-Ож, Францыя — 5.3.1827),

французскі астраном, матэматык і фізік, адзін са стваральнікаў нябеснай механікі і тэорыі імавернасці. Чл. Парыжскай АН (1785), Замежны ганаровы чл. Пецярбургскай АН (1802). З 1818 маркіз і пэр Францыі. Вучыўся ў школе бенедыкцінцаў. З 1771 праф. Ваен. школы ў Парыжы, з 1790 — старшыня Палаты мер і вагі. У 1799 міністр унутр. спраў. Навук. працы па нябеснай механіцы, касмагоніі, тэорыі імавернасцей (Лапласа тэарэма), тэорыі дыферэнцыяльных ураўненняў (Лапласа пераўтварэнне, Лапласа ўраўненне), матэм. фізіцы (Лапласа аператар), малекулярнай фізіцы (Лапласа закон), акустыцы, электрычнасці і магнетызме, оптыцы, філасофіі прыродазнаўства і інш. Распрацаваў тэорыю ўзбурэнняў нябесных цел, прапанаваў новы спосаб вызначэння іх арбіт, даказаў устойлівасць Сонечнай сістэмы ў межах вельмі працяглага часу. Выказаў гіпотэзу паходжання Сонечнай сістэмы (гіпотэза Л.), сфармуляваў прынцып мех. дэтэрмінізму, які стаў асновай метадалогіі класічнай фізікі. Актыўна садзейнічаў рэарганізацыі сістэмы вышэйшай адукацыі ў Францыі і ўкараненню ў практыку метрычнай сістэмы мер.

Тв.:

Рус. пер — Изложение системы мира. Л., 1982.

Літ.:

Воронцов-Вельяминов Б.А. Лаплас. 2 изд. М., 1985.

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

т. 9, с. 133

НЕРНСТ ((Nernst) Вальтэр Фрыдрых Герман) (25.6.1864, г. Вамбжэзьна Куяўска-Паморскага ваяв., Польшча — 18.11.1941),

нямецкі фізік і фізікахімік, адзін са стваральнікаў фізічнай хіміі. Чл. Берлінскай АН (1905), Лонданскага каралеўскага т-ва (1932). Замежны ганаровы чл. АН СССР (1926). Скончыў Вюрцбургскі ун-т (1887). З 1891 праф. Гётынгенскага ун-та, у 1902—33 праф. і адначасова дырэктар Ін-та хіміі (1905—22), Ін-та фізікі (1924—33) Берлінскага ун-та. Навук. працы па фізіцы нізкіх тэмператур, тэрмадынаміцы, тэорыі раствораў, хім. кінетыцы, электрахіміі. Сфармуляваў трэці закон тэрмадынамікі (гл. Нернста тэарэма), адкрыў адну з тэрмамагн. з’яў (гл. Нернста—Этынгсгаўзена эфект). Распрацаваў дыфузійную тэорыю гетэрагенных хім. рэакцый на мяжы падзелу фаз (1904). Атрымаў ураўненне залежнасці электроднага патэнцыялу ад тэрмадынамічнай актыўнасці ўдзельнікаў электрахім. рэакцыі (ураўненне Н., 1888). Нобелеўская прэмія 1920.

Тв.:

Рус. пер. — Теоретическая химия с точки зрения закона Авогадро и термодинамики. СПб., 1904.

Літ.:

Гельфер Я.М. История и методология термодинамики и статистической физики. 2 изд. М., 1981;

Льоцци М. История физики: Пер. с итал. М., 1970.

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

т. 11, с. 293

АПЕРА́ТАРЫ ў квантавай механіцы, матэматычныя аперацыі, якія выконваюцца над хвалевай функцыяй, што апісвае стан сістэмы. Служаць для супастаўлення з зададзенай хвалевай функцыяй (вектарам стану) ψ інш. функцыі ${\displaystyle \mathrm{\psi \prime }:\mathrm{\psi \prime }=\hat{\mathrm{L}}\mathrm{\psi }}$ , дзе $\hat{\mathrm{L}}$ — аператар, якому адпавядае фіз. велічыня L. Напр., аператар множання $\hat{\mathrm{x}}\mathrm{\psi }=\mathrm{x}$, дзе $\hat{\mathrm{x}}$ — аператар каардынаты; дыферэнцавання ${\displaystyle {\hat{\mathrm{P}}}_{\mathrm{x}}\mathrm{\psi }=-\mathrm{ih}\frac{\partial \mathrm{\psi }}{\partial \mathrm{x}}}$ , дзе ${\hat{\mathrm{P}}}_{\mathrm{x}}$ — аператар праекцыі імпульсу на вось х. Над аператарам можна выконваць алг. дзеянні, напр., здабытак $\hat{\mathrm{L}}={\hat{\mathrm{L}}}_1{\hat{\mathrm{L}}}_2$ азначае, што ${\hat{\mathrm{L}}}_{\mathrm{\psi }}=\mathrm{\psi ″}$, калі ${\hat{\mathrm{L}}}_1\mathrm{\psi }=\mathrm{\psi \prime }$ і ${\hat{\mathrm{L}}}_2\mathrm{tp\prime }=\mathrm{\psi ″}$. Яўны выгляд аператара вызначаецца ўласцівасцямі пераўтварэнняў той сіметрыі, з якой звязана матэм. фармулёўка адпаведнага закону захавання (гл. Нётэр тэарэма). Уласцівасці аператара $\hat{\mathrm{L}}$ вызначаюцца ўраўненнем $\hat{\mathrm{L}}\mathrm{\psi }={\hat{\mathrm{L}}}_{\mathrm{n}}{\mathrm{\psi }}_{\mathrm{n}}$; яго рашэнні ψ_n (уласныя функцыі) апісваюць квантавыя станы, у якіх фіз. велічыня L прымае значэнні L_n(уласныя значэнні аператара). Набор такіх значэнняў (спектр) выяўляе ўсе значэнні фіз. велічыні L, якія можна вызначыць эксперыментальна, бывае неперарыўным (напр., аператар каардынат, імпульсу), дыскрэтным (аператар праекцыі моманту імпульсу на каардынатную вось) і змешаным (аператар энергіі ў залежнасці ад характару сіл, што дзейнічаюць у сістэме; дыскрэтныя ўласныя значэнні аператара наз. ўзроўнямі энергіі). У квантавай механіцы карыстаюцца пераважна лінейнымі аператарамі і эрмітавымі аператарамі.

А.​А.​Богуш.

т. 1, с. 423

КАРНО́ ЦЫКЛ,

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

Ператварэнне цеплавой энергіі ў работу суправаджаецца пераносам рабочым рэчывам рухавіка (пара, газ і да т.п.) пэўнай колькасці цеплыні ад больш нагрэтага цела (награвальніка) з т-рай T₁, да менш нагрэтага (халадзільніка) з т-рай T₂. Ккдз цыкла η не залежыць ад прыроды рабочага рэчыва і канструкцыі рухавіка і вызначаецца толькі т-рамі T₁ і T₂: η = (T₁—T₂)/T₁ (тэарэма Карно). Ккдз кожнай цеплавой машыны не можа быць большым за ккдз К.ц. (пры тых жа T₁ і T₂). К.ц. абарачальны, і яго можна праводзіць у адваротнай паслядоўнасці (ідэальная халадзільная машына). К.ц. адыграў важную ролю ў развіцці тэрмадынамікі і цеплатэхнікі. Пры яго дапамозе даказана эквівалентнасць розных фармулёвак другога закону тэрмадынамікі, вызначана абс. тэрмадынамічная шкала т-р, выведзены многія тэрмадынамічныя суадносіны (напр., Клапейрона—Клаўзіуса ўраўненне).

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

т. 8, с. 83

ПАСКА́ЛЬ ((Pascal) Блез) (19.6.1623, г. Клермон-Феран, Францыя — 19.8.1662),

французскі матэматык, фізік і філосаф, адзін з заснавальнікаў гідрастатыкі. Атрымаў дамашнюю адукацыю, з дзяцінства выявіў выдатныя матэм. здольнасці. Навук. працы па арыфметыцы, тэорыі лікаў, алгебры, тэорыі імавернасцей, механіцы, філасофіі. Сфармуляваў метад поўнай матэм. індукцыі, знайшоў агульную прыкмету падзельнасці цэлых лікаў. Прапанаваў спосаб вылічэння бінаміяльных каэфіцыентаў (трохвугольнік П.), сфармуляваў адну з асн. тэарэм праектыўнай геаметрыі (гл. Паскаля тэарэма). Сканструяваў першую лічыльную машыну (1641 або 1642). Адкрыў адзін з асн. законаў гідрастатыкі (гл. Паскаля закон), эксперыментальна пацвердзіў існаванне атм. ціску (1648) і даказаў, што ён памяншаецца з вышынёй, выявіў гідрастатычны парадокс. З 1655 жыў у манастыры янсеністаў у Пор-Раялі. Аўтар філас. трактатаў і сатырычных твораў. Ў філас. творах развіваў думкі аб трагічнасці і кволасці чалавека, які знаходзіцца паміж двума бяздоннямі — бясконцасцю і мізэрнасцю (чалавек — «чарацінка, якая мысліць»). Шлях спасціжэння таямніц быцця і выратавання чалавека ад адчаю бачыў у хрысціянстве. Адыграў значную ролю ў фарміраванні франц. класічнай прозы. Яго імем названа мова праграмавання — паскаль і адзінка ціску — паскаль.

Тв.:

Рус. пер. — Трактат о равновесии жидкостей // Начала гидростатики. 2 изд. М.; Л., 1933;

Из мыслей // Ларошфуко Фр. де, Паскаль Б., Лабрюйер Ж. де. Суждения и афоризмы. М., 1990.

Літ.:

Стрельцова Г.Я. Блез Паскаль. М., 1979;

Тарасов Б.Н. Паскаль. 2 изд. М., 1982;

Щитцова Т.В. К истокам экзистенциальной онтологии: Паскаль, Киркегор, Бахтин. Мн., 1999.

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

т. 12, с. 162

ПРЫГО́ЖЫН ((Prigogine) Ілья Раманавіч) (н. 25.1.1917, Масква),

бельгійскі фізік і фізікахімік; адзін са стваральнікаў тэрмадынамікі нераўнаважных працэсаў. Чл. Бельгійскай каралеўскай АН (1953; у 1968—70 яе прэзідэнт). Замежны чл. Амер. акадэміі навук і мастацтваў (1960), Нац. АН ЗША (1967), Рас. АН (1982), Нац. АН Беларусі (1995) і АН многіх інш. краін свету. Бацька паходзіў з Магілёўшчыны. З 1929 у Бельгіі. Скончыў Брусельскі ун-т (1942), з 1943 працуе ў ім (з 1951 праф., з 1987 ганаровы праф.). Адначасова з 1959 дырэктар Міжнар. ін-та фізікі і хіміі імя Э.​Сальвэ (Брусель), з 1967 праф. Тэхаскага ун-та (г. Остын, ЗША) і дырэктар заснаванага ім пры гэтым ун-це Цэнтра даследавання статыст. механікі і складаных сістэм імя П. Навук. працы па тэрмадынаміцы нераўнаважных працэсаў, статыст. фізіцы, фіз. хіміі, філасофіі. Увёў паняцці вытв-сці і патоку энтрапіі, даказаў тэарэму аб скорасці вытв-сці энтрапіі (тэарэма П.; 1947). Абгрунтаваў тэрмадынамічныя суадносіны для газаў у нераўнаважным стане (1959—60). Нобелеўская прэмія 1977.

Тв.:

Рус. пер. — Введение в термодинамику необратимых процессов. М., 1960;

Неравновесная статистическая механика. М., 1964;

Конец определенности. Время, хаос и новые законы природы. Ижевск, 1999.

Літ.:

Астапчик С.А., Мартыненко О.Г. И.​Р.​Пригожин // Весці АН Беларусі. Сер. фіз.-тэхн. навук. 1992. № 4;

Великие преобразователи естествознания: Илья Пригожин: XIV междунар. чтения: Тез. докл. Мн., 1998.

М.​М.​Касцюковіч.

т. 13, с. 61

АНАЛІТЫ́ЧНАЯ ФУ́НКЦЫЯ,

функцыя, значэнне якой у кожным пункце яе вобласці вызначэння роўнае суме ступеннага шэрага, які збягаецца ў некаторым наваколлі гэтага пункта. Да аналітычнай функцыі адносяцца: рацыянальная функцыя, паказнікавая функцыя, лагарыфмічная функцыя, трыганаметрычныя функцыі, адваротныя трыганаметрычныя функцыі, іх разнастайныя кампазіцыі, а таксама функцыі, адваротныя да гэтых кампазіцый. Існуюць аналітычныя функцыі аднаго або некалькіх рэчаісных ці камплексных пераменных. Функцыя 𝑓(z) аднаго комплекснага пераменнага z=x+iy наз. аналітычнай функцыяй у пункце z₀, калі ў некаторым наваколлі h гэтага пункта існуе канечная вытворная ${\displaystyle \mathrm{f}\text{′(}\mathrm{z}\text{)}=\underset{\mathrm{h}\to 0}{\overset{}{lim}}\frac{\mathrm{f}\text{(}\mathrm{z}+\mathrm{h}\text{)}-\mathrm{f}\text{(}\mathrm{z}\text{)}}{\mathrm{h}}}$ (дыферэнцыравальнасць функцыі), што мае месца ў тым і толькі ў тым выпадку, калі выконваецца ўмова Кашы—Рымана ${\displaystyle \frac{\mathrm{d}\mathrm{t}}{\mathrm{d}\stackrel{\_}{\mathrm{z}}}=0}$ , дзе $\stackrel{\_}{\mathrm{z}}=\mathrm{x}+\mathrm{y}$. Асновы тэорыі аналітычнай функцыі былі закладзены А.​Кашы, Б.​Рыманам і К.​Веерштрасам, С.​В.​Кавалеўскай і інш. На Беларусі даследаванні па тэорыі аналітычнай функцыі пачаліся ў 1930-я г. ў БДУ (М.​В.​Ламбін, М.​Л.​Лукомская), з 1960-х г. праводзяцца ў АН, БДУ і інш. ВНУ рэспублікі (Ф.​Дз.​Гахаў, Э.​І.​Звяровіч і інш.). Аналітычныя функцыі маюць шматлікія дастасаванні ў матэм. аналізе (вылічэнне вызначаных інтэгралаў), у геаметрыі (канформныя адлюстраванні), у тэорыі пругкасці, гідрадынаміцы, электрадынаміцы і інш. навуках. Гл. таксама Кашы інтэграл, Кашы тэарэма.

Літ.:

Маркушевич А.И. Теория аналитических функций. Т. 1—2. М., 1967—68;

Шабат Б.В. Введение в комплексный анализ. Ч. 1—2. 3 изд. М., 1985;

Гахов Ф.Д. Краевые задачи. 3 изд. М., 1977.

Э.​І.​Звяровіч.

т. 1, с. 335

ІМАВЕ́РНАСЦЕЙ ТЭО́РЫЯ,

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

Зыходныя паняцці І.т. — паняцці выпадковай падзеі і яе імавернасці. Падзеі рэчаіснасці бываюць: дакладныя — заўсёды адбываюцца; немагчымыя — ніколі не адбываюцца; выпадковыя — часам адбываюцца, а часам не. З двух выпадковых падзей A і B можна ўтварыць складаныя падзеі: аб’яднанне (суму) A∪B — {адбудзецца ці A, ці B}, перасячэнне (здабытак) A∩B — {адбудуцца і A і B}, рознасць A\B — {адбудзецца A, але не адбудзецца B}. Выкарыстоўваючы гэтыя аперацыі над дзвюма ці больш падзеямі, атрымліваюць складаныя падзеі. Мяркуецца, што для кожнай выпадковай падзеі A вызначана імавернасць — лік P(A), які задавальняе ўмовам: P(A)>0; калі падзеі A і B не могуць адбыцца адначасова, тады P(A∪B) = P(A) + P(B); імавернасць дакладнай падзеі роўна 1. У прасцейшых выпадках гэтыя ўмовы відавочныя; у агульным выпадку яны прымаюцца без доказу (аксіёмы). Па фармальных (матэм.) правілах атрымліваюць шэраг тэарэм пра імавернасці складаных падзей. Калі ажыццяўленне падзеі A не залежыць ад таго, адбудзецца ці не падзея B, тады A і B — незалежныя падзеі. Імавернасць P(A∩B) сумеснага ажыццяўлення дзвюх незалежных падзей A і B роўна P(A)∙P(B). Часам, калі нават дакладна можна запісаць імавернасці пэўных выпадковых падзей, вылічыць іх цяжка. Напр., імавернасць Pn(m) таго, што ў серыі з n незалежных ажыццяўленняў выпадковай падзеі A з P(A) = p(p ≠ 0,1) яна адбудзецца m разоў, роўна C_n​^mp​^mq​^n-m, дзе C_n​^m — лік спалучэнняў з n элементаў na m, q = 1 − p. Пры вялікіх n і m для вылічэння імавернасцей тыпу Pn(m) выкарыстоўваюць лімітавыя тэарэмы: 1) калі n→∞, то $P_n\text{(}m\text{)}~\frac{1}{\sqrt{2\mathrm{\pi }npq}}{e}^{-\frac{x^2}{2}}$ пры ўмове, што $x=\frac{m-np}{\sqrt{npq}}$ застаецца ў межах фіксаванага інтэрвалу (лакальная тэарэма Муаўра—Лапласа); 2) пры кожных фіксаваных ліках a і b, (a<b), $limP\text{(}a\le \frac{m-np}{\sqrt{npq}}<b\text{)}=\frac{1}{\sqrt{2\mathrm{\pi }}}\underset{a}{\overset{b}{\int }}{e}^{-\frac{x^2}{2}}dx$ (інтэгральная тэарэма Муаўра—Лапласа). Да лімітавых тэарэм адносіцца таксама вялікіх лікаў закон, які мае важнае значэнне для філас. асэнсавання І.т. і ў дастасаваннях. Вял. ўклад у развіццё лімітавых тэарэм зрабілі П.​Л.​Чабышоў і А.​М.​Ляпуноў. Узнікненне большасці лімітавых тэарэм звязана з тэорыяй выпадковых працэсаў. На Беларусі І.т. даследуецца ў асноўным ў БДУ (Г.​А.​Мядзведзеў, Ю.​С.​Харын і інш.).

Літ.:

Гнеденко Б.В. Курс теории вероятностей. 6 изд. М., 1988;

Колмогоров А.Н. Основные понятия теории вероятностей. М.; Л., 1936;

Лоэв М. Теория вероятностей: Пер. с англ. М., 1962;

Феллер В. Введение в теорию вероятностей и ее приложения: Пер. с англ. Т. 1—2. М., 1984;

Ширяев А.Н. Вероятность. М., 1980.

В.​І.​Бернік, У.​Г.​Спрынджук.

т. 7, с. 207

МА́КСВЕЛА ЎРАЎНЕ́ННІ,

асноўныя ўраўненні класічнай макраскапічнай электрадынамікі, што апісваюць эл.-магн. з’явы ў адвольных асяроддзях і вакууме. Выведзены ў канцы 1860-х г. Дж.К.Максвелам на падставе абагульнення эмпірычных законаў эл. і магн. з’яў.

М.ў. звязваюць напружанасць эл. поля $\overrightarrow{E}$, магн. індукцыю $\overrightarrow{B}$, эл. індукцыі $\overrightarrow{D}$ і напружанасць магн. поля $\overrightarrow{H}$ з характарыстыкамі крыніц эл. і магн. палёў: шчыльнасцю эл. зарадаў і шчыльнасцю току праводнасці $\overrightarrow{j}$. У дыферэнцыяльнай форме маюць выгляд: ${\displaystyle rot\overrightarrow{E}=\text{−}\frac{\partial \overrightarrow{B}}{\partial t}}$ (1), ${\displaystyle rot\overrightarrow{H}=\overrightarrow{j}+\frac{\partial \overrightarrow{D}}{\partial t}}$ (2), ${\displaystyle div\overrightarrow{D}=\mathrm{\rho }}$ (3), ${\displaystyle div\overrightarrow{B}=0}$ (4), дзе ${\displaystyle \frac{\partial \overrightarrow{D}}{\partial t}}$ — шчыльнасць току зрушэння. М.ў. дапаўняюцца матэрыяльнымі ўраўненнямі: ${\displaystyle \overrightarrow{D}={\mathrm{\epsilon }}_0\mathrm{\epsilon }\overrightarrow{E}}$ , ${\displaystyle \overrightarrow{B}={\mathrm{\mu }}_0\mathrm{\mu }\overrightarrow{H}}$ , ${\displaystyle \overrightarrow{j}=\mathrm{\gamma }\overrightarrow{E}}$ , дзе ε₀(μ₀) — эл. (магн.) пастаянная, ε(μ) — адносная дыэлектрычная (магн.) пранікальнасць і γ — эл. праводнасць асяроддзя. М.ў. (1) выяўляе непарыўную сувязь паміж эл. і магн. палямі і выражае закон электрамагнітнай індукцыі, (2) паказвае, што крыніцай магн. поля з’яўляюцца токі праводнасці і токі зрушэння (гл. Поўнага току закон), (3) устанаўлівае, што крыніцай эл. поля з’яўляюцца эл. зарады (гл. Гаўса тэарэма), (4) паказвае на адсутнасць адасобленых крыніцы магн. поля (магн. зарадаў). М.ў. дазваляюць вызначыць асн. характарыстыкі эл.-магн. поля $\overrightarrow{E}$, $\overrightarrow{D}$, $\overrightarrow{B}$, $\overrightarrow{H}$ у кожным пункце прасторы і ў кожны момант часу, калі вядомыя Q, i, $\overrightarrow{j}$ як функцыі каардынат і часу. З М.ў. вынікае магчымасць існавання электрамагнітных хваль, якія распаўсюджваюцца ў вакууме са скорасцю святла. М.ў. адлюстроўваюць глыбокую сувязь эл. і магн. з’яў і з’яўляюцца тэарэтычнай асновай класічнай і квантавай электрадынамікі, фіз. оптыкі, тэорыі распаўсюджання эл.-магн. хваль і інш. раздзелаў электрамагнетызму.

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

т. 9, с. 544

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76