INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

Paradojas
Qu es una paradoja?
Por paradoja solemos entender cosas que son tales pero tambin alguna que
no lo es tanto. Una paradoja es una construccin lingstica de la que no
somos capaces de afirmar ni su veracidad ni su falsedad ya sea porque su
veracidad implica su falsedad o porque su veracidad implica su veracidad de la
misma forma que su falsedad implica su falsedad. Veremos ms adelante que
quiere decir exactamente este galimatas que a pesar de lo que pueda pensar
el lector tiene sentido. As por ejemplo entenderemos en este ensayo como
paradoja la frase este enunciado es falso ya que si este enunciado se refiere
al propio enunciado este enunciado es falso ello implica que si el enunciado
es verdadero el enunciado es falso mientras que si es falso es verdadero. Esta
es la forma ms simple de paradoja incompatible. Sin embargo no sern
paradojas tales enunciados como la nombrada paradoja de Zenn1 o las
paradojas de inversin estadstica2 ya que ellas realmente encontraron su
solucin en el avance de las matemticas. As por ejemplo la paradoja de
Zenn no es tal si tenemos claro el concepto de lmite de serie y la paradoja de
inversin estadstica es un mero juego de probabilidades.

Tipos de Paradojas
Podemos separar nuestros enunciados lgicos en tres categoras anlogas a
un sistema de ecuaciones:
Proposiciones compatibles determinadas: que son aquellas en las
que se puede demostrar su falsedad o verdad.
Proposiciones compatibles indeterminadas: que son aquellas en las
que se puede demostrar su verdad y su falsedad.
Proposiciones incompatibles: que son aquellas en las que no se
puede demostrar ni su veracidad ni su falsedad.

Para poder determinar a qu tipo de paradoja pertenece aquella que tengamos

entre manos es necesario tener algunos conocimientos bsicos de lgica
proposicional y lgica de clases. Adems necesitaremos trabajar tambin con el
volumen conceptual asociado a una palabra que designaremos como &a. Sus
tres dimensiones sern:
La palabra sintctica (@a): o la relacin que tiene la palabra con
aquellas que le rodean
La palabra semntica (*a): o el significado propio de la palabra.
La palabra pragmtica ($a): o la relacin entre emisor y receptor que
implica la palabra.

Paradojas

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

Estas relaciones no son completamente independientes. Ya que la palabra

pragmtica depende de la palabra semntica y de la sintctica, la palabra
semntica depende de la semntica y la sintctica solo depende de ella misma.
En nuestro volumen podemos representar esquemticamente esto como sigue:
$a => @a @a > $a $a =>
*a
*a > @a
@a => *a
*a > $a
Tambin ser necesario definir el valor booleano de una palabra (a B) as como
el de una proposicin. No todas las palabras tienen un valor booleano por s
mismas. Un valor booleano es poder atribuir a la palabra los nmeros 1
(verdad) o 0 (falso). As por ejemplo blanco, mojado, seco... no tendrn ningn
valor booleano asociado en principio. Sin embargo verdad
tendr
inmediatamente asociado el valor 1 y enunciado, frase, oracin, lo que l dijo...
deben tener valor booleano an sin determinar. Los verbos funcionaran como
conectores ya sea de inclusin (, ser, pertenecer, parece, etc) o como
vinculacin (, coge, trae, duerme...).

Ejemplos de paradojas y su anlisis

