Verbum

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

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

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

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

Літ.:

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

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

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

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

т. 5, с. 466

ІНВАРЫЯ́НТНАСЦЬ у фізіцы,

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

І. звязана з агульнымі і найб. глыбокімі ўласцівасцямі матэрыяльных аб’ектаў, прасторы і часу. Напр., рэлятывісцкая інварыянтнасць звязана з аднароднасцю і ізатропнасцю 4-мернай прасторы-часу, а ізатапічная інварыянтнасць — з незалежнасцю моцнага ўзаемадзеяння элементарных часціц ад іх эл. зарадаў. Пры стварэнні розных аб’яднаных тэорый (гл. Вялікае аб’яднанне, Электраслабае ўзаемадзеянне) выяўляюцца інш. віды І., напр. Калібровачная інварыянтнасць. З паняццем І. цесна звязана паняцце каварыянтнасці. Паводле яе патрабаванняў пры адпаведных пераўтварэннях сіметрыі захоўваецца толькі форма запісу матэм. суадносім фіз. тэорыі, а самі велічыні могуць мяняцца. Напр., 4-вектар энергіі-імпульсу P (P₁; P₂; P₃; P₄) P′ (P₁′; P₂′; P₃′; P₄′) — каварыянт, а яго квадрат P​² = (P′)​² = −m​²c​⁴ — інварыянт, дзе m — маса спакою рэлятывісцкай часціцы, c — скорасць святла ў вакууме. На прынцыпах каварыянтнасці грунтуецца т. зв. каварыянтны падыход, распрацаваны Ф.Л.Фёдаравым для рашэння задач тэарэт. фізікі (гл. Каварыянтныя метады, Праектыўных аператараў метад).

Літ.:

Вигнер Е. Этюды о симметрии: Пер. с англ. М., 1971;

Федоров Ф.И. Группа Лоренца. М., 1979.

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

т. 7, с. 220

ПО́ЛЯ ТЭО́РЫЯ ў фізіцы,

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

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

На Беларусі даследаванні па П.т. пачаліся ў 1940—50-я г. пад кіраўніцтвам Ф.Л.Фёдарава; праводзяцца ў Ін-це фізікі Нац. АН, БДУ, Гомельскім дзярж. ун-це і інш.

Літ.:

Боголюбов Н.Н., Ширков Д.В. Введение в теорию квантованных полей. М., 1957;

Богуш А.А., Мороз Л.Г. Введение в теорию классических полей. Мн., 1968;

Богуш А.А. Введение в калибровочную полевую теорию электрослабых взаимодействий. Мн., 1987.

А.А.Богуш.

т. 12, с. 503

ПРАЕКТЫ́ЎНАЯ ГЕАМЕ́ТРЫЯ,

раздзел геаметрыі, што вывучае ўласцівасці фігур, якія не змяняюцца пры праектыўных пераўтварэннях. Такія ўласцівасці наз. праектыўнымі, напр., датычнасць прамой і лініі, парадак лініі. Існуюць таксама непраектыўныя ўласцівасці, напр., паралельнасць ці перпендыкулярнасць прамых, роўнасць адрэзкаў і вуглоў. Асн. тэарэмы класічнай П.г.: Брыяншона тэарэма, Дэзарга тэарэма, Паскаля тэарэма.

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

Літ.:

Хартсхорн Р. Основы проективной геометрии: Пер. с англ. М., 1970;

Ефимов Н.В. Высшая геометрия. 6 изд. М., 1978;

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

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

т. 12, с. 541

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.​Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.​Т.​Вальвачоў, У.​К.​Лукашэвіч.

т. 1, с. 207

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

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

Зыходныя паняцці І.т. — паняцці выпадковай падзеі і яе імавернасці. Падзеі рэчаіснасці бываюць: дакладныя — заўсёды адбываюцца; немагчымыя — ніколі не адбываюцца; выпадковыя — часам адбываюцца, а часам не. З двух выпадковых падзей 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

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