Verbum

ПРАЕКТЫ́ЎНАЯ ПРАСТО́РА,

эўклідава прастора, дапоўненая бясконца аддаленымі (няўласнымі) пунктамі, прамымі і плоскасцю. У больш агульным сэнсе П.п. — сукупнасць трох мностваў элементаў (пунктаў, прамых і плоскасцей), якія падпарадкоўваюцца патрабаванням аксіём праектыўнай геаметрыі.

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

т. 12, с. 541

АРГУМЕ́НТ (лац. argumentum),

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

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

У.​К.​Лукашэвіч.

т. 1, с. 474

ПАСТУЛА́Т (ад лац. postulatum патрабаванне),

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

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

П.​С.​Габец.

т. 12, с. 173

БУРБАКІ́ (Нікала) (Bourbaki Nicolas),

псеўданім групы франц. матэматыкаў. У групу, створаную ў 1937, аб’ядналіся выпускнікі Вышэйшай нармальнай школы (А.​Картан, А.​Вейль, Ж.​Дзьеданэ і інш.), аднак колькасць удзельнікаў і поўны склад групы не абвешчаны. Выступаюць у друку, на кангрэсах і з’ездах ад імя адной асобы. Бурбакі паставілі перад сабой мэту стварыць трактат «Элементы матэматыкі», які ахапіў бы гал. раздзелы сучаснай матэматыкі на аснове фармальнага аксіяматычнага метаду.

За 1939—77 Бурбакі ў Францыі выдадзена больш за 40 твораў, значная частка якіх перакладзена на інш. мовы. Выкладанне матэм. тэорыі мае абстрактны і фармалізаваны характар, даецца толькі іх лагічны каркас. Аснова выкладання — т.зв. структуры, вызначаныя паводле аксіём. Спосаб разважання — ад агульнага да асобнага. Самыя істотныя вынікі атрыманы ў тапалогіі, тапалагічнай алгебры, алг. геаметрыі, тэорыі функцый многіх камплексных пераменных, тэорыі алг. лікаў і функцыянальным аналізе.

Тв.:

Рус. пер. — Очерки по истории математики. М., 1963;

Начала математики. Ч. 1, кн. 1. Теория множеств. М., 1965;

Общая топология: Тополог. группы... М., 1969.

т. 3, с. 347

БУ́ЛЕВА А́ЛГЕБРА,

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

Логікавая функцыя n булевых аргументаў прымае значэнні 0 і 1, азначаецца праўдзіваснай табліцай або аналітычнай залежнасцю ад элементарных логікавых функцый. Вызначана 16 элементарных функцый: кан’юнкцыі (логікавае множанне; аперацыя «І»), дыз’юнкцыі (складанне; «АБО»), інверсіі (адмаўленне; «НЕ»), эквівалентнасці (тоеснасць), складання па модулі 2 (выключальнае «АБО») і інш. Функцыйна поўная сістэма логікавых функцый — сукупнасць функцый, дастатковая для выражэння логікавай функцыі любой складанасці, напр., аперацыя Пірса, аперацыя Шэфера. Мінімізацыя логікавых функцый праводзіцца з мэтай упарадкавання і спрашчэння складаных функцый з дапамогай аксіём булева алгебры, картаў Карно, метадаў Квайна і Мак-Класкі і інш.

Булева алгебра з’яўляецца логікавай асновай функцыянальнай арганізацыі лічбавых ЭВМ; элементарныя логікавыя функцыі рэалізаваны ў спец. інтэгральных мікрасхемах для ЭВМ.

Літ.:

Янсен Й. Курс цифровой электроники: Пер. с голланд.: В 4 т. Т. 1. М., 1987.

А.​С.​Кабайла.

т. 3, с. 330

ГЕАМЕ́ТРЫЯ (ад геа... + ...метрыя),

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

