Verbum

ЗНАЧЭ́ННІ І СЭНС,

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

т. 7, с. 100

МЕТАТЭО́РЫЯ,

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

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

т. 10, с. 310

ЗЯНО́Н ЭЛЕ́ЙСКІ (Zēnōn Heleatēs; каля 490 да н.э., Элея, Паўд. Італія — 430 да н.э.),

старажытнагрэчаскі філосаф, прадстаўнік элейскай школы. Арыстоцель лічыў яго заснавальнікам дыялектыкі як мастацтва спасціжэння ісціны шляхам спрэчак ці тлумачэння процілеглых думак. З.Э. развіваў метафізічнае вучэнне Парменіда, лічыў, што быццё адзінае і нерухомае, а небыццё множнае і знаходзіцца ў руху, ісцінная карціна свету спасцігаецца з дапамогай мыслення. Найб. вядомасць набылі лагічныя аргументы З.Э., т. зв. апарыі — «Ахіл», «Дыхатамія», «Страла», «Стадый». Разважанні З.Э. аб прасторы і часе паслужылі імпульсам для далейшага развіцця ант. матэматыкі, логікі і дыялектыкі. Працы З.Э. не захаваліся, дайшлі толькі невялікія вытрымкі з іх, зробленыя старажытнагрэчаскімі мысліцелямі.

Т.​Л.​Адула.

т. 7, с. 134

ІВАНО́ЎСКІ (Уладзімір Мікалаевіч) (25.7.1867, г. Вышні Валачок, Расія — 4.1.1939),

рускі і бел. філосаф. Скончыў Маскоўскі ун-т (1890). Прыват-дацэнт Маскоўскага (1899—1903 і 1914—17), Казанскага (1904—12) ун-таў, праф. Самарскага (1918—21) ун-та і БДУ (1921—27). Даследаваў праблемы асацыятыўнай псіхалогіі, гісторыі філасофіі і культуры, логікі і метадалогіі навукі, светапоглядныя асновы і дыялектыку інтарэсаў і патрэбнасцей чалавека. Перакладаў працы А.​Бэна, У.​Джэмса, Р.​Дэкарта, Дж.​С.​Міля, У.​Мінта і інш.

Тв.:

Движение к распространению университетского образования в России. М., 1900;

Ассоциационизм психологический и гносеологический. Ч. 1. Казань, 1909;

Методологическое введение в науку и философию. Т. 1. Мн., 1923.

т. 7, с. 155

КВА́НТАРЫ (ад лац. quantum колькі),

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

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

т. 8, с. 211

НО́ВІКАЎ (Пётр Сяргеевіч) (28.8.1901, Масква — 9.1.1975),

расійскі матэматык, стваральнік школы матэм. логікі. Акад. АН СССР (1960). Скончыў Маскоўскі ун-т (1925). З 1929 у Маскоўскім хім.-тэхнал. ін-це, з 1934 у Матэм. ін-це імя У.​А.​Сцяклова АН СССР, з 1945 праф. Маскоўскага пед. ін-та імя Леніна. Навук. працы па тэорыі мностваў, матэм. логіцы, тэорыі алгарытмаў і тэорыі груп. Прапанаваў метад даследавання праблем дэскрыптыўнай тэорыі мностваў, метад доказу несупярэчнасці фармальных сістэм. Даказаў невырашальнасць праблемы тоеснасці, спалучанасці і ізамарфізму ў тэорыі груп. Ленінская прэмія 1957.

Тв.:

Избр. труды: Теория множеств и функций. Математическая логика и алгебра. М., 1979.

т. 11, с. 370

АЙДУКЕ́ВІЧ ((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.

Г.​У.​Грушавы.

т. 1, с. 174

ДАСТАТКО́ВАЙ ПАДСТА́ВЫ ПРЫ́НЦЫП, дастатковай падставы закон,

прынцып логікі, паводле якога палажэнне лічыцца сапраўдным, калі яно грунтуецца на пераканаўчых падставах. Фактычна з’яўляецца асновай усіх лагічных тэорый старажытнасці, сярэднявечча і новага часу; як асобны прынцып сфармуляваны Г.Лейбніцам. Мае аналогію з прычыннай залежнасцю аб’ектыўных з’яў. Калі ў аб’ектыўным свеце ўсякая з’ява, дзеянне і інш. мае прычыну, то ў пазнанні сапраўднасць усякай думкі павінна быць абгрунтавана. У дэдукцыйных разважаннях і тэорыях за дастатковую падставу прымаецца даказанае выказванне або сукупнасць такіх, з якіх лагічна вынікае выказванне, якое абгрунтоўваецца. Закон выражае ўласцівасць доказнасці лагічна правільнага мыслення. У аксіяматычных сістэмах і падобных да іх строгіх лагічных пабудовах Д.п.п. патрабуе забеспячэння пераканальнасці выказванняў тэорыі, што разглядаюцца ў якасці яе тэарэм.

т. 6, с. 61

ПАСЫ́ЛКА (у традыц. логіцы),

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

т. 12, с. 176

ПІРС ((Peirce) Чарлз Сандэрс) (10.9.1839, г. Кеймбрыдж, штат. Масачусетс, ЗША — 19.4.1914),

амерыканскі філосаф, логік, матэматык і прыродазнавец, адзін з заснавальнікаў прагматызму і семіётыкі. Чл. Амер. АН і мастацтваў (1877), Нац. АН ЗША (1879). Скончыў Гарвардскі ун-т (1859). Праф. Кембрыджскага, Гарвардскага, Балтыморскага, Бостанскага ун-таў. Распрацаваў шэраг асноватворных ідэй агульнай і матэм. логікі. Імкнуўся спалучыць навук. даследаванні з рэліг. верай. Гал. прынцып прагматызму выклаў у працах «Як зрабіць нашы ідэі выразнымі» (1876), «Замацаванне вераванняў» (1877). Лічыў, што змест паняццяў поўнасцю вычэрпваецца ўяўленнем аб яго магчымых практычных выніках; адсюль вызначэнне ісціны як веры, якая выклікае дзеянне, што вядзе да пастаўленай мэты. Яго тэзіс «існаваць — значыць быць карысным» (т.зв. «прынцып 11.») стымуляваў распрацоўку ідэаліст. філасофіі прагматызму У.Джэмсам.

т. 12, с. 383