тэорыя, аб’ектам даследавання якой з’яўляецца якая-небудзь інш. тэорыя, якая аналізуе ўласцівасці, структуру, метады, лагічныя асновы (доказнасць, супярэчлівасць, строгасць і інш.) прадметнай тэорыі. М. ўстанаўлівае памеры тэорыі, спосабы ўвядзення новых паняццяў, дае магчымасць пабудаваць яе больш рацыянальным спосабам. Вынікі М. могуць фармалізавацца і вывучацца далей. Фармулюецца М. на метамове. Найб. пашырана М. логікі (металогіка) і матэматыкі (метаматэматыка). Задачай М. з’яўляецца даследаванне ўмоў фармалізацыі навук. тэорый, а таксама сінтакс. (лагічны сінтаксіс) і семантычных (семантыка лагічная) уласцівасцей фармалізаваных моў. Такія даследаванні набываюць асаблівае значэнне ў сувязі з развіццём кібернетыкі і выліч. тэхнікі.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЗЯНО́Н ЭЛЕ́ЙСКІ (Zēnōn Heleatēs; каля 490 да н.э., Элея, Паўд. Італія — 430 да н.э.),
старажытнагрэчаскі філосаф, прадстаўнік элейскай школы. Арыстоцель лічыў яго заснавальнікам дыялектыкі як мастацтва спасціжэння ісціны шляхам спрэчак ці тлумачэння процілеглых думак. З.Э. развіваў метафізічнае вучэнне Парменіда, лічыў, што быццё адзінае і нерухомае, а небыццё множнае і знаходзіцца ў руху, ісцінная карціна свету спасцігаецца з дапамогай мыслення. Найб. вядомасць набылі лагічныя аргументы З.Э., т. зв. апарыі — «Ахіл», «Дыхатамія», «Страла», «Стадый». Разважанні З.Э. аб прасторы і часе паслужылі імпульсам для далейшага развіцця ант. матэматыкі, логікі і дыялектыкі. Працы З.Э. не захаваліся, дайшлі толькі невялікія вытрымкі з іх, зробленыя старажытнагрэчаскімі мысліцелямі.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ІВАНО́ЎСКІ (Уладзімір Мікалаевіч) (25.7.1867, г. Вышні Валачок, Расія — 4.1.1939),
рускі і бел. філосаф. Скончыў Маскоўскі ун-т (1890). Прыват-дацэнт Маскоўскага (1899—1903 і 1914—17), Казанскага (1904—12) ун-таў, праф. Самарскага (1918—21) ун-та і БДУ (1921—27). Даследаваў праблемы асацыятыўнай псіхалогіі, гісторыі філасофіі і культуры, логікі і метадалогіі навукі, светапоглядныя асновы і дыялектыку інтарэсаў і патрэбнасцей чалавека. Перакладаў працы А.Бэна, У.Джэмса, Р.Дэкарта, Дж.С.Міля, У.Мінта і інш.
Тв.:
Движение к распространению университетского образования в России. М., 1900;
Ассоциационизм психологический и гносеологический. Ч. 1. Казань, 1909;
Методологическое введение в науку и философию. Т. 1. Мн., 1923.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
КВА́НТАРЫ (ад лац. quantum колькі),
у матэматычнай логіцы, аператары, што выяўляюць пры вылічэннях колькасную характарыстыку аб’ектаў, пра якія гаворыцца ў выказваннях, або іх прэдыкатаў.
Найб. важнае значэнне маюць К. агульнасці (у звычайнай мове ім адпавядаюць словы «ўсе», «усякі», «кожны», «любы», «бясконца многа» і інш.) і К. існавання («некаторы», «некалькі», «існуе», «адзіны» і інш.). У лагічных вылічэннях К. пераўтвараюць свабодныя пераменныя ў звязаныя. Аперацыю выкарыстання К. наз. падвядзеннем пад К. (вывядзеннем з-пад К.) ці квантарыфікацыяй. Над выразамі з К. можна рабіць усе аперацыі злічэння прэдыкатаў, размяркоўваць К. па членах складанага выразу, перастаўляць іх і інш. ў адпаведнасці з законамі матэматычнай логікі.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
НО́ВІКАЎ (Пётр Сяргеевіч) (28.8.1901, Масква — 9.1.1975),
расійскі матэматык, стваральнік школы матэм.логікі. Акад.АНСССР (1960). Скончыў Маскоўскі ун-т (1925). З 1929 у Маскоўскім хім.-тэхнал. ін-це, з 1934 у Матэм. ін-це імя У.А.Сцяклова АНСССР, з 1945 праф. Маскоўскага пед. ін-та імя Леніна. Навук. працы па тэорыі мностваў, матэм. логіцы, тэорыі алгарытмаў і тэорыі груп. Прапанаваў метад даследавання праблем дэскрыптыўнай тэорыі мностваў, метад доказу несупярэчнасці фармальных сістэм. Даказаў невырашальнасць праблемы тоеснасці, спалучанасці і ізамарфізму ў тэорыі груп. Ленінская прэмія 1957.
Тв.:
Избр. труды: Теория множеств и функций. Математическая логика и алгебра. М., 1979.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
псіхало́гія, ‑і, ж.
1. Навука аб заканамернасцях, развіцці і формах псіхічнай дзейнасці. Агульная псіхалогія. Эксперыментальная псіхалогія.
2. Псіхіка, асаблівасці характару, духоўны склад. Псіхалогія селяніна. Раскрыць псіхалогію героя. □ Чалавек зразумеў, нарэшце, што, перарабляючы свет, ён пачаў, разам з тым, перарабляць і сваю ўласную натуру, сваю псіхалогію і погляды на рэчы і з’явы.Майхровіч.
3. Сукупнасць псіхічных працэсаў ва ўмовах пэўных відаў дзейнасці, пэўнага стану і г. д. Псіхалогія працы. Псіхалогія ўчынку. □ Але я не верыў усяму гэтаму, бо не мог зразумець ні логікі, ні псіхалогіі гэтакіх паводзін.Сабаленка.
[Грэч. psychē — душа і logos — вучэнне.]
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)
ло́гіка, ‑і, ДМ ‑гіцы, ж.
1. Навука аб законах і формах мыслення. Фармальная логіка. Дыялектычная логіка. Матэматычная логіка.
2. Ход разважанняў, вывадаў. У выступленні Тамары менш было запалу і рашучасці, затое логіка якая!Ермаловіч.// Правільнасць, разумнасць мыслення. [Міхал] ніколі не вызначаўся асаблівай выдатнасцю логікі ў думках.Чорны.Фронт быў ад нас яшчэ за сотні кіламетраў, але насуперак логіцы ўсім захацелася пачуць у гэтых выбухах грукат сваёй артылерыі.Карпюк.
3. Унутраная заканамернасць. Логіка рэчаў. □ Дзіўныя справы .. захапляюць мяне сваёй навізной, такім незвычайным для нашага жыцця паваротам падзей і логікай з’яў.Быкаў.
[Грэч. logikē.]
Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 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 г., часткова)
ІАА́Н ДАМАСКІ́Н (Iōannēs Damaskēnos; каля 675, г. Дамаск, Сірыя — каля 749),
візантыйскі багаслоў, філосаф, паэт. Відаць, быў набліжаным да халіфа, потым манахам (да 700). Выступаў як вядучы ідэйны праціўнік іканаборства. Завяршальнік і сістэматызатар грэч.патрыстыкі. На аснове арыстоцелеўскай логікі стварыў асновы схаластычнага метаду (гл.Схаластыка), што пазней развіты сярэдневяковымі тэолагамі Захаду. Яго гал. твор «Крыніца ведаў» паўплываў на погляды многіх тэолагаў. У гісторыі л-ры ён вядомы як паэт, аўтар царк. песнапенняў. Яго творы распаўсюджваліся і ва ўсх.-слав. краінах (Грузіі, Стараж. Русі і інш.). Верагодна, аўтар рамана «Варлаам і Іасаф».
Тв.:
Рус.пер. — у кн.: Антология мировой философии;
М., 1969. Т. 1, ч. 2. С. 621—26;
Памятники византийской литературы IV—IX вв. М., 1968. С. 270—280.