Como ejemplos las paradojas del tipo:
este enunciado es falso
Esta paradoja, llamada inicialmente paradoja del mentiroso es la mas vieja e
importante de las paradojas lgicas. Se le atribuye al filsofo griego Eublides y
en su forma original se escriba como la pregunta Mientes cuando dices que
mientes?. Si la respuesta era S miento entonces no mentas porque estabas
diciendo que mentas pero si dices que No miento entonces o no mientes y
dices completamente la verdad o mientes y entonces mientes cuando
responder que no mientes de forma que resulta coherente pero indemostrable.
El S miento es equivalente a la expresin que hemos plantado inicialmente:
este enunciado es falso
sean: este enunciado:
&a es : falso: &b, bB
= 0 as pues podemos
escribir
@a = @(&a &b) lo cual se puede traducir como el significado de este
enunciado es el significado de este enunciado es falso.
Viendo el enunciado de esta forma es fcil darse cuenta del error que supone
caer en el bucle, como el enunciado es falso debe ser verdadero pero como es
verdadero debe ser falso... ello es equivalente a la expresin:
a = (&(&(&(&.....(&a &b) &b) &b).... &b)

Paradojas

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

La forma correcta de resolver esta paradoja consiste en preguntarnos por el

valor booleano de la expresin y saber interpretar lo que se nos expone a B =
(&a &b)B
La forma que tiene el valor booleano de actuar sobre los elementos del interior
del parntesis es preguntar su valor a cada elemento incluido el conector .
De hecho el valor booleano del parntesis ser el valor booleano del conector.
As:
aB = (aB B bB ) = aB B0
El ltimo trmino de la igualdad nos dice que &a es falso o dicho de otra
manera que si a es 1 entonces B ser 0 y viceversa. Haciendo uso de la
lgica proposicional esto se puede escribir como a B B0 = aB donde es el
negador que invierte el valor booleano de nuestra variable. Asi pues llegamos
finalmente a la expresin:
aB = a B
O lo que es lo mismo que el enunciado es cierto si es falso y es falso si es
cierto. Dentro de una lgica bivaluada esta expresin no tiene sentido pero
intentar resolver la paradoja usando lgicas multivaluadas no creo que sea
correcto ya que ellas de hecho carecen de un sentido claro y en el fondo no
hacen mas que camuflar la incongruencia de la paradoja en la confusin del
mtodo. Este resultado nos muestra que esta paradoja es del tipo incompatible
ya que si aB = 1 entonces 1 = 0 lo cual no es posible.
Por el contrario analicemos ahora la segunda respuesta de la paradoja inicial:
No miento. Esta respuesta es equivalente a la proposicin este enunciado es
verdadero Procediendo de la misma forma que antes:
sean: este
enunciado: &a
es :
verdadero: &b,
bB = 1 en este
caso tras
ordenar nuestros
conceptos
llegamos a: aB =
(aB B bB ) = aB
B1
Ahora tenemos entre nuestras manos la expresin a B B1. Si nos detenemos a
analizarla con cuidado vemos que es equivalente a decir que el &a es
verdadero por lo que el valor booleno del conector ser verdadero si a es
verdadera y falso si a es falso. As pues aB B1 = aB de donde:

Paradojas

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

aB = a B
Este tipo de resultado es el que asociaremos a la clase de paradojas
indeterminadas ya que no podemos asegurar que el resultado sea cierto o falso
pero si que es alguno de los dos (1 = 1 o 0 = 0).
Analicemos ahora la un poco mas compleja llamada paradoja de los
abogados. Esta consiste en lo siguiente:
Un profesor de derecho Protgoras ensea a su alumno Euatle y decide
que este no le pague hasta que no gane su primer caso. Pero Euatle
cuando termina no se dedica a la abogaca y Protgoras le demanda.
Los dos se defienden a si mismo y aqu surge la paradoja:
Protagoras afirma que si gana el juicio cobrara porque as lo dictaminar
el juez mientras que si pierde el juicio cobrar porque Euatle habr
ganado su primer juicio. As pues en cualquier caso cobrar
Pero Euatle afirma que si gana el juicio no tiene porque pagar porque as
lo dictaminar el juez mientras que si pierde el juicio no tiene que pagar
porque no ha ganado aun su primer caso.
Qu puede hacer el pobre juez que se vea envuelto en este
galimatas?
La solucin a este problema seguramente acabara siendo injusta para una de
las dos partes, como demostraremos el juez no tiene ninguna otra opcin
porque sorprendentemente los dos tienen razn. Esta paradoja que se sita
histricamente en tiempo de los filsofos estoicos se puede simplificar en el
siguiente sistema de proposiciones:
Euatle dice:Lo que dice Protgoras es falso
Protgoras dice: Lo que dice Euatle es falso
Por una banda si lo que dice Euatle es cierto entonces Protgoras miente y as
lo que dice Euatle es cierto pero por otra banda si lo que dice Protgoras es
cierto entonces Euatle miente y as lo que dice Protgoras es cierto. Ambos
argumentos parecen lgicos pero sin embargo ambos conducen a respuestas
diferentes. Procedamos a su anlisis como en la paradoja anterior:
Sean:
Lo que dice Protgoras: &a
Lo que dice Euatle: &b
Es:
Falso: &c, cB = 0

Nuestro sistema se puede resumir en el siguiente:

@a =@(&b &c)
@b =@(&a &c)
Paradojas

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

Como en el caso anterior para no caer en las falacias tpicas, llmense bucles
de las paradojas, debemos analizar sus valores bolanos:
aB = (bB B 0 )
bB = (aB B 0 )
Como antes las expresiones (b B B 0 ) y (aB B 0 ) son equivalentes a escribir
bB y aB respectivamente con lo nuestro sistema queda reducido a una
expresin del tipo:
aB = b B
bB = a B
Que es una sencillo sistema de ecuaciones que podemos resolver
arbitrariamente usando la doble negacin o que a B = a B:
aB = a B
bB = bB

Si analizsemos de la misma forma:

Protgoras dice: lo que dice Euatle es cierto
Euatle dice: lo que dice Protgoras es cierto
Llegaramos al mismo resultado, obtendramos una paradoja indeterminada
(PID). Para obtener paradojas incompatibles en el caso de dos interlocutores
(incgnitas) tendramos que tener estructuras del tipo:
Protgoras dice: lo que dice Euatle es cierto
Euatle dice: lo que dice Protgoras es falso
En ese caso llamemos &c1 a cierto y &c2 a falso obtendremos finalmente un
resultado del tipo: aB = bB
bB = aB

=>

aB = aB

El anlisis de enunciados mas complejos, llammosles de tres variables,

del tipo:
Carlos dice:Aarn es un mentiroso
Sergio dice:Carlos dice la verdad
Aarn dice:Sergio dice la verdad

Nos descubre que si un sistema es paradjico indeterminado (PID) o paradjico

incompatible (PIC) slo depende cuando tiene esta estructura de cmo trabaja
la doble negacin. As siguiendo este esquema podemos establecer un
nmero. Al que llamaremos nmero de estado que nos determina si se trata de
un sistema PID o PIC.
Paradojas

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

Sea n el nmero de variables y s la suma de los valores bolanos de las

palabras verdad o mentira ( ciB ). Entonces:
= (1+ (-1)(n+s))/2

= 1 => PID

= 0 => PIC

Comprobemos esta frmula por ejemplo para el caso de 3 variables puesto

anteriormente, tenemos los valores de mentira (0), verdad (1) y verdad (1) as
pues s = 2 y n=3 lo que produce = 0 y por lo tanto estamos en un PIC lo cual
es correcto porque si Aarn dice la verdad entonces Sergio dice la verdad pero
entonces Carlos dice la verdad por lo que Aarn no puede decir la verdad.

Composicin de sistemas paradjicos

Imaginemos que a un sistema paradjico que sumamos una serie de
enunciados relacionados o sin relacionar. Existe alguna forma de resolverlos
simplemente conociendo sin se trata de PID o PIC con anterioridad a la suma?
La respuesta es s, como en toda composicin de enunciados lo nico que
tenemos que hacer es usar el conjuntor ^ y aplicarlo como funciona en la lgica
proposicional utilizando los valores de :

PIC ^ PIC = PIC

PIC ^ PID = PIC
PID ^ PIC = PIC
PID ^ PID = PID

0^0=
0
0^1=
0
1^0=
0
1^1=
1.

As si tenemos el enunciado:
Sergio dice: Aarn es un mentiroso
Carlos dice: Sergio dice la verdad
Aarn dice: Los dos son unos
mentirosos Es anlogo a la suma de
sistemas:
Sergio dice: Aarn es un mentiroso
Carlos dice: Sergio dice la verdad
Aarn dice: Carlos es un mentiroso

Paradojas

Sergio dice: Aarn es un mentiroso

Carlos dice: Sergio dice la verdad
Aarn dice: Sergio es un mentiroso

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

Puesto que son dos = 1 PID y PID da PID => nuestro sistema es coherente
para todas las partes pero como paradoja somos incapaces de decir quien
tiene la razn.

Interpretacin de los sistemas paradjicos

Por qu resultan tan chocantes las paradojas cuando tienen un
parecido tan evidente con la matemtica simple? Nadie se sorprende cuando
un sistema de ecuaciones de incompatible o indeterminado, ello tiene una
interpretacin geomtrica completamente conocida relacionada con el
paralelismo de los planos y con sus intersecciones o sus no intersecciones.
Entonces dnde radica la magia de las paradojas? El lector me deber
perdonar pues introduje en el 1.2 las definiciones de los diferentes aspectos de
la palabra un poco por la manga que ahora justificare. Hasta ahora slo
hemos usado los smbolos @a, &a y a B. Ello se refiere a la conexin sintctica
entre las palabras, a la palabra desnuda en si y a su posible valor cierto o
falso. Como mencionamos en 1.2 podemos trabajar slo con la sintctica y eso
es lo que hemos estado haciendo. Lo sorprendente de las paradojas lgicas es
la aplicacin de la semntica, cosa que en matemtica no podemos hacer. Los
smbolos matemticos 2, 3 +, d/dx implican una serie de relaciones y en caso
de poseer semntica esta es muy dbil. Por ejemplo 2 tiene un significado, es
un par de... de algo. El dos como elemento semntico tiene muy poco valor, es
una palabra muy general con pocos significados vinculados. En las paradojas
encontramos que sus elementos si suelen tener un importante valor semntico,
pero qu ocurre con este?.
En este punto debemos plantearnos que nos dice una paradoja indeterminada
o una paradoja incompatible. La PID nos da mas de un mensaje todos ellos
posibles. As pues tenemos un exceso de informacin que estar relacionado
con el nmero de variables. Todas ellas tendrn una versin de los hechos
completamente coherente. As la paradoja en caso de PID residir en una
sobre informacin. Mientras tanto en la PIC lo que tendremos es que poseemos
varios mensajes contradictorios lo que produce que el enunciado global no
tenga sentido. As podramos decir que la presencia de una PIC produce que
los enunciados pierdan su significado. Podemos resumir lo aqu expuesto en la
siguiente frmula:
*a = n * a
De esta forma si estamos en un sistema PID nuestra informacin se
multiplicar por el nmero de variables mientras que en un sistema PIC nuestra
informacin desaparecer lo que querr decir que el enunciado global carece
de significado.

Paradojas

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

Paradojas Matemticas
Para muchos, una paradoja es algo que a primera vista parece ser falso, pero
que en realidad es cierto; o que parece ser cierto pero que en rigor es falso; o
sencillamente que encierra en s mismo contradicciones; pero los conceptos de
certeza o falsedad en matemticas y a un el de contradiccin, dependen del
grado de desarrollo de la matemtica en un momento dado; parodiando a
Hamlet puede decirse que lo que una vez fue paradoja, ya no lo es, pero
puede volver a serlo. Este hecho tambin se da en las ciencias experimentales
y conduce inicialmente a un cuestionamiento del concepto de rigor cientfico
que se maneja en cada poca.
Uno de los aspectos ms interesantes de la matemtica estriba en que sus
ms difciles paradojas encuentran un camino para originar las ms bellas y
profundas teoras; Kasner y Newman sostienen: como El testamento de la
ciencia es un flujo continuo, de tal manera que la hereja del pasado es el
evangelio del presente y el fundamento del maana
A menudo se llega a paradojas cuando se contradice el denominado principio
del tercero excluido.

Que afirma lo siguiente:

Cualquier enunciado proposicional es verdadero o es falso,
Pero no se pueden dar ambas cosas simultneamente
Al tratar de aplicar a conjuntos infinitos el hecho de que: Si es posible
emparejar todos los elementos de un conjunto con todos los pertenecientes a
otro, entonces, ambos conjuntos tienen el mismo nmero de elementos puso a
los matemticos ante algunos hechos que eran inexplicables en su poca y que
fueron considerados como paradojas; algunas de ellos, son:

1. Es posible emparejar todos los puntos de

dos segmentos de rectas.
En efecto dados dos segmentos AB y CD, que
podemos suponer paralelos, conctese D con A y B
con C para obtener el punto O. Sea M AB, la
recta que pasa por O y M, corta al segmento CD en
el punto N, en forma similar, si N CD, la recta que
pasa por O y N, corta al segmento AB en el punto
M.
De esta forma quedan emparejados todos los
puntos de AB con los del segmento CD.

Paradojas

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

2. En el siglo XVI observando, Galileo Galilei, que todo entero positivo

tiene un cuadrado y que todo cuadrado proviene de un entero positivo, es decir,
que es posible emparejar todos los elementos del conjunto de los enteros
positivos con todos los elementos del conjunto de los cuadrados de nmeros
enteros positivos, lleg a la conclusin de que las relaciones de igualdad y de
desigualdad no son vlidas en el infinito.
En efecto, en su obra Discursos y demostraciones matemticas presentan el
siguiente dilogo entre Salviati y Simplicius:
Salviati: Si pregunto cuntos son los cuadrados de los nmeros, puedes
responderme correctamente que son tantos como sus propias races; dado que
cada cuadrado tiene su raz, y cada raz su cuadrado, ni cada cuadrado tiene
ms de una sola raz, ni cada raz tiene ms de un solo cuadrado.
Simplicius: Qu es lo que hay que resolver esta vez?
Salviati: No veo que se pueda admitir otra conclusion, si no es la de decir que
la cantidad de nmeros en general es una cantidad infinita: los cuadrados son
infinitos y adems ni la cantidad de cuadrados es menor que la de los n
umeros en general, ni esta es mayor que aquella: en
Conclusin los atributos igual, mayor y menor no tienen sentido cuando se
habla de infinitos, sino cuando se trata de cantidades finitas.
3. Es posible emparejar la totalidad de los enteros positivos con los
nmeros pares, aunque estos ltimos estn estrictamente contenidos en el
conjunto de los enteros.

4. En el siglo XIII, el filsofo escoces John Duns Scoto observaba que

dadas dos circunferencias concntricas, todos los puntos de la una pueden
emparejarse uno a uno, con todos los de la otra. Una observacin similar es
vlida para el caso de dos esferas concntricas.
5. Es posible emparejar todos los
puntos de una semicircunferencia con los de
la recta.
En efecto, construya la recta y la
semicircunferencia como se indica en figura,
la correspondencia es la siguiente:
Dado un punto P de la recta, trace el
segmento OP que une el centro de la
semicircunferencia con P, el punto de corte es
el que le corresponde a P por esta asignacin.

Paradojas

INSTITUTO TECNOLGIGO SUPERIOR DEL ORIENTE DEL ESTADO DE HIDALGO, ITESA

Ingeniera En Industrias Alimentarias

6. Es posible emparejar todos los puntos de una semirrecta con

los de un segmento de recta.
En efecto, sean S la semirrecta y OR el segmento; por el punto O
trcese un segmento OP OR, constryase el rectngulo _OPSR y la
diagonal OS
Tmese un punto M OR, y trcese el segmento perpendicular MH a
en donde H OS. A continuacin prolnguese el segmento de recta
PH hasta el punto W de la semirrecta, de esta forma se asigna a cada
punto de OR uno y solo uno de S; similarmente, si W es un punto
cualquiera de S, devolvindose puede verse que, existe una y solo
una imagen de W en OR.

7. En la obra: Dialogo relativo a dos nuevas ciencias, Galileo Galilei propone

la hoy denominada Paradoja de Galileo, de la siguiente manera:
i) Trace el cuadrado _ABCD

