Verbum

ЛАГІЦЫ́ЗМ,

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

В.М.Пешкаў.

т. 9, с. 89

ЛАГІ́СТЫКА

(ад грэч. logistikē мастацтва вылічаць, разважаць),

1) назва этапа ў развіцці матэматычнай логікі, прадстаўленага працамі Б.Расела і яго школы (гл. Лагіцызм). У антычнасці тэрмінам «Л.» называлі практычныя аперацыі вылічэнняў і вымярэнняў у арыфметыцы ў процілегласць тэарэт. матэматыцы. У Г. Лейбніца — абазначэнне «вылічэння вывадаў» (calculus ratiocinator) 2) Сінонім ( у пэўнай ступені архаічны) тэрміна «матэм. логіка». У наш час тэрмін «Л.» выкарыстоўваюць для абазначэння матэм. логікі пры вырашэнні эканам. задач, аптымізацыі кіраўніцкіх функцый і інш. Вытворнымі ад «Л.» з’яўляюцца паняцці «лагістычны метад» (спосаб пабудовы фармалізаваных моў для розных раздзелаў логікі) і «лагістычная сістэма» (фармальная частка гэтых моў).

В.М.Пешкаў.

т. 9, с. 89