Verbum

БАЦВІ́ННЕ,

надземная раслінная маса агароднінных, кармавых і тэхн. коранеклубняплодаў. У свежым і сіласаваным выглядзе выкарыстоўваецца на корм с.-г. жывёле: пераважна буйн. раг. жывёле (10—15 кг за суткі), у невял. колькасці свінням і авечкам. Бацвінне бульбы з-за наяўнасці ў ім шкоднага хім. рэчыва — саланіну — даюць абмежавана; нельга скормліваць яго цяжарнай жывёле і маладняку.

т. 2, с. 360

ДЭНАТУРАВА́НЫ СПІРТ, дэнатурат,

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

т. 6, с. 350

ЛАГІЦЫ́ЗМ,

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

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

т. 9, с. 89