Асн. паняцці геаметрыі (лінія, паверхня, пункт, цела геаметрычнае) узніклі ў выніку абстрагавання ад інш. уласцівасцей цел (напр., масы, колеру). Параўнанне цел абумовіла ўзнікненне паняццяў даўжыні, плошчы, аб’ёму, меры вугла. Самыя простыя геам. звесткі і паняцці былі вядомы ў стараж. Егіпце, Вавілоне, Кітаі, Індыі; геам. палажэнні фармуляваліся ў выглядзе правіл з элементарнымі доказамі або без доказаў. Самастойнай навукай геаметрыя стала ў Стараж. Грэцыі (5 ст. да н.э.); геаметрыя ў аб’ёме, які прыкладна адпавядае сучаснаму курсу элементарнай геаметрыі, выкладзена ў «Пачатках» Эўкліда (3 ст. да н.э.). Развіццё астраноміі і геадэзіі прывяло да стварэння плоскай (гл. Трыганаметрыя) і сферычнай трыганаметрыі (1—2 ст. да н.э.). Інтэнсіўнае развіццё геаметрыі пачынаецца з 17 ст.: Р.Дэкарт прапанаваў метад каардынат; І.Ньютан і Г.Лейбніц стварылі дыферэнцыяльнае і інтэгральнае злічэнне, што дало магчымасць вывучаць геам. аб’екты метадамі алгебры і аналізу бясконца малых (гл. Алгебраічная геаметрыя, Аналітычная геаметрыя, Дыферэнцыяльная геаметрыя); Ж.Дэзарг і Б.Паскаль заклалі асновы праектыўнай геаметрыі. У працах Г.Монжа (18 ст.) сучасны выгляд набыла нарысоўная геаметрыя. У 1826 М.А.Лабачэўскі пабудаваў геаметрыю на аснове сістэмы аксіём, якія адрозніваюцца ад эўклідавай толькі аксіёмай аб паралельных прамых (гл. Лабачэўскага геаметрыя). Стала магчымым будаванне разнастайных прастораў з рознымі геаметрыямі (гл., напр., Неэўклідавы геаметрыі), сістэматызацыя якіх магчыма з дапамогай груп тэорыі. Пасля гэтага павялічылася роля і пашырылася выкарыстанне аксіяматычнага метаду. У 1872 Ф.Клейн сфармуляваў новае тлумачэнне геаметрыі як навукі аб уласцівасцях, інварыянтных адносна зададзенай групы пераўтварэнняў. Паралельна развіваўся логікавы аналіз асноў геаметрыі, высвятляліся пытанні несупярэчлівасці, мінімальнасці і паўнаты сістэмы аксіём. Вынікі гэтых работ падвёў Д.Гільберт у кн. «Асновы геаметрыі» (1899). У працах сав. матэматыкаў П.​С.​Аляксандрава, Л.​С.​Пантрагіна, П.​С.​Урысона развіваліся асн. кірункі тапалогіі. Кірунак «Геаметрыя ў цэлым» заснавалі сав. матэматыкі А.​Д.​Аляксандраў, М.​У.​Яфімаў, А.​Б.​Пагарэлаў.

На Беларусі станаўленне геаметрыі пачалося ў 1930-я г. Атрыманы важныя вынікі ў праблеме ўкладання рыманавых прастораў у эўтслідавы і рыманавы прасторы (Ц.Л.Бурстын); метадамі вонкавых форм даследаваны лініі і паверхні Картана ў неэўклідавых прасторах (Л.​К.​Тутаеў); адкрыты клас аднародных прастораў і распрацавана іх тэорыя (В.​І.​Вядзернікаў, А.​С.​Фядзенка, Б.​П.​Камракоў).

Літ.:

Александров А.Д., Нецветаев Н.Ю. Геометрия. М., 1990;

Алгебра и аналитическая геометрия. Ч. 1. Мн., 1984;

Дифференциальная геометрия. Мн., 1982;

Феденко А.С. Пространства с симметриями. Мн., 1977.

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

т. 5, с. 121

ГУ́ЛЬНЯЎ ТЭО́РЫЯ,

раздзел матэматыкі, які вывучае мадэлі канфліктных сітуацый (калі сутыкаюцца інтарэсы двух ці больш бакоў) і распрацоўвае метады аптымальных паводзін у такіх сітуацыях. Як навука сфарміравалася ў 1940-я г. пераважна на аснове работ амер. матэматыкаў Дж.​Неймана і О.​Моргенштэрна па развіцці матэм. падыходу да з’яў канкурэнтнай эканомікі. Асн. праблематыка: матэм. мадэлі канфліктаў, існаванне і прынцыпы аптымальных рашэнняў, метады іх пошуку. Выкарыстоўваецца ў сац.-эканам. даследаваннях, ваен. справе, матэм. статыстыцы, метадах аптымізацыі паводзін ва ўмовах неакрэсленасці і інш.

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

Літ.:

Нейман Дж., Моргенштерн О. Теория игр и экономическое поведение: Пер. с англ. М., 1970;

Вилкас Э.И. Оптимальность в играх и решениях. М., 1990;

Воробьев Н.Н. Основы теории игр: Бескоалиционные игры. М., 1984.

Г.​М.​Левін.

т. 5, с. 528

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

МАТЭМАТЫ́ЧНАЯ ЛО́ГІКА, сімвалічная логіка,

адзін з кірункаў сучаснай фармальнай логікі, заснаваны на выкарыстанні матэм. метадаў даследавання. У М.л. аперацыі мыслення і пераважна вывадных ведаў вывучаюцца шляхам іх адлюстравання ў спец. фармалізаваных мовах, або лагічных злічэннях. Адным з асн. яе метадаў з’яўляецца метад фармалізацыі, або вывучэння аб’ектаў з дапамогай адносна жорсткіх фіксаваных элементаў іх формы (пры адцягненні ад унутр. зместу). Сістэма фармалізаваных аксіём і фармальных правіл вываду афармляецца ў выглядзе некаторага злічэння. Прасцейшыя з іх — злічэнні выказванняў, калі аперацыі з простымі выказваннямі аб’ядноўваюцца ў складаныя выказванні з дапамогай аператараў кан’юнкцыі, дыз’юнкцыі, імплікацыі, эквіваленцыі і адмаўлення (гл. Логіка выказванняў). У агульных злічэннях выказванняў — класічным і інтуіцыянісцкім (гл. Інтуіцыянізм) — ужываюцца адны і тыя ж правілы вываду (падстаноўкі і вываду заключэння). Формула лічыцца класічна агульназначнай, калі правільнае ўсякае выказванне, што выводзіцца з яе ў выніку падстановак любых выказванняў замест пераменных (A, B, C...); да ўсякага злічэння прад’яўляюцца патрабаванні несупярэчлівасці і паўнаты. Другая форма — злічэнне прэдыкатаў, якое ўключае ў свой склад злічэнне выказванняў, але дадае да яго апарату аперацыі агульнасці і існавання (гл. Логіка прэдыкатаў, Квантары). Самаст. раздзелам у М.л. ўваходзіць злічэнне класаў, якое адпавядае вузкаму злічэнню аднамесных прэдыкатаў, або сілагістыцы Арыстоцеля (гл. Логіка класаў).

