Sistema logístico

(ingl. logistic system; franc. système logistique; alem. logisticher System; ital. sistema logistico). Un cálculo lógico del cual no se da interpretación alguna. Para constituir un Sistema logístico son suficientes:

1) un vocabulario de los símbolos primitivos;

2) las reglas de formación que determinan las combinaciones de símbolos primitivos permitidas y las que no lo están;

3) las reglas de inferencia, o sea de transformación de las expresiones compuestas, una en otra;

4) algunas proposiciones primitivas o axiomas.

En el Sistema logístico se distingue un lenguaje formalizado, porque para este último se da también una interpretación determinada. Para pasar del Sistema logístico al lenguaje formalizado son necesarias, por lo tanto, algunas reglas semánticas que asignen un significado a las fórmulas del sistema. La diferencia entre Sistema logístico y lenguaje formalizado se puede expresar también diciendo que el primero sólo tiene reglas sintácticas y el segundo tiene también reglas semánticas (cf. acerca de esto, A. Church, "The Need for Abstract Entities in Semantic Analysis", en Proceedings of the American Academy of Arts and Sciences, 1951, páginas 100 ss.; Introduction to Mathematical Logic, 1956). Véase Cálculo; Formalización. [1084]