Filosofía en español
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 filosófico · 1965:316-317
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.
Diccionario de filosofía · 1984:290-291