Lenguaje natural, lenguaje

artificial.
El lenguaje es la capacidad que tienen algunas especies animales
para comunicarse mediante smbolos. El lenguaje natural es el que
utilizamos e para comunicarnos con los dems, para hacer preguntas,
expresar emociones, describir hechos, para referirse a s mismo
(metalenguaje), etc. Se trata de un lenguaje aprendido. El espaol, ingls,
francs, etc. son ejemplos de lenguajes naturales.
El lenguaje natural est formado por un conjunto finito
de smbolos (las palabras) y por un nmero determinado de reglas que nos
permiten formar oraciones. Pero el lenguaje natural est plagado de
ambigedades, redundancias y lagunas. Estas insuficiencias son fruto de:

Imprecisiones semnticas. En los lenguajes naturales no se da una

correspondencia biunvoca entre signos y objetos representados: hay
palabras que son demasiado vagas, que estn mal definidas. otras
tienen ms de un significado, y se pueden usar ambiguamente.

Impresiones sintcticas. Las reglas permiten formar enunciados

que no tienen ningn significado. O no permiten operar con eficacia.

Este lenguaje que nos resulta tan til, sin embargo, no es adecuado
para la ciencia, que necesita rigor y exactitud.
Es necesario la creacin de un lenguaje artificial que establezca el
uso de los trminos y la formacin de enunciados. Los lenguajes artificiales
eliminan las imprecisiones del lenguaje ordinario.
El lenguaje artificial consta de los mismos elementos que cualquier otro
lenguaje, signos y reglas, pero adems exige que:

los signos estn bien definidos.

las reglas para la transformacin de frmulas que permitan pasar

de unas expresiones a otras de forma rigurosa y exacta.

las reglas para la formacin de enunciados, permitan saber de

manera inmediata si un frmula est bien formada.

Un lenguaje formal es aquel que utiliza una tabla de smbolos formales

(constantes o variables), reglas para la formacin de frmulas (que
legitiman la combinacin de smbolos) y transformacin de frmulas (que
permiten operar con eficacia)

La lgica y la matemtica lenguaje artificial que utiliza es el lenguaje

formal.