Temer o no a la Circularidad

La importancia de las paradojas en Lógica y áreas afines

Granados Gurrola Jesús Eduardo

Universidad Nacional Autónoma de México

Agosto de 2023
 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Contenidos

1 Intoducción

2 Paradojas y circularidad
¿La circularidad es fuente de paradojas?
Paradojas Liar-Like y paradojas Liar-Like clásicas.

3 La paradoja de Yablo
Algunas notas sobre la paradoja.

4 Principio de Solución Uniforme

5 Preguntas Finales

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Qué es una paradoja?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Qué es una paradoja?

Una paradoja es un conjunto de oraciones que mediante un

razonamiento aceptable (válido) nos lleva a concluir algo que
resulta contradictorio o inaceptable a nivel de aquellas intuiciones o
principios que consideramos conceptualmente correctos.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Por qué son importantes las paradojas?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Por qué son importantes las paradojas?

- Evaluación de principios.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Por qué son importantes las paradojas?

- Evaluación de principios.
- Análisis conceptual.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Por qué son importantes las paradojas?

- Evaluación de principios.
- Análisis conceptual.
- Desarrollo de nuevas líneas de investigación.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Por qué son importantes las paradojas?

- Evaluación de principios.
- Análisis conceptual.
- Desarrollo de nuevas líneas de investigación.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas circulares

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas circulares

La mayoría de las paradojas lógicas conocidas suelen ser atribuidas

a fenómenos relacionados con la autoreferencia y la circularidad.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas circulares

La mayoría de las paradojas lógicas conocidas suelen ser atribuidas

a fenómenos relacionados con la autoreferencia y la circularidad.En
estos casos se considera que la paradoja surge, por lo menos en
parte, debido a que las oraciones (o los adjetivos) se refieren a sí
mismos.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

¿La circularidad es fuente de paradojas?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

¿La circularidad es fuente de paradojas?

No basta la presencia de circularidad para que nos hallemos ante

una paradoja, pues la circularidad está involucrada en distintos
teoremas y hay ejemplos no paradójicos en lenguaje natural que así
lo muestran.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like

Decimos que una paradoja es Liar-Like sii:

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like

Decimos que una paradoja es Liar-Like sii:

A. Se dan en lenguajes que contienen un predicado de verdad.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like

Decimos que una paradoja es Liar-Like sii:

A. Se dan en lenguajes que contienen un predicado de verdad.
B. Involucran un operador que hace de negación o similar.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like

Decimos que una paradoja es Liar-Like sii:

A. Se dan en lenguajes que contienen un predicado de verdad.
B. Involucran un operador que hace de negación o similar.
C. Implican o parecen implicar una contradicción explícita.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like

Decimos que una paradoja es Liar-Like sii:

A. Se dan en lenguajes que contienen un predicado de verdad.
B. Involucran un operador que hace de negación o similar.
C. Implican o parecen implicar una contradicción explícita.
Ejemplo de esto es la oración del mentiroso:

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like

Decimos que una paradoja es Liar-Like sii:

A. Se dan en lenguajes que contienen un predicado de verdad.
B. Involucran un operador que hace de negación o similar.
C. Implican o parecen implicar una contradicción explícita.
Ejemplo de esto es la oración del mentiroso:

Esta oración no es verdadera

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like clásicas.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
¿La circularidad es fuente de paradojas?
La paradoja de Yablo
Paradojas Liar-Like y paradojas Liar-Like clásicas.
Principio de Solución Uniforme
Preguntas Finales

Paradojas Liar-Like clásicas.

Llamaremos paradojas Liar-like clásicas a las paradojas que cumplen

todos los puntos antes mencionados y además cumplen con ser
circulares.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La construcción de la paradoja de Yablo

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La construcción de la paradoja de Yablo

Considérese una secuencia denumerable infinita de enunciados

S1, S2, S3, ..., (y un predicado de verdad) de tal modo que cada
enunciado subsecuente es falso, así:

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La construcción de la paradoja de Yablo

