Lenguaje formalizado
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:265-266
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,
etc.); 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 de filosofía · 1984:250-251
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, etc.); 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).