Логистика —
первоначально так назывались логические исчисления. Лейбниц нередко говорпл о
математической логике как Л. Попиманпе Л. как символической или математической
логики было закреплепо на философском конгрессе в Женеве в сентябре 1904 по
предложению Ительсона, Лаланда и Кутюра (Логицизм).
Логистический
метод — принятый в совр. математике и логике метод построения формализованных
систем (Формализация) пли исчислений (в логическом синтаксисе употребляется
термин «синтаксическая система»). Построение таких систем осуществляется чисто
формально, в отвлечении от смысла соответствующих выражений. Оно
предполагает: (1) список первичных символов системы; (2) определение того,
какого вида последовательности первичных символов образуют правильно построенные
формулы системы (сокращенно ППФ) — первые два типа правил относятся к
правилам образования; (3) определение того, какие ППФ относятся к аксиомам;
(4) указание правил вывода (или правил преобразования), по к-рым из
соответствующих ППФ как из посылок непосредственно выводится некоторая ППФ как
заключение. Конечная последовательность, состоящая пз одной пли большего
числа ППФ, наз. доказательством, если каждая ППФ в последовательности либо
является аксиомой, либо непосредственно выводится, согласно правилам вывода,
пз предшествующих ППФ последовательности. Те ППФ системы, для к-рых существуют
доказательства, наз. теоремами системы. Иногда в понятие Л. м. помимо
построения формальной системы включают также и ее интерпретацию (Логическая
семантика). Такоз чисто формальпоо построение системы не означает, конечно,
абсолютного игнорирования содерлсательной стороны, в частности, к.-л. класса
логических законов. Последние всегда так пли иначе учитываются при построении
исчисления. ,