Considérese una secuencia denumerable infinita de enunciados

S1, S2, S3, ..., (y un predicado de verdad) de tal modo que cada
enunciado subsecuente es falso, así:
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La construcción de la paradoja de Yablo

Considérese una secuencia denumerable infinita de enunciados

S1, S2, S3, ..., (y un predicado de verdad) de tal modo que cada
enunciado subsecuente es falso, así:
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),
(S2) Para cualquier enunciado κ > 2, Falso(Sκ),

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La construcción de la paradoja de Yablo

Considérese una secuencia denumerable infinita de enunciados

S1, S2, S3, ..., (y un predicado de verdad) de tal modo que cada
enunciado subsecuente es falso, así:
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),
(S2) Para cualquier enunciado κ > 2, Falso(Sκ),
(S3) Para cualquier enunciado κ > 3, Falso(Sκ),

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La construcción de la paradoja de Yablo

Considérese una secuencia denumerable infinita de enunciados

S1, S2, S3, ..., (y un predicado de verdad) de tal modo que cada
enunciado subsecuente es falso, así:
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),
(S2) Para cualquier enunciado κ > 2, Falso(Sκ),
(S3) Para cualquier enunciado κ > 3, Falso(Sκ),
...

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La construcción de la paradoja de Yablo

Considérese una secuencia denumerable infinita de enunciados

S1, S2, S3, ..., (y un predicado de verdad) de tal modo que cada
enunciado subsecuente es falso, así:
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),
(S2) Para cualquier enunciado κ > 2, Falso(Sκ),
(S3) Para cualquier enunciado κ > 3, Falso(Sκ),
...
...

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La construcción de la paradoja de Yablo

Considérese una secuencia denumerable infinita de enunciados

S1, S2, S3, ..., (y un predicado de verdad) de tal modo que cada
enunciado subsecuente es falso, así:
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),
(S2) Para cualquier enunciado κ > 2, Falso(Sκ),
(S3) Para cualquier enunciado κ > 3, Falso(Sκ),
...
...

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

Prueba paradojicidad de la paradoja de Yablo

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

Prueba paradojicidad de la paradoja de Yablo

Supongamos de un enunciado cualquiera (llamémoslo Sn), que es

verdadero, como es verdadero el enunciado que le sigue en la
secuencia y los posteriores son falsos.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

Prueba paradojicidad de la paradoja de Yablo

Supongamos de un enunciado cualquiera (llamémoslo Sn), que es

verdadero, como es verdadero el enunciado que le sigue en la
secuencia y los posteriores son falsos. Pero este enunciado sucesor
(Sn + 1), si es falso, nos dice que alguno de los que le son
posteriores es verdadero lo cual es una contradicción.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

Prueba paradojicidad de la paradoja de Yablo

Supongamos de un enunciado cualquiera (llamémoslo Sn), que es

verdadero, como es verdadero el enunciado que le sigue en la
secuencia y los posteriores son falsos. Pero este enunciado sucesor
(Sn + 1), si es falso, nos dice que alguno de los que le son
posteriores es verdadero lo cual es una contradicción. Como
elegimos a un enunciado cualquiera podemos decir de cualquier
miembro de la secuencia que es falso.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

Prueba paradojicidad de la paradoja de Yablo

Supongamos de un enunciado cualquiera (llamémoslo Sn), que es

verdadero, como es verdadero el enunciado que le sigue en la
secuencia y los posteriores son falsos. Pero este enunciado sucesor
(Sn + 1), si es falso, nos dice que alguno de los que le son
posteriores es verdadero lo cual es una contradicción. Como
elegimos a un enunciado cualquiera podemos decir de cualquier
miembro de la secuencia que es falso. Ahora si suponemos que es
falso un enunciado Sn arbitrario, por lo antes mencionado tenemos
que hay uno de los que le siguen de es verdadero por lo que
también el suponer que es falso nos lleva a una contradicción.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La lista de enunciados debe ser infinita

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La lista de enunciados debe ser infinita

