тэорыя, аб’ектам даследавання якой з’яўляецца якая-небудзь інш. тэорыя, якая аналізуе ўласцівасці, структуру, метады, лагічныя асновы (доказнасць, супярэчлівасць, строгасць і інш.) прадметнай тэорыі. М. ўстанаўлівае памеры тэорыі, спосабы ўвядзення новых паняццяў, дае магчымасць пабудаваць яе больш рацыянальным спосабам. Вынікі М. могуць фармалізавацца і вывучацца далей. Фармулюецца М. на метамове. Найб. пашырана М. логікі (металогіка) і матэматыкі (метаматэматыка). Задачай М. з’яўляецца даследаванне ўмоў фармалізацыі навук. тэорый, а таксама сінтакс. (лагічны сінтаксіс) і семантычных (семантыка лагічная) уласцівасцей фармалізаваных моў. Такія даследаванні набываюць асаблівае значэнне ў сувязі з развіццём кібернетыкі і выліч. тэхнікі.
франц. філосаф, псіхолаг і этнограф. Праф. Сарбоны (1899—1927). Вывучаў першабытныя народы, прыйшоў да высновы, што розным сац. тыпам адпавядаюць розныя формы мыслення. Развіваючы ідэі сацыялагічнай школы Э.Дзюркгейма, стварыў тэорыю т.зв. далагічнай ментальнасці, паводле якой спосаб мыслення чалавека ў «прымітыўным» грамадстве адрозніваецца ад спосабу мыслення «цывілізаванага» чалавека, бо ў першым яшчэ не дзейнічаюць законы фармальнай логікі. У этычных разважаннях выступаў супраць рэліг. інтэрпрэтацыі маральнасці і разглядаў яе як з’яву сацыяльную. Асн. творы: «Функцыі мыслення ў ніжэйшых грамадствах» (1910), «Першабытнае мысленне» (1922), «Першабытная душа» (1927).
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НО́ВІКАЎ (Пётр Сяргеевіч) (28.8.1901, Масква — 9.1.1975),
расійскі матэматык, стваральнік школы матэм.логікі. Акад.АНСССР (1960). Скончыў Маскоўскі ун-т (1925). З 1929 у Маскоўскім хім.-тэхнал. ін-це, з 1934 у Матэм. ін-це імя У.А.Сцяклова АНСССР, з 1945 праф. Маскоўскага пед. ін-та імя Леніна. Навук. працы па тэорыі мностваў, матэм. логіцы, тэорыі алгарытмаў і тэорыі груп. Прапанаваў метад даследавання праблем дэскрыптыўнай тэорыі мностваў, метад доказу несупярэчнасці фармальных сістэм. Даказаў невырашальнасць праблемы тоеснасці, спалучанасці і ізамарфізму ў тэорыі груп. Ленінская прэмія 1957.
Тв.:
Избр. труды: Теория множеств и функций. Математическая логика и алгебра. М., 1979.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЗЯНО́Н ЭЛЕ́ЙСКІ (Zēnōn Heleatēs; каля 490 да н.э., Элея, Паўд. Італія — 430 да н.э.),
старажытнагрэчаскі філосаф, прадстаўнік элейскай школы. Арыстоцель лічыў яго заснавальнікам дыялектыкі як мастацтва спасціжэння ісціны шляхам спрэчак ці тлумачэння процілеглых думак. З.Э. развіваў метафізічнае вучэнне Парменіда, лічыў, што быццё адзінае і нерухомае, а небыццё множнае і знаходзіцца ў руху, ісцінная карціна свету спасцігаецца з дапамогай мыслення. Найб. вядомасць набылі лагічныя аргументы З.Э., т. зв. апарыі — «Ахіл», «Дыхатамія», «Страла», «Стадый». Разважанні З.Э. аб прасторы і часе паслужылі імпульсам для далейшага развіцця ант. матэматыкі, логікі і дыялектыкі. Працы З.Э. не захаваліся, дайшлі толькі невялікія вытрымкі з іх, зробленыя старажытнагрэчаскімі мысліцелямі.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АЙДУКЕ́ВІЧ ((Ajdukiewicz) Казімеж) (12.12.1890, г. Цярнопаль, Украіна — 12.4.1963),
польскі логік, філосаф. Правадзейны чл. Польскай АН (з 1952). Праф. Львоўскага, Варшаўскага ун-таў (1925—38). У 1938 узначаліў Пазнанскае філас.т-ва, з 1953 гал. рэдактар час. «Studia logica» («Лагічныя даследаванні»). Прадстаўнік львоўска-варшаўскай школы, якая ставіла задачу лагічнага абгрунтавання і ўмацавання рацыяналізму ў процівагу ірацыяналізму. Паводле філас. поглядаў быў блізкі да ідэй лагічнага пазітывізму. Распрацаваў логіка-семантычную канцэпцыю значэння як спосабу ўжывання тэрміна ў пэўнай канцэптуальнай сістэме тэорыі лагічнага вываду, індуктыўнай логікі, азначэння, лагічнай семантыкі і сінтаксісу.
Тв.:
Język i poznanie. T. 1—2. Warszawa, 1960—65: The scientific world-perspective and other essays, 1931—63. Dordrecht, 1978.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МЕТАФІЗІ́ЧНЫ ЖЫ́ВАПІС,
кірунак у італьян. жывапісе. Заснаваны ў 2-й пал. 1910 — пач. 1920-х г. Дж. Дэ Кірыка пад уплывам філасофіі А.Шапенгаўэра і Ф.Ніцшэ і стаў рэакцыяй на рацыяналістычную схему кубізму і дынамізм футурызму. Тэарэтык — паэт А.Савіньё. Прадстаўнікі М.ж. (К.Кара, М.Кампільі, Ф.Казараці, Дж.Марандзі, Ф. Дэ Пісіс) у карцінах з выявамі пустынных гарадоў з далёкай перспектывай, манекенаў, у нацюрмортах з дзіўным складам прадметаў імкнуліся вывесці рэальнасць за рамкі звычайнай логікі, стварыць таямнічы настрой і раскрыць містыку вобразаў, якія знаходзіліся па-за межамі адлюстравання рэчаіснасці. Значна паўплываў на станаўленне сюррэалізму і часта разглядаецца як адзін з яго кірункаў.
В.Я.Буйвал.
Да арт.Метафізічны жывапіс. Дж. Дэ Кірыка. 1950. Музы непакою.
прынцып логікі, паводле якога палажэнне лічыцца сапраўдным, калі яно грунтуецца на пераканаўчых падставах. Фактычна з’яўляецца асновай усіх лагічных тэорый старажытнасці, сярэднявечча і новага часу; як асобны прынцып сфармуляваны Г.Лейбніцам. Мае аналогію з прычыннай залежнасцю аб’ектыўных з’яў. Калі ў аб’ектыўным свеце ўсякая з’ява, дзеянне і інш. мае прычыну, то ў пазнанні сапраўднасць усякай думкі павінна быць абгрунтавана. У дэдукцыйных разважаннях і тэорыях за дастатковую падставу прымаецца даказанае выказванне або сукупнасць такіх, з якіх лагічна вынікае выказванне, якое абгрунтоўваецца. Закон выражае ўласцівасць доказнасці лагічна правільнага мыслення. У аксіяматычных сістэмах і падобных да іх строгіх лагічных пабудовах Д.п.п. патрабуе забеспячэння пераканальнасці выказванняў тэорыі, што разглядаюцца ў якасці яе тэарэм.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ІАА́Н ДАМАСКІ́Н (Iōannēs Damaskēnos; каля 675, г. Дамаск, Сірыя — каля 749),
візантыйскі багаслоў, філосаф, паэт. Відаць, быў набліжаным да халіфа, потым манахам (да 700). Выступаў як вядучы ідэйны праціўнік іканаборства. Завяршальнік і сістэматызатар грэч.патрыстыкі. На аснове арыстоцелеўскай логікі стварыў асновы схаластычнага метаду (гл.Схаластыка), што пазней развіты сярэдневяковымі тэолагамі Захаду. Яго гал. твор «Крыніца ведаў» паўплываў на погляды многіх тэолагаў. У гісторыі л-ры ён вядомы як паэт, аўтар царк. песнапенняў. Яго творы распаўсюджваліся і ва ўсх.-слав. краінах (Грузіі, Стараж. Русі і інш.). Верагодна, аўтар рамана «Варлаам і Іасаф».
Тв.:
Рус.пер. — у кн.: Антология мировой философии;
М., 1969. Т. 1, ч. 2. С. 621—26;
Памятники византийской литературы IV—IX вв. М., 1968. С. 270—280.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЛА́МБЕРТ ((Lambert) Іаган Генрых) (26.8.1728 г. Мюльгаўзен, Германія — 25.9.1777),
нямецкі вучоны, адзін са стваральнікаў фотаметрыі. Чл. Берлінскай АН (1765). Па паходжанні француз. Навук. працы па матэматыцы, фізіцы, астраноміі і філасофіі. Даказаў ірацыянальнасць ліку π, распрацаваў лагічнае злічэнне, чым прадугадаў многія ідэі алгебры логікі. У трактаце «Фотаметрыя, ці Аб вымярэннях і параўнаннях святла, колераў і ценяў» (1760) устанавіў асн. фотаметрычныя заканамернасці і закон паглынання святла (гл.Бугера—Ламберта—Бэра закон, Ламберта закон). Развіў тэорыю іерархічнай будовы Сусвету і выказаў ідэю стварэння універсальнай мовы знакаў. У яго гонар названа адзінка яркасці — ламберт.
Літ.:
Льоцци М. История физики: Пер. с итал. М., 1970. С. 161—164;
Голин Г.М., Филонович С.Р. Классики физической науки (с древнейших времен до начала XX в.). М., 1989. С. 207—209.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ВЫ́КЛЮЧАНАГА ТРЭ́ЦЯГА ПРЫ́НЦЫП,
закон класічнай фармальнай логікі, паводле якога з двух выказванняў, адно з якіх ісціннае, другое няісціннае, выключаюць трэцяе. Напр., з двух выказванняў «Сонца—зорка» (A ёсць B) і «Сонца — не зорка» (A не ёсць B) адно ісціннае. Маючы на ўвазе такія выказванні, традыц. фармальная логіка гэты закон фармулявала так: «A ёсць B ці не B» (трэцяга не дадзена). Упершыню выключанага трэцяга прынцып сфармуляваны Арыстоцелем. Сфера дзеяння яго вызначаецца не спосабамі выяўлення ісціннасці ці няісціннасці выказванняў, а адносінамі паміж выказваннямі, калі яны выкарыстоўваюцца ў доказах і інш. лагічных аперацыях. Закон не дапускае, каб сцверджанне і адмаўленне падмяняліся адно адным ці эклектычна аб’ядноўваліся ў нейкім трэцім выказванні. Выключанага трэцяга прынцып дапаўняе і развівае ў логіцы супярэчнасці прынцып і разам з ім і з тоеснасці законам выключае лагічную супярэчлівасць выказванняў.
