Filosofía en español 
Filosofía en español

Lenguaje formalizado

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

Lenguaje formalizado

Cálculo al que se asigna una interpretación (Interpretación y modelo). La parte sintáctica del lenguaje formalizado (Sintaxis lógica) o el propio cálculo se constituye de manera puramente formal (Método logístico). El cálculo se convierte en lenguaje formalizado cuando se añaden reglas semánticas que asignan significados (Significado y sentido) a las expresiones del cálculo correctamente estructuradas. El lenguaje formalizado, además de axiomas puramente lógicos, puede contener también algunas afirmaciones de carácter no lógico (por ejemplo, algunas leyes de la biología, axiomas de la aritmética, &c.); en este caso, el lenguaje formalizado describe deductivamente la correspondiente esfera de contenido. Gracias a sus procedimientos deductivos, el lenguaje formalizado permite efectuar un razonamiento riguroso y obtener nuevas conclusiones inferibles deductivamente, no contenidas de manera directa en los axiomas adoptados. Tenernos, pues, que el lenguaje formalizado constituye un medio de inferencia y demostración en las disciplinas científicas formalizables. Su papel es muy importante para las tentativas de automatizar el razonamiento científico por medio de máquinas electrónicas (Cibernética)

Diccionario filosófico · 1965:265-266

Lenguaje formalizado

Cálculo al que queda adscrita la interpretación (Interpretación y modelo). La parte sintáctica del lenguaje formalizado (Sintaxis lógica), o el cálculo mismo, se constituye de modo puramente formal (Método logístico). El cálculo se convierte en lenguaje formalizado al añadirse las reglas semánticas que adscriben las significaciones (Significación y sentido) a las expresiones del cálculo construidas correctamente. Además de los axiomas puramente lógicos, el lenguaje formalizado puede contener también algunas afirmaciones de carácter no lógico (por ejemplo, algunas leyes de la biología, axiomas de la aritmética, &c.); en este caso, el lenguaje formalizado describe deductivamente la correspondiente esfera substancial. Gracias a sus medios deductivos, el lenguaje formalizado permite formular un razonamiento riguroso y obtener nuevas consecuencias derivables deductivamente, que no figuran en los axiomas aceptados. Así pues, el lenguaje formalizado es aparato de conclusión y demostración en las disciplinas científicas formalizadas. El papel del lenguaje formalizado aumenta en virtud de los intentos de automatizar el razonamiento científico con ayuda de máquinas electrónicas (Cibernética).

Diccionario de filosofía · 1984:250-251