Verbum

ПАРАЎНА́ЛЬНА-ГІСТАРЫ́ЧНАЕ МОВАЗНА́ЎСТВА, кампаратывістыка,

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

Літ.:

Мейе А. Сравнительный метод в историческом языкознании: Пер. с фр. М., 1954;

Семереньи О. Введение в сравнительное языкознание: Пер. с нем. М., 1980;

Десницкая А.В. Сравнительное языкознание и история языков. Л., 1984.

А.​Я.​Міхневіч.

т. 12, с. 92

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

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

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 213

ГРАМА́ТЫКА (грэч. grammatikē ад gramma літара, напісанне),

1) лад мовы; сукупнасць, сістэма яе формаўтваральных і формаўжывальных сродкаў.

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

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

Слова разам з паказчыкам яго грамат. значэння ўтварае граматычную форму («братамі» — граматычная форма мн. л. тв. скл. ад назоўніка м.р. «брат»). Грамат. формы, што перадаюць змяненне аднаго слова ў межах пэўных грамат. значэнняў (склону, ліку, часу, асобы і інш.), утвараюць парадыгмы словазмянення (1-е скланенне назоўнікаў, 2-е спражэнне дзеясловаў, ступені параўнання прыметнікаў і да т.п.). Усе адзінкі моўнага ладу размяркоўваюцца па пэўных класах — граматычных катэгорыях. Стрыжань грамат. катэгорыі — катэгарыяльнае значэнне. У бел. мове адрозніваюць грамат. катэгорыі імені і дзеяслова, назоўніка і прыметніка і інш., а ў межах катэгорыі, напр., назоўніка — катэгорыі роду, склону, ліку, а таксама адзінкавасці і зборнасці, абстрактнасці і канкрэтнасці і г.д. Пытанне аб колькасці катэгорый у пэўнай мове вельмі складанае: побач з даўно заўважанымі і навук. зафіксаванымі цэнтр. катэгорыямі існуюць і перыферыйныя, часам лінгвістычна не распрацаваныя. Грамат. катэгорыі ўтвараюць складаную іерархічную сістэму з рознаскладанымі функцыян. ўзаемасувязямі. Найб. просты прыклад якіх — проціпастаўленне катэгорыі па наяўнасці — адсутнасці пэўнага грамат. значэння (простая апазіцыя: м. род — немужч. род).

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

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

Распрацоўка грамат. тэорыі ў старажытнасці дасягнула высокага ўзроўню ў Індыі. Еўрап. традыцыі ў вывучэнні грамат. ладу моў бяруць пачатак у ант. навуцы, найперш звязанай з вытлумачэннем стараж. тэкстаў (паэм Гамера, біблейскіх паданняў). Асн. тэндэнцыяй у развіцці грамат. думкі ў Еўропе было паступовае вызваленне ад схем і ўяўленняў грэка-лац. навукі, пошук паняццяў і метадаў даследавання, якія б далі магчымасць адэкватна апісваць кожную канкрэтную мову. Значны ўклад у развіццё грамат. тэорыі зрабілі слав. вучоныя. Пачынальнікамі навук. распрацоўкі граматыкі бел. мовы былі Л.​Зізаній, П.​Шпілеўскі, К.​Нядзведскі, І.​Нядзёшаў, Я.​Карскі, К.​Каганец, Б.​Пачобка, Б.​Тарашкевіч, М.​Булахаў і інш.

Літ.:

Кузнецов П.С. О принципах изучения грамматики. М., 1961;

Виноградов В.В. Русский язык: (Граммат. учение о слове). 2 изд. М., 1972;

Шуба П.П. Уводзіны ў граматыку беларускай мовы. Мн., 1962;

Граматыка беларускай мовы. Т. 1—2. Мн., 1962—66;

Беларуская граматыка. Ч. 1—2. Мн., 1985—86;

Есперсен О. Философия грамматики: Пер. с англ. М., 1958.

А.​Я.​Міхневіч.

т. 5, с. 401

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