ЛОГИСТИКА
(от греч. logistikl
- искусство вычислять, рассуждать), 1) синоним (несколько архаический)
термина, математическая логика. 2) Наименование этапа в развитии математич.
логики, представленного работами Б. Рассела и его школы (см. Логицизм).
В антич. математике Л. называли "искусство" вычислений и геометрич. измерений,
противопоставлявшееся "теоретич." математике.
Г. В. Лейбниц употреблял термины
logistica и logica mathematica как синонимы для разрабатывавшегося им calculus
ratiocinator-исчисления умозаключений, идеи к-рого получили впоследствии
более полное воплощение в современной математической логике. Термин "Л."
имеет ряд производных: логистический метод (способ изложения формальной
логики посредством построения формализованных языков), логистическая система
(то же, что формальная система, исчисление) и др.
Лит.: Чёрч А., Введение в математическую
логику, пер. с англ., т. 1, М., 1960. Ю. А. Гастев.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я