Verbum

КА́РСКІ ((Karski) Мацей) (24.2.1662, Дабжынская зямля, Польшча — 10.2.1717),

філосаф, прававед. Вучыўся ў Віленскай акадэміі (1683—86), Полацкім езуіцкім калегіуме, у Варшаве (1689—93). Праф. рыторыкі ў Плоцку і Варшаве, выкладаў філасофію ў Полацку (1696—99). Рэктар Полацкага калегіума (з 1709), Віленскай акадэміі (з 1710). Аўтар «Курса філасофіі і логікі...» (1696, рукапіс захоўваецца ў б-цы Вільнюскага ун-та), які складаецца з 8 трактатаў: «Логіка як мова навукі», «Аб метэорах», «Тайны навукі этыкі» і інш. У «Трактаце пра душу» даў аналіз адчуванняў, пачуццяў, уяўленняў і інш. элементаў псіхалогіі, апісаў органы пачуццяў, што сведчыла аб пэўным адыходзе ад схаластычнай філасофіі, якая адмаўляла прынцыпы сенсуалізму. Пасля ўдзелу ў падрыхтоўцы новага польскамоўнага выдання Статута ВКЛ 1588 (Вільня, 1693) К. набыў вядомасць як «знаўца айчынных законаў».

т. 8, с. 99

КЕ́ДРАЎ (Баніфацій Міхайлавіч) (10.12.1903, г. Яраслаўль, Расія — 10.9.1985),

савецкі філосаф, гісторык навукі, хімік. Акад. АН СССР (1966). Скончыў Маскоўскі ун-т (1930). Ін-т чырвонай прафесуры (1932). Працаваў у ЦК КПСС, Акадэміі грамадскіх навук пры ЦК КПСС, Ін-це прыродазнаўства і тэхнікі (з 1962 дырэктар) і Ін-це філасофіі АН СССР (у 1973—74 дырэктар), Маскоўскім ун-це, гал. рэдактарам час. «Вопросы философии» (1947—49). Даследаваў праблемы матэрыяліст. дыялектыкі, псіхалогіі, логікі, метадалогіі навук. творчасці, філас. пытанні прыродазнаўства, навуказнаўства і інш.

Тв.:

Единство диалектики, логики и теории познания. М., 1963;

Ленин и научные революции. Естествознание. Физика. М., 1980;

Науки в их взаимосвязи: История. Теория. Практика. М., 1988 (у сааўт.);

Проблемы логики и методологии науки: Избр. тр. М., 1990.

А.​М.​Елсукоў.

т. 8, с. 219

ЛА́МБЕРТ ((Lambert) Іаган Генрых) (26.8.1728 г. Мюльгаўзен, Германія — 25.9.1777),

нямецкі вучоны, адзін са стваральнікаў фотаметрыі. Чл. Берлінскай АН (1765). Па паходжанні француз. Навук. працы па матэматыцы, фізіцы, астраноміі і філасофіі. Даказаў ірацыянальнасць ліку π, распрацаваў лагічнае злічэнне, чым прадугадаў многія ідэі алгебры логікі. У трактаце «Фотаметрыя, ці Аб вымярэннях і параўнаннях святла, колераў і ценяў» (1760) устанавіў асн. фотаметрычныя заканамернасці і закон паглынання святла (гл. Бугера—Ламберта—Бэра закон, Ламберта закон). Развіў тэорыю іерархічнай будовы Сусвету і выказаў ідэю стварэння універсальнай мовы знакаў. У яго гонар названа адзінка яркасці — ламберт.

Літ.:

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

Голин Г.М., Филонович С.Р. Классики физической науки (с древнейших времен до начала XX в.). М., 1989. С. 207—209.

т. 9, с. 115

МЕТАФІЗІ́ЧНЫ ЖЫ́ВАПІС,

кірунак у італьян. жывапісе. Заснаваны ў 2-й пал. 1910 — пач. 1920-х г. Дж. Дэ Кірыка пад уплывам філасофіі А.​Шапенгаўэра і Ф.​Ніцшэ і стаў рэакцыяй на рацыяналістычную схему кубізму і дынамізм футурызму. Тэарэтык — паэт А.​Савіньё. Прадстаўнікі М.ж. (К.​Кара, М.​Кампільі, Ф.​Казараці, Дж.Марандзі, Ф. Дэ Пісіс) у карцінах з выявамі пустынных гарадоў з далёкай перспектывай, манекенаў, у нацюрмортах з дзіўным складам прадметаў імкнуліся вывесці рэальнасць за рамкі звычайнай логікі, стварыць таямнічы настрой і раскрыць містыку вобразаў, якія знаходзіліся па-за межамі адлюстравання рэчаіснасці. Значна паўплываў на станаўленне сюррэалізму і часта разглядаецца як адзін з яго кірункаў.

В.​Я.​Буйвал.

т. 10, с. 310

ВЫ́КЛЮЧАНАГА ТРЭ́ЦЯГА ПРЫ́НЦЫП,

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

т. 4, с. 311

