El lenguaje formal es un lenguaje artificial cuyos símbolos son formales (carecen de significado) y cuyas reglas sintácticas poseen la operatividad y la eficacia de un cálculo. La Lógica y las Matemáticas son lenguajes artificiales y formales.
Los símbolos de un lenguaje formal carecen de significado porque no se refieren a la realidad.
Las reglas de un lenguaje formal poseen la eficacia de un cálculo ya que mediante esas reglas podemos saber si una fórmula (conjunto de símbolos) es una expresión bien formada del lenguaje. Mediante la aplicación de las reglas podremos deducir bien formadas del lenguaje realizando alguna operación sobre otras expresiones bien formadas de él.
MÍSTICA.
No hay comentarios:
Publicar un comentario