Anda di halaman 1dari 17

MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA

Lectura: Lgica de orden superior de Mara Manzano


1. Introduccin
Vamos a mostrar 4 paradojas mencionadas en el texto en cuestin. Primero, la
paradoja de Russell en su versin ms conocida que tambin es llamada la
paradoja de las clases. Segundo, la paradoja de Cantor asociada a la
investigacin sobre el mximo nmero cardinal. Tercero, la paradoja del
mentiroso tratada por Haack que la formula sin ayuda de operadores
semnticos. Y cuarto, la paradoja de Richard que es la ms complicada debido
a que hace uso de tcnicas matemticas. La idea es relacionarnos con estas
paradojas para poder aclarar su importancia, significado, implicancias e
impacto en la lgica.

2. Paradoja de las clases

La clsica paradoja de Bertrand Russell de la Teora Lgica de las Clases fue
descubierta por Zermelo en 1900 y un ao ms tarde, redescubierta
independientemente, por Russell, quien la public. Se ha solido considerarla
como una paradoja de la Teora de Conjuntos debido a la confusin del
concepto de conjunto con el concepto fregeano de clase (o extensin de un
concepto). La fundamentacin lgica de la Aritmtica por Frege se basaba en
el supuesto de que para cada propiedad o condicin (x) , expresable en el
lenguaje, existe la clase de todas las cosas que tienen esa propiedad o
cumplen esa condicin. Sucumbiendo a la confusin sealada, dicha clase se
representa con el mismo smbolo que el conjunto de todas las x que cumplen la
condicin (x), a saber,
{x / (x) }.
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
Naturalmente, los objetos de esta clase satisfacen la condicin que la define,
es decir, z ( z e { x / (x) } (z) ); donde alentamos la confusin
utilizando el smbolo e para significar la pertenencia a una clase fregeana.
Ciertamente hay clases que no se pertenecen a s mismas, esto es clases x
tales que x e x ; por ejemplo, la clase de todas las moscas no es una mosca.
Russell se pregunt por la clase de todas las clases que cumplen esa
condicin, la clase
r = { x / x e x }
de todas las clases que no se pertenecen a s mismas. La suposicin de que
esta clase existe produce inmediatamente una contradiccin. En efecto,
z ( z e { x / x e x } z e z ).
Tomando en consideracin que
{ x / x e x } = r,
tenemos que
z ( z e r z e z ) .
Lo que vale para todo z vale en especial para r, por lo tanto, r e r r e r, lo
cual es una contradiccin manifiesta formalmente idntica a V(o)F(o), donde
o= r e r. (Mostern y Torreti, 2002, p. 434). Enseguida para reproducir la
paradoja en lenguaje natural y formal presupondremos entes que se
pertenecen a s mismos.
1. Para todo elemento z, z pertenece al conjunto determinado por aquellos
elementos que tienen la propiedad si y solo si z tiene la propiedad
2. Para todo y conjunto o elemento, y tiene la propiedad es igual a que y no
pertenezca a y.
3. r es el conjunto determinado por aqullos elementos que tienen la propiedad de
no pertenecerse a s mismos.
4. Dados a y b, a pertenece a b es igual a que no sea cierto que a no pertenece a
b.
POR LO TANTO, No es cierto que para todo W, W se pertenece a s mismo.

MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
1. z ( z e { x / (x) } (z) )
2. y ( (y) = y e y )
3. r = { x / x e x }
4. a b (aeb = (aeb) ) //(W(WeW) )
5. W(WeW) //
6. (x) = x e x 2 EJEMPLIFICACIN UNIVERSAL
7. (z) = z e z 2 EJEMPLIFICACIN UNIVERSAL
8. z ( z e { x / x e x } z e z ) 1, 6 Y 7 (I)
9. z ( z e r z e z ) 3 Y 8 (I)
10. r e r r e r 9 EJEMPLIFICACIN UNIVERSAL
11. (r e r r e r ) & ( r e r r e r )
10 DEFINICIN BICONDICIONAL
12. ((r e r ) v r e r ) & ( (r e r ) v r e r )
11 DEFINICIN CONDICIONAL
13. r e r = ( r e r ) 4 EJEMPLIFICACIN UNIVERSAL
14. ((r e r) v ( r e r ) ) & ( ( r e r) v (r e r ) ) 12 Y 13 (I)
15. ( r e r ) & ( r e r) 14 DOBLE NEGACIN E IDEMPOTENCIA
16. (W(WeW) ) ( r e r ) & ( r e r) 5-15 PRUEBA CONDICIONAL
17. (W(WeW) ) 16 REDUCCIN AL ABSURDO

3. Paradoja de Cantor

La paradoja del mximo nmero cardinal de la Teora intuitiva de Conjuntos fue
descubierta por Georg Cantor y luego comunicada por ste a Dedekind en una
carta escrita en 1899. Con ella se demuestra la inexistencia del conjunto
universal U aplicando la prueba por reduccin al absurdo. Recordemos que por
paradoja entendemos el argumento que desemboca en contradicciones. Pero
ya que para entender la paradoja es necesario estar imbuido en los conceptos
matemticos, trataremos breve y claramente las nociones previas para la
buena comprensin de esta paradoja. En primer lugar, distingamos entre
conjuntos de elementos y conjuntos de conjuntos. En los conjuntos de
elementos la relacin que se da entre cada elemento y un conjunto es la
relacin de pertenencia o no pertenencia. En cambio, en los conjuntos de
conjuntos la posible relacin que se da entre cada conjunto y otro conjunto es
la relacin de inclusin. En ste ltimo caso es comn distinguir a los conjuntos
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
incluidos en otros con la denominacin de subconjuntos. En este sentido,
entendamos que el conjunto potencia de cualquier conjunto es un conjunto de
todos los posibles subconjuntos obtenidos a partir de reagrupar de modo
diferente los elementos de ese conjunto. Ahora bien, formalmente la nocin de
subconjunto de un conjunto se introduce por la siguiente definicin: un conjunto
A es un subconjunto de un conjunto B, si cada elemento de A es un elemento
de B.
n [(neA)(neB)] AcB
Tcnicamente, los conjuntistas llaman cardinal al nmero de elementos de un
conjunto dado, en smbolos, dado el conjunto X es posible determinar Card(X),
es decir, el cardinal de X. Adems, el nmero de subconjuntos de un conjunto
C, se obtiene a partir de elevar la base 2 al nmero correspondiente al cardinal
de C, es decir, simblicamente,
Card ( Pot (C) ) =2
Card(C)
.
Ejemplo: El conjunto A = {a, b, c} de tres elementos (o sea, con Card(A)=3)
tiene ocho (2
3
) subconjuntos reunidos en su respectivo conjunto potencia:
Pot(A) = { |, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c} }
( Card( Pot(A) ) =2
Card(A)
=2
3
=8 ).
(Obsrvese que el conjunto potencia de A incluye al conjunto vaco (|) y al
mismo conjunto A).
La relacin entre inclusin y cardinalidad es casi evidente: si un conjunto A es
subconjunto de otro B, el primero tendr menor o igual cardinalidad que el
segundo, simblicamente,
AcBCard(A) s Card(B).
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
Tambin es notoria la relacin entre conjunto potencia y cardinalidad: dado un
conjunto X, Pot(X) tendr mayor cardinalidad que X, en smbolos,
Card(Pot(X)) > Card(X).
Este ltimo resultado es conocido como el Teorema de Cantor.