(S1) Para cualquier enunciado κ > 1, Falso(Sκ),

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La lista de enunciados debe ser infinita

(S1) Para cualquier enunciado κ > 1, Falso(Sκ),

(S2) Para cualquier enunciado κ > 2, Falso(Sκ),

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La lista de enunciados debe ser infinita

(S1) Para cualquier enunciado κ > 1, Falso(Sκ),

(S2) Para cualquier enunciado κ > 2, Falso(Sκ),
(S3) Para cualquier enunciado κ > 3, Falso(Sκ),

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La lista de enunciados debe ser infinita

(S1) Para cualquier enunciado κ > 1, Falso(Sκ),

(S2) Para cualquier enunciado κ > 2, Falso(Sκ),
(S3) Para cualquier enunciado κ > 3, Falso(Sκ),
(S4) Para cualquier enunciado κ > 4, Falso(Sκ).

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

La lista de enunciados debe ser infinita

(S1) Para cualquier enunciado κ > 1, Falso(Sκ),

(S2) Para cualquier enunciado κ > 2, Falso(Sκ),
(S3) Para cualquier enunciado κ > 3, Falso(Sκ),
(S4) Para cualquier enunciado κ > 4, Falso(Sκ).
En este caso y similares, siempre el último elemento de la lista será
verdadero por vacuidad y todos su antecesores no verdaderos sin
que se caiga en contradicción alguna, por lo que no hay una
paradoja.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

¿Se necesita una estructura pretendida?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

¿Se necesita una estructura pretendida?

Parece que, el truco de la no circularidad está en apelar a cierta

estructura pretendida (la de los naturales).

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

¿Se necesita una estructura pretendida?

Parece que, el truco de la no circularidad está en apelar a cierta

estructura pretendida (la de los naturales).Pero casos finitos hacen
dudar de esto.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

¿Se necesita una estructura pretendida?

Parece que, el truco de la no circularidad está en apelar a cierta

estructura pretendida (la de los naturales).Pero casos finitos hacen
dudar de esto.Por ejemplo la siguiente lista de enunciados es una
paradoja Liar-Like, sin embargo parece ser a simple vista circular.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

¿Se necesita una estructura pretendida?

Parece que, el truco de la no circularidad está en apelar a cierta

estructura pretendida (la de los naturales).Pero casos finitos hacen
dudar de esto.Por ejemplo la siguiente lista de enunciados es una
paradoja Liar-Like, sin embargo parece ser a simple vista circular.
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

¿Se necesita una estructura pretendida?

Parece que, el truco de la no circularidad está en apelar a cierta

estructura pretendida (la de los naturales).Pero casos finitos hacen
dudar de esto.Por ejemplo la siguiente lista de enunciados es una
paradoja Liar-Like, sin embargo parece ser a simple vista circular.
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),
(S2) Para cualquier enunciado κ < 2, Falso(Sκ).

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo Algunas notas sobre la paradoja.
Principio de Solución Uniforme
Preguntas Finales

¿Se necesita una estructura pretendida?

Parece que, el truco de la no circularidad está en apelar a cierta

estructura pretendida (la de los naturales).Pero casos finitos hacen
dudar de esto.Por ejemplo la siguiente lista de enunciados es una
paradoja Liar-Like, sin embargo parece ser a simple vista circular.
(S1) Para cualquier enunciado κ > 1, Falso(Sκ),
(S2) Para cualquier enunciado κ < 2, Falso(Sκ).

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

El PSU

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

El PSU

PSU: Mismo tipo de paradojas, mismo tipo de solución.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

El PSU

PSU: Mismo tipo de paradojas, mismo tipo de solución.

Mismas estructuras un mismo tipo de paradoja

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Cómo sabemos que tienen una misma estructura?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

¿Cómo sabemos que tienen una misma estructura?