ЖУ́КАЎ (Мікалай Іванавіч) (н. 20.5.1930, г. Шуя, Расія),

бел. філосаф. Засл. дз. нав. Рэспублікі Беларусь (1992). Д-р філас. н. (1975), праф. (1976). Скончыў Ленінградскі ун-т (1958). Працаваў у Мінскім мед. ін-це (1960—69), у БДУ (1969—88). З 1988 заг. кафедры філасофіі Нац. АН Беларусі. Даследуе філас. праблемы прыродазнаўства і тэхнікі. Распрацаваў канцэпцыі функцыян. прыроды інфармацыі, трох узроўняў нематэрыяльных (ідэальных) працэсаў, даў арыгінальную трактоўку праблемам адзінства свету, штучнага інтэлекту, суадносін фармальнай логікі і дыялектыкі. Заснавальнік бел. навук. школы ў галіне філас. праблем тэорыі сістэм, кібернетыкі, матэматыкі і інфарматыкі. Аўтар падручнікаў для ВНУ па філасофіі, філас. асновах матэматыкі і кібернетыкі.

Тв.:

Информация: (Философский анализ информации — центрального понятия кибернетики). Мн., 1966;

Философские основания кибернетики. М., 1985;

Проблема сознания: Филос. и специально-науч. аспекты. Мн. 1987.

т. 6, с. 445

КА́РНАП ((Carnap) Рудольф) (18.5.1891, г. Вуперталь, Германія — 14.9.1970),

нямецка-амерыканскі філосаф і логік, вядучы прадстаўнік лагічнага пазітывізму і філасофіі навукі. Удзельнік Венскага гуртка і распрацоўкі ідэй лагічнага эмпірызму. Працаваў ва ун-тах Еўропы, у 1936—52 у Чыкагскім, Каліфарнійскім ун-тах. Распрацоўваў пераважна фармалізаваную тэорыю індуктыўнай, семантычнай і мадальнай логік. Прадметам філасофіі навукі лічыў аналіз структуры прыродазнаўчанавук. ведаў з мэтай удакладнення асн. паняццяў навукі з дапамогай матэм. логікі. Філасофія, паводле К., складаецца з вытлумачэння зместу паняццяў часу і адначасовасці з’яў. У апошнія гады жыцця К. выказваўся на карысць існавання «неназіральных матэрыяльных аб’ектаў», фармуляваў сцвярджэнні, блізкія да прыродазнаўчанавук. матэрыяліст. традыцыі. Шэраг вынікаў, атрыманых К., выкарыстаны ў даследаваннях па кібернетыцы.

Тв.:

Рус. пер. — Значение и необходимость. М., 1959;

Философские основания физики: Введение в философию науки. М., 1971.

В.​М.​Пешкаў.

т. 8, с. 80

МА́ЛЬЦАЎ (Анатоль Іванавіч) (27.11. 1909, г.п. Мішаронскі Шатурскага р-на Маскоўскай вобл. — 7.7.1967),

расійскі матэматык; адзін са стваральнікаў агульнай тэорыі мадэлей. Акад. АН СССР (1958; чл.-кар. 1953). Скончыў Маскоўскі ун-т (1931). З 1932 у Іванаўскім пед. ін-це (з 1943 праф.), адначасова з 1942 у Матэм. ін-це АН СССР; з 1960 у Ін-це матэматыкі Сібірскага аддз. АН СССР і Новасібірскім ун-це. Навук. працы па матэм. логіцы, тэорыі груп, тэорыі кольцаў і лінейнай алгебры, тэорыі алгарытмаў. Даследаванні М. далі пачатак сістэматычнаму выкарыстанню метадаў матэм. логікі ў алгебры. Ленінская прэмія 1964. Дзярж. прэмія СССР 1946.

Тв.:

Избр. труды. Т. 1—2. М., 1976;

Алгоритмы и рекурсивные функции. 2 изд. М., 1986.

Літ.:

А.И. Мальцев // Успехи мат. наук. 1968. Т. 23, вып. 3.

т. 10, с. 48

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

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

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

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

Літ.:

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

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

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

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

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

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

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

т. 10, с. 213

АЛГАРЫТМІЗА́ЦЫЯ ПРАЦЭ́САЎ,

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

Складаецца з папярэдняга аналізу задачы алгарытмізацыі і аб’екта даследавання; структурнага апісання даследвальнага працэсу; тэарэт. аналізу ўраўненняў сувязі паміж яго параметрамі; эксперым. вызначэння статычных і дынамічных параметраў; матэм. мадэлявання працэсу і выяўлення адпаведнасці мадэлі рэальнай сітуацыі; аналізу мадэлі і распрацоўкі рэкамендацый па яе ўдасканаленні; складання аптымальнага алгарытму на аснове распрацаваных рэкамендацый; праверкі і ўдакладнення алгарытму кіравання працэсам у вытв. мовах. Пры апрацоўцы вял. масіваў інфармацыі звычайна выкарыстоўваюць сродкі выліч. тэхнікі.

т. 1, с. 233