Paradojas

ii) Haciendo centro en B trace

el arco de circunferencia AC.

10

iii) Trace sobre AB una recta perpendicular

HE y la diagonal BD.

iv) Haciendo centro en H, trace las

circunferencias de radios HG, HF y HE.

Cuando H tiende a B, la circunferencia tiende a un punto y la corona se reduce

a la circunferencia de radio BC. Luego,
Un punto es igual en rea a una circunferencia !
Los ejemplos anteriores muestran claramente que los conceptos clsicos sobre
el infinito, la longitud, el rea, la relacin entre una totalidad y sus partes, y el
uso de procedimientos finitos pero potencialmente infinitos, no eran suficientes
para dar una interpretacin racional a ciertos hechos geomtricos.

Paradojas Lgicas
Las paradojas han tenido un papel crucial en la historia intelectual, a menudo
presentando los desarrollos revolucionarios de las ciencias, de las matemticas
y de la lgica.
Cada vez que, en cualquier disciplina, aparece un problema que no puede
resolverse en el interior del cuadro conceptual susceptible de aplicarse,
experimentamos un choque, choque que puede constreirnos a rechazar la
antigua estructura inadecuada y a adoptar una nueva.
Es a este proceso de mutacin intelectual al que se le debe el nacimiento de la
mayor parte de las ideas matemticas y cientficas.