Este es el argumento paradjico de Cantor. Supuesta la existencia del conjunto
universal U, por un lado, se plantea que como U incluye a todos los conjuntos,
U tambin incluir a su propio conjunto potencia Pot (U), es decir,
( Pot (U) _ U ).
Pero, la cardinalidad de un subconjunto X de Y es siempre menor o igual que la
cardinalidad de Y. sta es la relacin entre inclusin y cardinalidad de dos
conjuntos cualesquiera:
XY ( ( X _ Y ) ( Card(X)

s Card(Y) ) ).
Por lo tanto, mediante la ejemplificacin universal de la anterior frmula
obtendremos la condicional
( Pot(U) _ U ) ( Card(Pot(U))

s Card(U) )
y por Modus Ponens entre esta frmula y la primera de todo el razonamiento,
obtenemos la siguiente frmula:
Card(Pot(U)) s Card(U).
Por otro lado, por el Teorema de Cantor que indica que
X ( Card(Pot(X)) > Card(X) )
tendremos que
Card(Pot(U)) > Card(U).

MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
Estos dos resultados se contradicen. ste es el razonamiento en lenguaje
natural el cual aunque es paradjico ha sido formulado de manera que parezca
una reduccin al absurdo trivial, puesto que, como veremos, la nueva premisa
negada no interviene en los pasos deductivos de la prueba.
1. Dados dos conjuntos X e Y, si X es un subconjunto de Y, la cardinalidad de
X ser menor o igual que la de Y.
2. Dado un conjunto X, el cardinal de su conjunto potencia ser mayor que su
cardinal. (Teorema de Cantor)
3. Todos los conjuntos estn incluidos en el conjunto universal.
POR LO TANTO: No es cierto que exista el conjunto universal.
Enseguida, el mismo argumento en lenguaje lgico.


1. X Y ( ( X _ Y ) ( Card(X)

s Card(Y) ) )
2. X ( Card(Pot(X)) > Card(X) )
3. X ( X _ U ) // ( -X ( X=U ) )
4. -X ( X=U ) //
5. Pot(U) _ U 3 EJEMPLIFICACIN UNIVERSAL
6. Pot(U) _ U Card(Pot(U))

s Card(U)1 EJEMPLIFICACIN UNIVERSAL
7. Card(Pot(U)) s Card(U) 5, 6 MODUS PONENS
8. Card(Pot(U)) > Card(U) 2 EJEMPLIFICACIN UNIVERSAL
9. (Card(Pot(U)) s Card(U)) & (Card(Pot(U)) > Card(U))
7, 8 CONJUNCIN
10. -X ( X=U ) (Card(Pot(U)) s Card(U)) & (Card(Pot(U)) > Card(U))
4-9 PRUEBA CONDICIONAL
11. ( -X ( X=U ) ) 10 REDUCCIN AL ABSURDO










MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
4. Paradoja del Mentiroso (Versin de Haack)

Susan Haack
1
en Filosofas de las Lgicas trata esta versin de la paradoja del
Mentiroso considerando solamente el aspecto formal de la misma y dejando de
lado el uso de predicados veritativos. La versin que presentamos a
continuacin est basada en la propuesta de Haack, pero ha sido modificada
de tal modo que la premisa sea nica puesto que ella prefiere utilizar dos y
hasta tres premisas algo a nuestro parecer innecesario. Como ya hemos
anotado, la formulacin ms simple de la paradoja del Mentiroso es la
siguiente: Esta oracin es falsa. En este caso hemos necesitado utilizar una
oracin ms larga y ms compleja. El argumento de la paradoja del Mentiroso
es ste:
1. La oracin numerada con 1 es la oracin Toda oracin numerada con 1 est
negada. POR LO TANTO, la oracin numerada con 1 es verdadera si y solo si
es falsa.
Hemos utilizado la siguiente abreviatura: el nombre r de la oracin numerada
con 1, adems de los predicados veritativos correspondientes a la falsedad y
la verdad, es decir, V o F. Tambin nos valemos del esquema deflacionista D y
de sus consecuencias teoremticas. A nivel de reglas de deduccin hemos
considerado conveniente hacer uso de la regla que rige las identidades (I)
2
,
segn la cual si S es una frmula abierta, de S y t
1
= t
2
es posible deducir T,
siempre que T resulte de S por reemplazo de una o ms incidencias de t
1
, en
S, por t
2
. Tambin hacemos uso de la intuitiva propiedad transitiva de la
identidad segn la cual: Si una cosa a es igual a otra cosa b, y si esta otra

