Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
Расел Б. 1/88, 235, 312, 313, 326; 6/9, 238; 7/83, 468, 597; 8/103; 9/97—98; 10/361, 542
Беларуская Савецкая Энцыклапедыя (1969—76, паказальнікі; правапіс да 2008 г., часткова)
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЛАГІЦЫ́ЗМ,
кірунак у асновах матэматыкі, у якім зыходныя паняцці матэматыкі зводзяцца да паняццяў логікі. Ідэі Л. прапанаваны Г.В.Лейбніцам. У сістэматызаваным выглядзе выкладзены Г.Фрэге ў кн. «Асноўныя законы арыфметыкі» (т. 1—2, 1893—1903). Ён прапанаваў звядзенне асноўнага для матэматыкі паняцця натуральнага ліку да аб’ёмаў паняццяў і распрацаваў лагічную сістэму, сродкамі якой можна было даказаць усе тэарэмы арыфметыкі. Дактрына Л. развіта Б.Раселам, які выявіў у сістэме Фрэге супярэчнасць («парадокс Расел», гл. Парадокс). У кн. «Прынцыпы матэматыкі» (т. 1—3, 1910—13) Расел і А.Н.Уайтхед прапанавалі т.зв. тэорыю тыпаў, у якой парадоксаў можна пазбегнуць пры дапамозе спец. іерархіі паняццяў. У далейшым К.Гёдэль паказаў, што сістэмы Л. няпоўныя, іх сродкамі можна сфармуляваць змястоўна правільныя, але не вырашальныя матэм. сцвярджэнні (сцвярджэнні, якія нельга даказаць і нельга абвергнуць). Сістэмы Л. садзейнічалі фарміраванню і ўдакладненню важнейшых логіка-матэм. ідэй, зрабілі значны ўплыў на развіццё матэматычнай логікі і навукі.
В.М.Пешкаў.
т. 9, с. 89
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)