(in. Logistic system; fr. Système logistique; al. Logistiches System; it. Sistema logístico).
Cálculo lógico ao qual não se dá nenhuma interpretação. Para constituir um sistema logístico são suficientes:
1) um vocabulário de símbolos primitivos;
2) as regras de formação que determinam quais as combinações de símbolos primitivos são permitidas e quais não são;
3) regras de inferência, ou seja, de transformação das expressões compostas que dão origem a outras;
4) algumas proposições primitivas ou axiomas.
Distingue-se do sistema logístico a linguagem formal, pois a esta última é dada certa interpretação. Para passar do sistema logístico à linguagem formal são, pois, necessárias algumas regras semânticas que atribuam um significado às fórmulas do sistema. Pode-se dizer também que a diferença entre sistema logístico e linguagem formal é que o primeiro tem somente regras sintáticas e a segunda tem também regras semânticas (d., sobre isso, A. Church, “The Need for Abstract Entities in Semantic Analysis”, em Proceedings of the American Academy of Arts and Sciences, 1951, pp. 100 ss.; Introduction to Mathematical Logic, 1956) (v. cálculo, formalização). [Abbagnano]