Зыходныя паняцці М.л. былі ўжо ў вучэнні прадстаўнікоў мегарскай школы і стоікаў. На мяжы 13—14 ст. ісп. філосаф Р.​Лулій сканструяваў спец. «лагічную машыну», якая складалася з сямі канцэнтрычных кругоў са знакамі, літарамі і тэрмінамі і дазваляла атрымаць разнастайныя камбінацыі слоў і паняццяў. Спроба стварэння «злічэння розуму», падобнага да матэм. злічэння і заснаванага на універсальнай лагічнай мове, належала Г.​Лейбніцу. Як самаст. дысцыпліна М.л. аформілася ў сярэдзіне 19 ст. ў працах англ. матэматыка і логіка Дж.​Буля і ў распрацаванай ім алгебры логікі. Далей М.л. развівалася ў сувязі з распрацоўкай аксіяматычнага метаду, мностваў тэорыі, вызначэння несупярэчлівасці матэм. злічэнняў і інш. Рас. вучоны П.​С.​Парэцкі распрацаваў тэорыю лагічных роўнасцей і прапанаваў найб. агульны метад знаходжання ўсіх эквівалентных форм пасылак і вынікаў з іх («Аб спосабах рашэння лагічных роўнасцей...», 1884). Ч.​Пірс (ЗША) праводзіў даследаванні ў строгай і раздзяляльнай дыз’юнкцыі, матэрыяльнай імплікацыі, індукцыі і гіпотэзы, логікі адносін і інш. галінах М.л. Ням. логік Г.​Фрэге прапанаваў аксіяматычную пабудову логікі выказванняў, сфармуляваў правіла падстаноўкі, увёў паняцце квантара, распрацаваў асн. прынцыпы семантыкі лагічнай. Сучасную форму М.л. надаў італьян. вучоны Дж.​Пеана, які распрацаваў сістэму аксіём для арыфметыкі натуральных лікаў і паказаў, як з дапамогай сімвалічнага злічэння можна практычна пабудаваць матэм. дысцыпліны («Фармуляр матэматыкі», т. 1—2, 1895—97). Развіццю М.л. садзейнічалі працы Б.​Расела і А.​Н.​Уайтхеда («Прынцыпы матэматыкі», т. 1—3, 1910—13). У далейшым атрымалі развіццё даследаванні ў розных галінах М.л., была распрацавана тэорыя матэм. доказаў на аснове выкарыстання лагічных злічэнняў да пытанняў асноў матэматыкі (Я.​Лукасевіч, А.​Гейцінг, А.​М.​Калмагораў, В.​І.​Шастакоў, С.​К.​Кліні, А.​А.​Маркаў і інш.).

Сучасная М.л. — гэта мноства спец. логік (імавернасная логіка, індукцыйная логіка, інтуіцыянісцкая, камбінаторная, канструктыўная, мнагазначная, мадальная і г.д.), кожная з якіх уяўляе сабой больш або менш адпаведнае апісанне працэсаў лагічнага паходжання. Далейшая фармалізацыя лагічных аперацый М.л. і адкрытыя ёю новыя заканамернасці даюць магчымасць вырашэння шэрагу складаных задач у матэматыцы, кібернетыцы, тэорыі рэлейна-кантактных схем, пры праектаванні і ў функцыянаванні ЭВМ, розных аўтам. апаратаў, а таксама ў матэматычнай лінгвістыцы, у тэорыі праграмавання, пры даследаваннях у квантавай фізіцы, тэорыі эвалюцыі, нейрафізіялогіі, праблем кіравання вытв-сцю і грамадствам. Сродкі М.л. выкарыстоўваюцца ў даследаваннях уласцівасцей дэдуктыўных тэорый (гл. Металогіка, Метаматэматыка). Праблематыка і навук. метад М.л. непасрэдна звязаны з інш. навукамі пра мысленне і пазнанне, у т. л. з логікай дыялектычнай. Гл. таксама Алгарытмаў тэорыя, Лагістыка.

Літ.:

Клини С.К. Математическая логика: Пер. с англ. М., 1973;

Шенфилд Дж.Р. Математическая логика: Пер. с англ. М., 1975;

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

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

Брюшинкин В.Н. Логика, мышление, информация. Л., 1988;

Логика и компьютер. Л., 1990.

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

т. 10, с. 213

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76