2.

- El lenguaje artificial
Para superar las deficiencias del lenguaje natural y dar exactitud a las ciencias se constituyen lenguajes artificiales. Podemos considerar nuestro lenguaje como una ciudad antigua: un laberinto de pequeas calles y plazas, de casas viejas y nuevas, y de casas con aadidos que datan de pocas distintas; y todo ello rodeado de una multitud de barrios nuevos con calles rectas regularmente trazadas y casas uniformes. (WITTGENSTEIN, Philosophische Untersuchungen, 8). Parece muy sencillo distinguir los lenguajes naturales de los artificiales pues los primeros los heredamos y los segundos los construimos . 1 Los lenguajes naturales son las lenguas creadas y recreadas continuamente por la especie, en el transcurso de muchos siglos y transmitidas a cada individuo. Los lenguajes naturales son los que hablamos todos los das. Los lenguajes naturales tambin han sido construidos, solo que a un ritmo ms lento y eso ha hecho que sean ms ambiguos y ms ricos. Los lenguajes artificiales se construyen para profundizar en la investigacin matemtica y cientfica sin caer en las imprecisiones del lenguaje ordinario. Esto hace que pierdan su riqueza expresiva, agilidad y belleza, pero eso no es fundamental en las ciencias. Son lenguajes de precisin , medios de comunicacin construidos por los cientficos para poder formular con mayor justeza las relaciones entre los objetos estudiados por las ciencias respectivas. De esa manera se intenta superar la vaguedad de las expresiones ordinarias. Los constructores de lenguajes artificiales encauzan, dirigen y prolongan el lenguaje en beneficio de las ciencias, para ello: 1.- Redefinen los trminos, para evitar que tengan varios significados (P.ej. En Fsica se define masa, energa,...). El significado de cada trmino se determina de un modo unvoco, es decir, con precisin absoluta. 2.- Se intentan evitar confusiones y vaguedades en las oraciones mediante reglas claras y eficaces para formarlas. 3.- Y para evitar problemas de razonamientos, se elaboran reglas operativas rigurosas que eviten contradicciones. En un lenguaje artificial tanto la totalidad de sus smbolos como las reglas (o leyes) que lo integran se establecen de modo explcito y convencional. El uso de lenguajes artificiales es muy limitado desde el punto de vista expresivo, pero son imprescindibles para las ciencias. Todas las ciencias las utilizan, al menos mediante un conjunto de palabras tcnicas. Especialmente la Fsica y la Qumica posen un lenguaje artificial elaborado, pero, nicamente las matemticas y la lgica han sido capaces de elaborar una terminologa rigurosa, precisa, exacta, unvoca, donde la totalidad de sus smbolos y de sus frmulas se encuentran determinadas a priori y de un modo estricto, es decir, han construido un lenguaje formal.

En realidad todos los lenguajes humanos son construcciones convencionales o artificiales, puesto que no existe ninguna razn natural para que las palabras designen los objetos que significan, por ejemplo, para el trmino pizarra signifique el objeto pizarra. Lgica.- Pgina 6

3.- El lenguaje formal.

Un lenguaje formal es un lenguaje artificial que sustituye palabras o frases enteras del lenguaje natural por determinados signos. Un lenguaje formal es un lenguaje artificial que utiliza: 1.- Smbolos formales y - Reglas sintcticas que poseen operatividad y eficacia para el clculo: 2- Reglas de formacin de frmulas. 3- Reglas de transformacin de frmulas. Las matemticas y la lgica utilizan un lenguaje formal o simblico.

3.1.- CONJUNTO DE SMBOLOS O ELEMENTOS PRIMITIVOS.

Son las piezas a manejar dentro del sistema. Se establecen por CONVENIO. Habr tantos como sean necesarios PARA OPERAR.

Este conjunto de smbolos primitivos ha de estar DEFINIDO DE FORMA EFECTIVA: Un conjunto cualquiera est definido de manera efectiva cuando podemos decidir, ante un objeto cualquiera, si ese objeto es o no es miembro del conjunto en cuestin

Para ello tenemos dos procedimientos: 1.- ENUMERAR exhaustivamente los elementos de ese conjunto. P. Ejemplo {2, 4, 6, 8, 10}. Este procedimiento es muy laborioso cuando los elementos son muchos o infinitos, (p. ej. los nmeros naturales). 2.- DEFINIR el conjunto por medio de una PROPIEDAD lo suficientemente precisa como para permitir una decisin en el sentido indicado. Ejemplo El conjunto de los enteros positivos pares menores de 12.

Los smbolos utilizados son de dos clases:

3.1.1.- SMBOLOS VARIABLES.

Son aquellos que carecen de significado fijo. Tienen un sentido variable segn el CONTEXTO en que se encuentran. En matemticas las letras x o y en las expresiones aritmticas. En lgica p, q,... pueden estar en cualquier enunciado.

Lgica.- Pgina 7

3.1.2.- SMBOLOS CONSTANTES.

Aquellos que tienen un sentido fijo. Sirven para enlazar los smbolos variables. En los lenguajes formales se les llama OPERADORES.

En matemticas +, =,... en la aritmtica elemental. En lgica , ,...

3.2.- REGLAS DE FORMACIN DE FRMULAS O REGLAS DE CONSTRUCCIN.

Establecen los criterios para combinar correctamente los smbolos formales. As siempre sabremos si una frmula pertenece o no al lenguaje en cuestin, ya que ese conjunto de reglas debe proporcionar una definicin EFECTIVA de la nocin de EXPRESIN BIEN FORMADA. En los lenguajes naturales tambin hay reglas de este tipo pero, habitualmente, no se hacen explcitas y se utilizan con mucha flexibilidad. La heroica ciudad dorma la siesta. (Clarn)

3.3.- REGLAS DE TRANSFORMACIN DE FRMULAS.

Son las que nos permiten OPERAR con frmulas dentro del clculo, es decir, pasar de una frmula a otra. Podemos transformar una combinacin bien construida de smbolos en otra combinacin que resultar igualmente bien construida. Tambin, el concepto de reglas de transformacin ha de quedar definido de forma efectiva: debemos saber siempre si una transformacin es correcta o no.

3.4. EJEMPLO: EL AJEDREZ.

1.-. Smbolos primitivos = piezas (un mueco de spderman no es una pieza de ajedrez) 2.- Reglas de formacin = instrucciones sobre las posiciones que deben ocupar las piezas (una pieza sobre la lmpara no est en el juego). 3.- Reglas de transformacin = movimientos que se pueden hacer (tirar una pieza por la ventana no es un movimiento del ajedrez).

Lgica.- Pgina 8