Логистика (от греч. logistike — искусство вычислять, рассуждать), 1) синоним (несколько архаический) термина математическая логика. 2) Наименование этапа в развитии математической логики, представленного работами Б. Рассела и его школы (см. Логицизм). В античной математике Л. называли «искусство» вычислений и геометрических измерений, противопоставлявшееся «теоретической» математике. Г. В. Лейбниц употреблял термины logistica и logica mathematica как синонимы для разрабатывавшегося им calculus ratiocinator — исчисления умозаключений, идеи которого получили впоследствии более полное воплощение в современной математической логике. Термин «Л.» имеет ряд производных: логистический метод (способ изложения формальной логики посредством построения формализованных языков), логистическая система (то же, что формальная система, исчисление) и др.
Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960.
Ю. А. Гастев.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
Логицизм Логицизм, направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. е. возможности (и необходимост...
Логическая операция Логическая операция в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов одна и та же, при этом каждая цифра р...
Логическая семантика Логическая семантика, раздел логики, посвященный изучению значений и смыслов понятий и суждений и их формальных аналогов — интерпретаций выражений (термов и формул) различных исчислений ...