Para caracterizar la estructura podemos hacer uso de un esquema,

de tal suerte que si podemos reconstruir la paradoja en los mismos
elementos de la estructura representada por dicho esquema, esa
paradoja tiene tal estructura.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Esquema de clausura Russell-Priest

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Esquema de clausura Russell-Priest

Dadas dos propiedades φ y ψ y una función δ (posiblemente

parcial):

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Esquema de clausura Russell-Priest

Dadas dos propiedades φ y ψ y una función δ (posiblemente

parcial):
1) Existe un conjunto w = {x : φ(x)} y ψ(w )

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Esquema de clausura Russell-Priest

Dadas dos propiedades φ y ψ y una función δ (posiblemente

parcial):
1) Existe un conjunto w = {x : φ(x)} y ψ(w )
2) Si x ⊆ w .t. ψ(x):

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Esquema de clausura Russell-Priest

Dadas dos propiedades φ y ψ y una función δ (posiblemente

parcial):
1) Existe un conjunto w = {x : φ(x)} y ψ(w )
2) Si x ⊆ w .t. ψ(x):
a) δ(x) ∈
/x

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Esquema de clausura Russell-Priest

Dadas dos propiedades φ y ψ y una función δ (posiblemente

parcial):
1) Existe un conjunto w = {x : φ(x)} y ψ(w )
2) Si x ⊆ w .t. ψ(x):
a) δ(x) ∈
/x
b) δ(x) ∈ w

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Teorema de Cantor-Lawvere

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Teorema de Cantor-Lawvere

Si Y es un conjunto cualquiera y existe una función α : Y → Y sin

puntos fijos, entonces para cualquier conjunto T y para toda
función f : T × T → Y existe una función g : T → Y que no es
representable por f (es decir que para toda t ∈ T existe una t ′ ∈ T
tal que g (t ′ ) ̸= f (t ′ , t)).

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Teorema de Cantor-Lawvere

Si Y es un conjunto cualquiera y existe una función α : Y → Y sin

puntos fijos, entonces para cualquier conjunto T y para toda
función f : T × T → Y existe una función g : T → Y que no es
representable por f (es decir que para toda t ∈ T existe una t ′ ∈ T
tal que g (t ′ ) ̸= f (t ′ , t)).

T ×O T
f /Y

∆ α

T /Y
g

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Ejemplo la paradoja del mentiroso

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Ejemplo la paradoja del mentiroso

Reconstrucción de la paradoja del mentiroso.

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Ejemplo la paradoja del mentiroso

Reconstrucción de la paradoja del mentiroso.

L ×O L
f /V

∆ ¬


L /V
g

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Preguntas Finales

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Preguntas Finales

a ¿Conoces algunas otras paradojas de circularidad en otros

campos?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Preguntas Finales

a ¿Conoces algunas otras paradojas de circularidad en otros

campos?
b ¿Crees que la circularidad es un requisito necesario para las
paradojas para un lenguaje dado?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Preguntas Finales

a ¿Conoces algunas otras paradojas de circularidad en otros

campos?
b ¿Crees que la circularidad es un requisito necesario para las
paradojas para un lenguaje dado?
c ¿Te convence la paradoja de Yablo?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Preguntas Finales

a ¿Conoces algunas otras paradojas de circularidad en otros

campos?
b ¿Crees que la circularidad es un requisito necesario para las
paradojas para un lenguaje dado?
c ¿Te convence la paradoja de Yablo?
d ¿Crees que debemos limitar la circularidad en nuestros
lenguajes para evitar las paradojas?
e ¿Se te ocurre algún modo de diagramar algunas de las
paradojas mencionadas?

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Granados Gurrola Jesús Eduardo Charla

 Intoducción
Paradojas y circularidad
La paradoja de Yablo
Principio de Solución Uniforme
Preguntas Finales

Gracias por aguantar.

Granados Gurrola Jesús Eduardo Charla