El lenguaje natural como modelo de un clculo lgico

Naturalmente el clculo lgico es til porque puede tener aplicaciones.

Pero en qu consiste o cmo se hacen tales aplicaciones?
Para el clculo de enunciados podemos considerar que el lenguaje natural es un modelo
de C si podemos someterlo, es decir, aplicarle una correspondencia en C. Este
proceso es lo que se llama formalizacin del lenguaje.
El lenguaje cientfico necesita "formalizar el lenguaje" a fin de evitar ambigedades en las
expresiones y en los contenidos semnticos de las palabras.
Cuando es posible se llega a una formalizacin completamente sometida
a reglas previamente establecidas, como se pretende en este caso, y los elementos que
constituyen las Expresiones bien formadas (EBF)s del lenguaje natural se pueden sustituir
por variables sin significado, sin contenido semntico alguno porque realizaran la misma
funcin que cualquier expresin de la lengua que cumpla la funcin sintctica de la
expresin. Entonces podemos proceder como en un clculo.
No siempre es posible, pero es, sera, el lenguaje ideal de la ciencia,2 porque evitara la
necesidad de "interpretacin". No habra ms que sustiuir variables por variables
lingsticas y constantes por sus expresiones lingsticas formalizadas.