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