1
HAACK, Susan. Filosofa de las lgicas. Madrid, Ctedra, 1982,. pp. 173-174.
2
SUPPES, Patrick. Introduccin a la Lgica Simblica. Mxico, CECSA, 1979, p. 144.
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
cosa b es igual a una tercera cosa c, entonces esta cosa a es igual a la tercera
cosa c, en smbolos:
c a c b b a = = = ) & ( .
Aplicaremos una prueba condicional doble.
1. r = y ( ( r = y) y ) // ) ( ) ( r F r V
2. ) (r V // ) (r F
3. r 2 Y (D)*
3
MODUS PONENS
4. y ( ( r = y) y ) 3 Y (I) REGLA DE LAS IDENTIDADES
5. r = ( y ( ( r = y) y ) ) ( y ( ( r = y) y ) )
4 EJEMPLIFICACIN UNIVERSAL
6. ( y ( ( r = y) y ) ) 1 Y 5 MODUS PONENS
7. r 1 Y 6 (I) REGLA DE LAS IDENTIDADES
8. ) (r F 7 Y (D)**
4
MODUS PONENS
9. ) ( ) ( r F r V
10. ) (r F // ) (r V
11. r 10 y (D)***
5
MODUS PONENS
12. y ( ( r = y) y ) 1 Y 11 (I) REGLA DE LAS IDENTIDADES
13. -y ( ( r = y) y ) 12 INTERCAMBIO DE CUANTIFICADOR.
14. -y ( ( r = y) y ) 13 DOBLE NEGACIN (DN)
15. -y ( ( r = y)
&
y ) 14 DEF. COND., DE MORGAN Y DN
16. ( r = o )
&
o 15 EJEMPLIFICACIN EXISTENCIAL
17. o 16 SIMPLIFICACIN
18. r = o 16 SIMPLIFICACIN
19. o = y ( ( r = y) y ) 1 Y 18 PROPIEDAD TRANSITIVA
20. y ( ( r = y) y ) 17 Y 19 REGLA DE LAS IDENTIDADES
21. r 1 Y 20 REGLA DE LAS IDENTIDADES
22. ) (r V 21 Y (D)****
6

23. ) ( ) ( r V r F

10-22 PRUEBA CONDICIONAL
24. )) ( ) ( ( & )) ( ) ( ( t V t F t F t V

9 Y 23 CONJUNCIN


25. ) ( ) ( t F t V

24 DEFINICIN BICONDICIONAL


3
(D) es el nombre de la proposicin en negritas <p> es verdadero p. (Garca
Zrate, 2006, pp. 231-234) Derivaremos del anterior esquema deflacionista (D), sta
otra expresin (D)* <p> es verdadero p, o formalizadamente, V (q) q
utilizando la equivalencia de la definicin del bicondicional (p q (p q)
&
(p
q)); y la regla de deduccin natural de la simplificacin ( (p
&
q // p) o (p
&
q // q)
).
4
(D) <p> es verdadero p. La expresin (D) es reducible a sta otra expresin
(D)**: q F (q).
5
(D) <p> es verdadero p. La expresin (D) es reducible a sta otra expresin
(D)***: F (q) q.
6
(D) <p> es verdadero p. La expresin (D) es reducible a sta otra expresin
(D)****: q V (q).
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano

5. Paradoja de Richard

Esta paradoja planteada por el matemtico francs Jules Richard fue publicada
en 1905 en su libro Les Principes des Mathmatiques et le Problme des
Ensembles. Si bien los estudiosos opinan que esta paradoja versa
principalmente sobre la definibilidad finita, la mayor parte de su argumento se
basa en ciertos instrumentos matemticos tales como el Teorema de la
Diagonal de Cantor, la correspondencia biunvoca, el Teorema Fundamental de
la Aritmtica, la equivalencia, las funciones inyectivas y la nocin de
enumerabilidad y no-enumerabilidad. Tengamos en cuenta que Richard expuso
esta paradoja en forma relativa a la definicin de un nmero real,
paralelamente a la demostracin de la no numerabilidad de los Nmeros
Reales, en la que Cantor utiliza el Mtodo de la Diagonal. En este sentido, la
paradoja de Richard es matemtica, a pesar de que la consideracin del
significado en un cierto lenguaje natural o artificial hace de esta paradoja una
paradoja afn a las paradojas semnticas. Como siempre nuestros principios
metodolgicos exigen que expliquemos en la medida de lo posible lo ms breve
y concisamente algunos de los conceptos involucrados en la formulacin de
esta paradoja.

Enseguida aclararemos el concepto de diagonalizacin planteado por
George Cantor y tan relacionado con el concepto de numerabilidad.
Consideremos los n nmeros reales x en el intervalo ne N, 0 < x
n
s 1. Cada
nmero real, en este intervalo, est representado, de modo nico, por una
fraccin decimal no-terminativa propia, es decir, una fraccin decimal, que tiene
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
su primer dgito significativo (diferente de cero) a la derecha del punto decimal,
y un nmero infinito de dgitos que no son 0. Admitiendo esto aceptemos que,
toda fraccin decimal no-terminativa propia representa un nmero real nico en
el intervalo. Llamemos numerables a todos aquellos conjuntos cuyos elementos
puede ser puestos en correspondencia uno a uno con los elementos del
conjunto de los nmeros naturales. Supongamos ahora que los nmeros:
x
0
, x
1
, x
2
, x
3
x
a

conforman una enumerable lista infinita de todos los nmeros reales que
pertenecen al intervalo entre 0 y 1. Escribamos una debajo de otra sus
respectivas fracciones decimales no-terminativas, aprovechando el esquema
matricial fila-columna.

Seleccionemos la fraccin diagonal mostrada por la lnea trazada, o sea el
decimal
0, x
00
x
11
x
22
x
33

Cambiemos en ella cada uno de los sucesivos dgitos x
nn
por un dgito
diferente x
nn
, evitando producir una fraccin terminativa. Sea, x
nn
= 5, si x
nn
= 5,
y x
nn
= 6, si x
nn
= 5, de tal modo que cualquier nmero representado por la
fraccin resultante de reemplazar cada x
nn
por x
nn

(es decir, 0, x
00
x
11
x
22
x
33
)
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
sea un nmero decimal conformado por varios cincos y seises distribuidos en
su configuracin. As, 0, x
00
x
11
x
22
x
33
es diferente de cada uno de los
nmeros de la tabla anterior, puesto que difiere del primer nmero en su primer
decimal, del segundo en su segundo decimal y, en general, difiere del n-simo
nmero en su n-simo decimal. Esto prueba que el esquema matricial anterior
no contiene todos y cada uno de los nmeros del intervalo (0,1), y por
induccin se demuestra implcitamente que ni ste, ni algn otro segmento
representativo del conjunto de los nmeros reales son numerables. En
conclusin, mientras que los nmeros reales no son numerables, los naturales
y hasta los racionales s lo son. Como hemos podido apreciar la tcnica
cantoriana de la diagonalizacin es un mtodo que muestra que hay infinitos
conjuntos, considerados en la Matemtica, que no pueden ser numerados.

Como ya dijimos, la paradoja de Richard trata sobre la nocin de
definibilidad finita en un lenguaje previamente dado. A efectos de precisin,
convengamos en referirnos a un lenguaje dado, por ejemplo, el espaol, con un
alfabeto, un diccionario y una gramtica previamente asignados. Podemos
considerar que el alfabeto consta de las 27 letras del idioma espaol, la coma y
el espacio en blanco. Luego, establecemos una correspondencia biunvoca
entre las letras (incluyendo la coma y el espacio en blanco) y los nmeros
naturales para traducir sucesiones continuas de letras a sucesiones continuas
de nmeros tomando en cuenta esta codificacin bsica. (Castro y Prez,
2003, pp. 22-35)


MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano

Por una expresin en el espaol podemos entender, simplemente,
cualquier secuencia finita de esos 29 signos que no comience con un espacio
en blanco.
A = {o e R / o es un nmero que se puede definir con una frase en
castellano} donde R= NMEROS REALES.
Una expresin descriptora de un nmero real o de A, puede definir un nmero
real. Por ejemplo t puede ser definido con la siguiente expresin La longitud
de una circunferencia sobre su dimetro (En smbolos:
R
R
2
2t
). e puede ser
LETRA NMERO LETRA NMERO LETRA NMERO LETRA NMERO
A, a 1 J, j 10 R, r 19 , 28
B, b 2 K, k 11 S, s 20 29
C, c 3 L, l 12 T, t 21
D, d 4 M, m 13 U, u 22
E, e 5 N, n 14 V, v 23
F, f 6 , 15 W, w 24
G, g 7 O, o 16 X, x 25
H, h 8 P, p 17 Y, y 26
I, i 9 Q, q 18 Z, z 27
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
definido con la siguiente expresin El lmite cuando n tiende a infinito de uno
ms uno sobre n, elevado a la n.
(En smbolos: e
n
n
n
=
|
.
|

\
|
+

1
1 lim ).
Y tambin 2 puede ser definido con la expresin Raz cuadrada de dos.
Estas expresiones en espaol pueden entonces ser numeradas por la
codificacin, es decir, el procedimiento en el que vinculamos un nmero con
una expresin de otra ndole. Este es el procedimiento de la Godelizacin.
Veamos cmo funciona este proceso. Vamos a hacer corresponder a cada
nmero o un nico nmero natural de la siguiente forma. En general, si un
nmero o e A est representado por una frase cuyos caracteres corresponden
en su orden a los nmeros: m
1
, m
2
, m
3
, m
k
, m
r
, a o le hacemos
corresponder el nico nmero natural:
n
o
=
1
2
m
.
2
3
m
.
3
5
m

k
m
k
P
r
m
r
P en donde
k
P es el k-simo nmero primo.
Si A es el conjunto de todos los nmeros reales, en B tenemos que a cada
expresin matemtica, definible con una frase en castellano, le corresponde un
nico nmero natural como resultado de elevar cada nmero de la productoria
de los primeros nmeros primos al nmero asignado a cada letra de la
expresin analizada, segn la codificacin que se ve en la tabla. Adems,
como la descomposicin de un nmero natural como producto de primos es
nica (por el Teorema Fundamental de la Aritmtica), entonces, si un nmero
natural es la imagen de una palabra, por esta asignacin no puede existir otra
palabra que tenga como imagen dicho nmero. Sea por ejemplo o = 2 . Las
palabras en castellano que le corresponde es: Raz cuadrada de dos. De
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
acuerdo al cdigo anterior, tenemos que los nmeros de los caracteres que
corresponden a esta sentencia son en su orden:
19-1-9-27-29-3-22-1-4-19-11-4-1-29-4-5-29-4-16-20
Luego el nmero natural que le hacemos corresponder a la descripcin
lingstica de 2 (que pertenece a B) es el siguiente Nmero Gdel(o):
2
19
.3
1
.5
9
.7
27
.11
29
.13
3
.17
22
.19
1
.23
4
.29
19
.31
11
.37
4
.41
1
.43
29
.47
4
.53
5
.59
29
.61
4
.67
16
.71
20

Ahora, estudiemos, por ejemplo, o=

=1
10
n
n
n
b
= 0,
1
b
2
b
3
b
4
b en donde los
n
b
son nmeros aleatorios. Esta frmula debera ser definible mediante una
expresin en castellano ya que se refiere a un nmero real. En este caso el
conjunto A ser
A = {o
1
,o
2
,,o
m
,}.
Luego, cada o
m
puede expresarse en forma decimal como
o
m
= 0, b
m1
b
m2
b
m3
b
mm
donde keN, b
mk
e {0, 1, 2, , 9}. Por ejemplo:

o
1
= 0, b
11
= 0, 1
o
2
= 0, b
21
b
22
= 0, 20
o
3
= 0, b
31
b
32
b
33
= 0, 333
o
4
= 0, b
41
b
42
b
43
b
44
= 0, 4440
.

o
m
= 0, b
m1
b
m2
b
m3
b
mm


= 0, 999999
Con estos nmeros se ha pretendido explicitar que cada uno de los nmeros
reales entre cero y uno, desde el 0, 000000, hasta el 0, 999999, son
expresables mediante una frase en castellano. Ahora, construyamos el
siguiente nmero:
o =

=1
10
k
k
k
c
= 0, c
1
c
2
c
3
; donde: c
k
=1, si b
kk
=0 y c
k
=0, si b
kk
= 0.
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
Por un lado, de acuerdo con la construccin de o, podemos decir que este
nmero se puede definir con la siguiente expresin en castellano:

El nmero real entre cero y uno, cuyo trmino en cada lugar dado es uno o
cero, dependiendo de si el nmero que ocupa ese mismo lugar en la
numeracin de los nmeros reales que tienen expresin en castellano, tiene
uno o cero en el lugar en cuestin del desarrollo decimal.


Por lo tanto, oeA, es decir, es un elemento de {o
1
,o
2
,,o
m
,}. Pero, por otro
lado, si construimos el nmero 0,c
1
c
2
c
3
, obtendramos o = 0, b
11
b
22
b
33
,

es decir un nmero cuya cifra en el lugar de los decenas es diferente a la cifra
en el lugar de las decenas del primer nmero real del intervalo <0,1>, cuya cifra
en el lugar de las centenas es diferente a la cifra en el lugar de las centenas del
segundo nmero real del intervalo <0,1>, y as sucesivamente. Formalmente,
ya que meN, o= o
m
, concluimos que oeA, es decir, no es un elemento de
{o
1
,o
2
,,o
m
,}. Y mediante una conjuncin tenemos la contradiccin buscada:
oeA & oeA. Como podemos apreciar, esta paradoja es especialmente
interesante por sus implicaciones concernientes a lenguajes naturales, y por su
estrecho parentesco con la demostracin cantoriana de la no-enumerabilidad
de los nmeros reales. (Kleene, 1974, pp. 44-45). En resumen:

La paradoja de Richard consiste en lo que equivale al siguiente problema
cmo ha de bastar un sistema de lgica simblica en el que el conjunto de
todas las frmulas tiene el nmero transfinito
0
para la discusin y desarrollo
de una rama de las matemticas que maneje conjuntos cuyo nmero transfinito
sea mayor que
0
? Y en particular cmo podemos ni siquiera hablar del
conjunto de los nmeros reales cuyo nmero transfinito
1
se ha demostrado
que es mayor que
0
? (Northrop, 1949, p. 280)
7



7

0
es el nmero de nmeros naturales y racionales. Presumiblemente,
1
es el
nmero de nmeros reales.
MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano

Este es el argumento en lenguaje natural un poco ms largo que todos los
otros.
1. El conjunto A es el conjunto de todos los nmeros reales.
2. El conjunto B es el conjunto de todas las descripciones que pertenezcan
al lenguaje espaol o conjunto E.
3. El conjunto C es el conjunto de todas las sustituciones a numerales que
pertenezcan al conjunto F.
4. El conjunto D es el conjunto de todos los Nmeros Gdel que
pertenezcan al conjunto de todos los nmeros naturales.
5. R es el conjunto de todos los nmeros reales.
6. E es el conjunto de todas las descripciones de nmeros reales.
7. F es el conjunto de todas las sustituciones a numerales.
8. N es el conjunto de todos los nmeros naturales.
9. A y B son equivalentes.
10. B y C son equivalentes.
11. C y D son equivalentes.
12. D y N son equivalentes.
13. Para cualquier par de conjuntos X e Y, si X es equivalente a Y, tienen el
mismo cardinal.
14. Para cualquier par de conjuntos X e Y, si X es menor o mayor que Y,
entonces no es cierto que X sea igual a Y.
15. El cardinal del conjunto N es menor que el cardinal del conjunto R.
POR LO TANTO, No es cierto que exista un conjunto X que sea
equivalente al conjunto R.


Tenemos un argumento de 15 premisas para desarrollar hasta llegar a la
codiciada contradiccin. A continuacin expondremos esas lneas en lenguaje
lgico. Aclaremos antes que la relacin de equivalencia no es otra que la
relacin de similaridad aparecida en la paradoja de Burali-Forti que alude a la
correspondencia biunvoca entre los elementos de dos conjuntos equivalentes.






MATERIAL DE APOYO de FILOSOFIA DE LA LOGICA
Lectura: Lgica de orden superior de Mara Manzano
1. A = R
2. B = { x / descripcin en espaol (x)e E }
3. C = { x / sustitucin a numerales (x)e F }
4. D = { x/ Nmero Gdel (x) e N }
5. R = {, -9000910, ., -569/7987987, , 0, , 1, , 2.3, 99999999,
}
6. E = { , tres, , raz cuadrada de dos, , tres quintos, , raz cubica
de, siete menos raz cuarta de cinco, , la longitud de una
circunferencia sobre su dimetro, , el lmite cuando n tiende al infinito
de uno ms uno sobre n, elevado a la n, }
7. F = { , 345, , 456(29)567, , 2345(29)6785(29)567456(29), }
8. N ={0, 1, 2, 3, 4, ,5 , 6, }
9. A~B
10. B~C
11. C~D
12. D~N
13. XY( X~YCard(X)=Card(Y) )
14. XY ( ( (X < Y) v (Y < X) ) = (X = Y) )
15. Card(N) < Card(R) //-X(X~R)
16. -X(X~R) //
17. R~NCard(R)=Card(N) 13 EJEMPLIFICACIN UNIVERSAL
18. (R~NCard(R) = Card(N) ) & ( Card(R) = Card(N) R~N) )
17 DEFINICIN DEL BICONDICIONAL
19. R~NCard(R) = Card(N) 18 SIMPLIFICACIN
20. ( Card(R) = Card(N) ) (R~N) 19 TRANSPOSICIN
21. ( ( Card(R) < Card(N) ) v ( Card(N) < Card(R) ) ) = ( Card(R) =
Card(N) )
14 EJEMPLIFICACIN UNIVERSAL
22. ( ( Card(R) < Card(N) ) v ( Card(N) < Card(R) ) ) (R~N)
20 Y 21 (I)
23. ( ( Card(N) < Card(R) ) v ( ( Card(R) < Card(N) )
15 ADICIN
24. (R~N) 22, 23 MODUS PONENS
25. A ~ N 9, 10, 11, 12 PROPIEDAD TRANSITIVA
26. R ~ N 1 Y 25 (I)
27. (R~N) & (R~N) 24 Y 26 CONJUNCIN
28. -X(X~R) ( (R~N) & (R~N) ) 16-25 PRUEBA CONDICIONAL
29. -X(X~R) 28 REDUCCIN AL ABSURDO

Notemos que esta es una reduccin al absurdo trivial.