III. 4. Lenguaje y razonamiento. Lgica simblica.

a. Lenguaje y razonamiento.
Introduccin.- Uno de los hechos ms comunes en la naturaleza es la capacidad que tienen todos los
seres vivos para expresar a los dems seres informacin sobre s mismos y sobre el mundo (tal como por
ellos es sentido, vivido, o, en su caso, comprendido). Esta capacidad de comunicacin se da en todos los
niveles de la escala filogentica, pero en particular en los mamferos superiores. En el caso de la especie
humana adquiere un desarrollo tal, que resulta no slo cuantitativamente sino tambin cualitativamente
diferente de lo que sucede en las dems especies, hasta el punto de que la capacidad de comunicacin
humana es considerada una de las caractersticas definitorias del ser humano. Esta capacidad de
comunicacin es denominada genricamente lenguaje.
1. Lenguaje objeto y metalenguaje. Muchas de las palabras y frases que utilizamos se refieren a cosas
(casa, mesa, salud) o a hechos (hace viento, tengo salud). Pero otras palabras y frases hacen referencia a
palabras (palabra, sustantivo...) o frases (la frase est en plural). Las palabras o frases de este segundo tipo
se denominan metalenguaje, es decir, lenguaje que utilizamos para hacer referencia a otros elementos o
partes del lenguaje. Las palabras y frases del primer tipo son denominadas lenguaje objeto. La distincin
entre lenguaje objeto y metalenguaje permite aclarar muchas de las paradojas (ver ms adelante, por
ejemplo la clsica de Epimnides).
2. Lenguaje Natural y Lenguaje artificial.- Las lenguas naturales son el medio necesario y normalmente
utilizado para la comunicacin, pero adolecen de graves defectos tales como la polisemia (equivocidad,
anfibologa) y la imprecisin; adems de que en ellos se pueden construir fcilmente todo tipo de
paradojas (ver ms adelante).
Las distintas ciencias, especialmente las matemticas, no pueden desarrollarse con tales defectos, por
lo que han ido creando lenguas propias (=lenguajes artificiales): Inicialmente se trataba solamente de la
utilizacin de ciertos trminos y smbolos que no entendan ms que los iniciados en dicha ciencia... Pero
progresivamente han ido surgiendo lenguas completamente artificiales, en las se pretenden eliminar
totalmente los defectos arriba indicados (un ejemplo seran los lenguajes de programacin de
ordenadores. Otro ejemplo lo veremos ms adelante con la lgica de enunciados). Con respecto a la
relacin entre lenguajes artificiales y lenguajes naturales hay que tener claro:
-Los lenguajes naturales son los nicos que tenemos; en tanto que los lenguajes artificiales son
construidos a partir de y mediante los lenguajes naturales y, por ello, tienen en dichos lenguajes naturales
su sentido.
-Las lenguas naturales no han surgido con una finalidad cientfica, por lo que es natural que haya que
introducir ciertas reservas y limitaciones cuando se los usa con fines cientficos.
-La infinita riqueza de los lenguajes naturales tiene como precio las limitaciones a que nos hemos
referido. Podramos construir un lenguaje absolutamente claro y neutral, pero a condicin de que no
dijera absolutamente nada.
-Frente a la falta de objetividad y precisin de los lenguajes naturales es exigible un uso ms objetivo y
preciso. Pero una objetividad y precisin absolutas tendran como precio que el lenguaje dejara de
expresar lo que yo pienso, yo veo, yo deseo,... para pasar a expresar lo que se piensa, se ve, se desea...
3. Las paradojas. Paradojas lgicas.- Las paradojas se presentan en muchos campos de la vida ordinaria.
En general una paradoja o una situacin paradjica es una situacin aparentemente normal pero que nos
muestra la existencia de contradicciones, que nos obligan a replantearnos nuestras nociones previas sobre
la cuestin de que se trate (por ejemplo, las paradojas de Zenn sobre el movimiento, o el mundo
paradjico de Alicia en el pas de las maravillas...). Cuando hablamos de paradojas lgicas nos
referimos a una frase o un razonamiento, ms o menos trivial que, a pesar de su aparente correccin, nos
muestra la existencia de una contradiccin irreductible. Tales paradojas lgicas nos inducen a dudar de la
III.4. Lenguaje y razonamiento. Lgica simblica. (1/2)

fiabilidad de nuestros razonamientos en otros campos que creamos seguros, ya que si nuestro
razonamiento nos puede inducir a contradicciones en algunos casos, nada nos garantizara su fiabilidad en
los dems casos. Hay muchos tipos de paradojas lgicas, algunas basadas en la imprecisin de los
lenguajes naturales (las paradojas del montn), otras basadas en la homonimia, otras en la sinonimia, etc.,
(que suelen estar a la bases de muchos chistes). Tales paradojas son fcilmente evitables mediante un uso
ms preciso del lenguaje. Otras paradojas, cuyo origen est en la misma estructura del lenguaje, son ms
difciles de evitar. Examinaremos tres:
Paradoja 1. La antigua paradoja de Epimnides, el cretense:
A= Epimnides dice que ahora est mintiendo. B La proposicin A no puede ser verdadera, ya que si
lo fuera, no sera verdad B, es decir lo afirmado en la frase A y por tanto A sera falsa. Pero A tampoco
puede ser falsa, ya que entonces B (lo afirmado por A) sera verdadera, y por tanto A sera verdadera. Sin
embargo, nuestra lgica natural nos asegura ? que toda proposicin o es verdadera o es falsa. Esta
paradoja surge del hecho de que toda o parte de la frase A hace referencia a s misma (lenguaje objeto metalenguaje).
Paradoja 2. La paradoja del barbero (Beltrand Russell): En un pequeo pueblo hay un solo barbero que
a) afeita a todos los que no se afeitan a s mismos y b) afeita slo a los que no se afeitan a s mismos. Por
tanto, cualquier habitante del conjunto del pueblo ha de estar dentro del subgrupo de los que son afeitados
por el barbero, o, en caso contrario, dentro del subgrupo de los que no son afeitados por el barbero.
Podramos preguntar a cada uno de los habitantes del pueblo para ver a cul de los dos subgrupos
pertenece. La paradoja surge cuando preguntamos al barbero del pueblo, ya que si se afeita a s mismo no
puede ser afeitado por el barbero (b) y si no se afeita a s mismo, tiene que ser afeitado por el barbero (a).
Es decir que el barbero, no puede estar ni en el subgrupo de los afeitados por el barbero ni en el subgrupo
de los no afeitados por el barbero, lo que parece contradecir nuestra sentido lgico natural.
Paradoja 3. El actual rey de Francia es calvo. Verdadero o Falso? La frase no es verdadera pero
tampoco puede ser falsa, porque en tal caso, la frase contraria, el actual rey de Francia no es calvo sera
verdadero, lo que evidentemente no ocurre. La paradoja surge de que aunque parece ser una sola frase, en
realidad esconde dos: Hay un rey de Francia y tal rey de Francia es calvo.
Cuestionario
Qu es la escala filogentica?
A qu denominamos lenguaje?
Qu diferencia hay entre lengua y lenguaje?
Qu es lenguaje objeto? Pon ejemplos
Qu es metalenguaje? Pon ejemplos
Qu son lenguas naturales? Cules son sus principales ventajas e inconvenientes?
Qu son lenguas artificiales? Cules son sus principales ventajas e inconvenientes?
Qu es una paradoja?
Qu es una paradoja lgica?
Qu nos muestran las paradojas lgicas?
Elige una de las paradojas, exponla y explcala

III.4. Lenguaje y razonamiento. Lgica simblica. (2/2)