Verbum

Тарскі Альфрэд

т. 15, с. 443

А́ЛГЕБРА,

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

Вялікі ўплыў на развіццё алг. ідэй і сімволікі зрабіла «Арыфметыка» Дыяфанта (3 ст.). Тэрмін «алгебра» паходзіць ад назвы твора Мухамеда аль-Харэзмі «Альджэбр аль-мукабала» (9 ст.), які мае агульныя метады рашэння алгебраічных ураўненняў (АУ) 1-й і 2-й ступеняў. У канцы 15 ст. замест грувасткіх слоўных апісанняў алг. дзеянняў у матэм. творах з’яўляюцца знакі «+» і «-», потым знакі ступеняў, кораняў, дужкі. У канцы 16 ст. Ф.Віет першы выкарыстаў літарныя абазначэнні. Да сярэдзіны 17 ст. ў асн. склалася сучасная алг. сімволіка. У далейшым погляд на алгебру мяняўся. Алгебра 17—18 ст. займалася літарнымі вылічэннямі (рашэнне АУ, тоеснае пераўтварэнне формул і інш.) у адрозненне ад арыфметыкі, якая аперыруе канкрэтнымі лікамі. Да сярэдзіны 18 ст. алгебра склалася прыблізна ў аб’ёме цяперашняй т.зв. элементарнай алгебры. Алгебра 18—19 ст. з’яўляецца ў асн. алгебрай мнагачленаў. Першай гіст. задачай алгебры было рашэнне АУ з адным невядомым. У 16 ст. італьян. матэматыкамі была знойдзена формула для рашэння ўраўненняў 3-й ступені (формула Кардана), потым метад рашэння ўраўненняў 4-й ступені (метад Ферары). Амаль 3 стагоддзі вёўся пошук формулы для рашэння ўраўненняў вышэйшай ступені. У 17 ст. ўпершыню выказана А.​Жырарам, а ў канцы 18 ст. К.Гаўсам даказана асн. тэарэма алгебры аб існаванні камплекснага кораня для адвольных АУ з камплекснымі каэфіцыентамі. У 1824 Н.Абель даказаў, што ўраўненне вышэй 4-й ступені ў агульным выпадку ў радыкалах невырашальнае, а ў 1830 Э.Галуа знайшоў крытэрый вырашальнасці ў радыкалах АУ. Разам з тэарэмай АУ з адным невядомым разглядаліся сістэмы АУ з многімі невядомымі, у прыватнасці сістэмы лінейных ураўненняў, у сувязі з чым узніклі паняцці матрыцы і дэтэрмінанта. З сярэдзіны 19 ст. даследаванні ў алгебры паступова пераносяцца з тэорыі АУ да вывучэння адвольных алг. аперацый. Абстрактнае паняцце алг. аперацыі ўзнікла ў сярэдзіне 19 ст. ў сувязі з даследаваннем прыроды камплексных лікаў, а таксама ў выніку з’яўлення прыкладаў алг. аперацый над элементамі зусім інш. прыроды, чым лікі, — складанне і множанне матрыц і інш.

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

Алг. паняцці і метады выкарыстоўваюцца ў геаметрыі, тэорыі лікаў, функцыян. аналізе, тэорыі дыферэнцыяльных ураўненняў, метадах вылічэнняў і інш. Алгебра мае вял. дачыненне да фізікі (выяўленні груп у квантавай фізіцы), крышталяграфіі (дыскрэтныя групы), кібернетыкі (тэорыі аўтаматаў і кадзіравання), матэм. эканомікі (лінейныя няроўнасці) і інш. Сістэм. даследаванні па алгебры на Беларусі пачалі Дз.А.Супруненка (1945) і С.А.Чуніхін (1953). Вядуцца пераважна ў Ін-це матэматыкі АН Беларусі, БДУ, Гомельскім ун-це ў школах У.П.Платонава, А.Я.Залескага, Л.А.Шамяткова.

Літ.:

Математика, её содержание, методы и значение. Т. 1—3. М., 1956;

Бурбаки Н. Очерки по истории математики: Пер. с фр. М., 1963.

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

т. 1, с. 233

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