2-Método logístico

Método logístico

No figura en el Diccionario filosófico marxista · 1946

No figura en el Diccionario filosófico abreviado · 1959

Diccionario filosófico · 1965:316-317

Método logístico

Método adoptado en la matemática y en la lógica modernas para
estructurar sistemas formalizados (Formalización) o cálculos (en la
sintaxis lógica, se emplea el término de “sistema sintáctico”). La
estructuración de tales sistemas se realiza de manera puramente
formal, haciendo abstracción del sentido de las expresiones
correspondientes. Presupone: (1) una lista de los símbolos iniciales
del sistema; (2) determinar qué tipo de sucesión de los símbolos
iniciales está constituido por las fórmulas del sistema correctamente
estructuradas (abreviadamente F.C.E.) (los dos primeros tipos de
reglas se refieren a las reglas de la formación); (3) determinar
cuáles son las F.C.E. que se refieren a los axiomas; (4) indicar las
reglas de inferencia (o de transformación) con que de las
correspondientes F.C.E. se infiere directamente, como de unas
premisas, cierta F.C.E. como conclusión. La última consecuencia, que
consta de una o de un número mayor de F.C.E., se llama demostración si
cada F.C.E. en la consecuencia es un axioma o se infiere
directamente, según las reglas de inferencia, de las precedentes
F.C.E. de la consecuencia. Las F.C.E. del sistema para las cuales
existen demostraciones, se denominan teoremas del sistema. A veces,
en el concepto de método logístico, además de la estructura del
sistema formal, se incluye la interpretación del mismo (Semántica
lógica). Semejante estructura puramente formal del sistema no
significa, desde luego, que se haga caso omiso totalmente del
contenido, en particular de alguna clase de leyes lógicas. Estas, de
uno u otro modo, siempre se tienen en cuenta al estructurar el
cálculo.

Diccionario de filosofía · 1984:290-291

Método logístico

Método –aceptado en las matemáticas y en la lógica modernas– de
estructuración de los sistemas formalizados (Formalización) o de los
cálculos. Tales sistemas se estructuran de modo puramente formal como
ciertas configuraciones de signos y de su sucesión, abstrayéndose del
sentido de las correspondientes expresiones. A veces, en el concepto
de método logístico, además de la estructuración del sistema formal,
se incluye también su interpretación (Semántica lógica). La
estructura puramente formal del sistema no significa, al mismo tiempo,
que se prescinda absolutamente del aspecto substancial, en particular,
de cierta clase de leyes lógicas. Al construir el cálculo, estas
últimas siempre se tienen en cuenta de una u otra manera.

Comparte este artículo