Lenguaje natural y lenguaje formal

¿En qué se distingue el lenguaje natural del formal?

Herder parte del grado de artificio con el que se arman los signos. Si el signo viene de la vida de una comunidad, el lenguaje es natural. Si se construye a propósito para quitar los defectos de ese idioma, es artificial. El artificial, a su vez, se parte en técnico y formal. La lógica del examen vive en el formal, no en el español de todos los días. ¹

El lenguaje natural, también llamado ordinario, lo usa una comunidad lingüística para comunicarse. Se constituyó históricamente, con reglas y convenciones lingüísticas y sociales de esa sociedad. Quien nace ahí acepta ese idioma. El influjo de una persona pasa por hablarlo. Herder pone como ejemplos el castellano, el catalán, el vasco y el gallego, y cualquier otro idioma del mundo. Está muy adaptado a la vida ordinaria. Desde el punto de vista de la comunicación científica es ambiguo y vago.

El lenguaje artificial quiere evitar justo esa ambigüedad y esa vaguedad. Sus símbolos y sus significados no pertenecen a una comunidad natural de hablantes, sino a grupos unidos por un fin científico o técnico.

Dentro de él, el lenguaje técnico sigue usando el idioma natural, pero con muchos términos ya definidos para ese oficio. Herder pone la física: fuerza, masa, velocidad y espacio también se dicen en la calle, y la física fija el sentido en que los usa. El de la medicina puede ser opaco para quien no es del oficio y útil para quien sí. No es todavía el cálculo de la lógica. Las palabras siguen siendo palabras del idioma, solo que recortadas.

El lenguaje formal es otra clase. No solo se inventan los símbolos. También se inventan sus reglas de construcción y sus reglas de transformación. En la práctica se vuelve un cálculo. Si además recibe una interpretación, queda plenamente formalizado. Herder cierra así: el lenguaje de la lógica formal es un lenguaje formal y formalizado. ¹

Ideas clave

• Natural. Idioma de una comunidad, para la comunicación ordinaria. Ambiguo y vago si se le pide precisión científica. El castellano es el ejemplo, no un cálculo. ¹
• Artificial. Se construye para quitar esa ambigüedad. No lo hereda toda la comunidad de hablantes. ¹
• Técnico. Sigue en el idioma, con términos definidos para un oficio. Física y medicina son los ejemplos de Herder. No es el lenguaje de la lógica. ¹
• Formal. Símbolos, reglas para formar fórmulas y, si calcula, reglas de transformación. Sin significado asignado es un cálculo. Con significado, es formalizado. ²
• La lógica. Herder dice que el lenguaje de la lógica formal es formal y formalizado: ya tiene interpretación, no es solo un juego de marcas. ¹

Ejemplos resueltos

"Banco" no es una fórmula

En el patio dices "nos vemos en el banco". Puede ser el asiento o la sucursal. El oyente completa con el contexto. Eso es la ambigüedad que Herder atribuye al lenguaje natural: una misma palabra de la comunidad no trae, por sí sola, un solo sentido científico.

En un lenguaje formal no dejas esa elección al contexto de la calle. Un símbolo entra en una fórmula si las reglas de formación lo permiten. Herder llama fórmulas bien formadas a las que se pueden construir con esas reglas, y dice que ese conjunto es el contenido del lenguaje formal. "Banco" suelto, con dos oficios, no es una de esas fórmulas. ²

Física no es el cálculo

"La masa del carro es 1,200 kilogramos." "Masa" también se dice en la cocina. Aquí va con un número y una unidad: es el recorte técnico del ejemplo de Herder. Sigue siendo español con un término definido. No hace falta una regla de transformación para leer la frase.

Si escribes una fórmula con letras de enunciado y una conectiva, y esa fórmula se puede transformar en otra por una regla del cálculo, ya estás en el formal. Herder dice que, al añadir reglas de transformación, el lenguaje formal es además deductivo: permite demostrar, derivar o calcular. El sistema axiomático es el tipo clásico. En la lógica de enunciados y en la de predicados también se usa la deducción natural. ²

Marcas sin mundo, y marcas con mundo

Una hoja con solo símbolos y reglas, sin decir qué significa cada marca, es el cálculo. Herder llama interpretación a dar significado a un símbolo o a una fórmula. Sin ella no hablas del mundo. Con ella, el lenguaje formal pasa a ser un lenguaje formalizado.

Por eso el rasgo que el examen pide no es "usa palabras difíciles". Es: símbolos y reglas precisas, para no heredar la ambigüedad del idioma. El técnico también precisa palabras, pero no sustituye el idioma por un cálculo.

Errores comunes

Llamar formal a cualquier texto serio, como un ensayo o un debate con moderador. Herder reserva "formal" al lenguaje artificial cuyas reglas de construcción y de transformación se inventan con los símbolos.

Llamar natural a la deducción natural. Esa expresión, en la ficha del lenguaje formal, nombra un cálculo deductivo distinto del sistema axiomático. No nombra el castellano.

Creer que el lenguaje técnico ya quitó toda ambigüedad al estilo de la lógica. Herder lo deja en el idioma, con definiciones de oficio. La vaguedad que quiere evitar el formal es la del idioma ordinario, y el medio es otro: el cálculo.

Cómo lo pregunta el examen

Una pregunta pide el rasgo del lenguaje formal de la lógica frente al natural. Con Herder, la respuesta buena habla de símbolos construidos y de reglas precisas de formación (y, si calcula, de transformación), para evitar la ambigüedad y la vaguedad del idioma de la comunidad. No basta "lo usan los científicos": eso también cabe en el técnico.

Otra define "lenguaje artificial, con símbolos y reglas, como el de la lógica y el de las matemáticas". Eso cae en el formal, no en el castellano ni en el mero vocabulario de la medicina.

Otra muestra una oración con dos lecturas ("con el telescopio", o un caso parecido) y pregunta qué rasgo del natural aparece. Herder lo nombra ambigüedad (y, al lado, vaguedad). No lo llames "falta de gramática". El idioma tiene reglas. Aun así, una frase puede no fijar un solo sentido.

Una lista de características del natural suele incluir que se adquiere en una comunidad y que puede ser ambiguo. Herder dice que quien nace en la comunidad acepta el idioma y que, para la ciencia, ese idioma es ambiguo y vago. No dice que cada símbolo del natural tenga un solo significado. Esa casilla, si aparece, no se sostiene con esta ficha.

Resumen

• El natural es el idioma de una comunidad, útil para la vida y ambiguo para la ciencia.
• El artificial se construye para evitar esa ambigüedad.
• El técnico define palabras del idioma para un oficio. No es el cálculo.
• El formal trae símbolos, reglas de formación y, si deduce, reglas de transformación.
• La lógica formal, en Herder, es un lenguaje formal y además formalizado.