Logística
É a lógica algorítmica, também chamada lógica simbólica; ou melhor, lógica signalativa ou algebraica. Para a logística, a matemática é a lógica dos números, e a lógica a matemática dos conceitos e dos juízos. O enunciado logístico não é falso, mas exige uma distinção entre número e conceito, o que naturalmente levado até as últimas conseqüências marca os limites da logística e, também, a coloca dentro das possibilidades da lógica formal.
Chamavam os pitagóricos de logistikê, a matemática do cálculo ou a matemática dos homens de negócio.
Com Leibniz tomou o sentido de lógica matemática, uma das espécies do calculus ratiocinator (cálculo raciocinador). O sentido moderno do termo foi dado pelos franceses para indicar a lógica simbólica ou de sinais, mas emprega-se, sobretudo, para a construção lógica de Frege e Russell, que defendem a tese de que a matemática é redutível à lógica.