Verbum

БА́ЧНАСЦЬ,

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

т. 2, с. 363

ЛАГІЦЫ́ЗМ,

кірунак у асновах матэматыкі, у якім зыходныя паняцці матэматыкі зводзяцца да паняццяў логікі. Ідэі Л. прапанаваны Г.В.Лейбніцам. У сістэматызаваным выглядзе выкладзены Г.Фрэге ў кн. «Асноўныя законы арыфметыкі» (т. 1—2, 1893—1903). Ён прапанаваў звядзенне асноўнага для матэматыкі паняцця натуральнага ліку да аб’ёмаў паняццяў і распрацаваў лагічную сістэму, сродкамі якой можна было даказаць усе тэарэмы арыфметыкі. Дактрына Л. развіта Б.Раселам, які выявіў у сістэме Фрэге супярэчнасць («парадокс Расел», гл. Парадокс). У кн. «Прынцыпы матэматыкі» (т. 1—3, 1910—13) Расел і А.Н.Уайтхед прапанавалі т.зв. тэорыю тыпаў, у якой парадоксаў можна пазбегнуць пры дапамозе спец. іерархіі паняццяў. У далейшым К.Гёдэль паказаў, што сістэмы Л. няпоўныя, іх сродкамі можна сфармуляваць змястоўна правільныя, але не вырашальныя матэм. сцвярджэнні (сцвярджэнні, якія нельга даказаць і нельга абвергнуць). Сістэмы Л. садзейнічалі фарміраванню і ўдакладненню важнейшых логіка-матэм. ідэй, зрабілі значны ўплыў на развіццё матэматычнай логікі і навукі.

В.М.Пешкаў.

т. 9, с. 89