Ejercicio 8
Escribo un ejemplo de paradoja a partir de las siguientes disciplinas: a) Lógica matemática, b) Física, c) Semántica.
Parte 8.a
Lógica matemática
- Se elige la paradoja de Russell (también conocida como la paradoja de los conjuntos):
- Sea S el conjunto de todos los conjuntos que no se contienen a sí mismos, es decir, S = \{ x \mid x \notin x \}.
- Preguntamos: ¿S \in S?
- Si suponemos S \in S, entonces por definición de S debe cumplirse S \notin S: contradicción.
- Si suponemos S \notin S, entonces S satisface la condición x \notin x, luego S \in S: contradicción.
- En ambos casos se llega a una contradicción lógica, lo que muestra que la teoría ingenua de conjuntos es inconsistente y obliga a imponer restricciones (como en la teoría de tipos o en ZFC).
Respuesta
Paradoja de Russell: definir S = \{ x \mid x \notin x \} lleva a que S \in S \iff S \notin S, una contradicción.
Parte 8.b
Física
- Se presenta el experimento mental del gato de Schrödinger (mecánica cuántica):
- Un gato está encerrado en una caja con un átomo radiactivo, un contador Geiger y una ampolla de veneno. Si el átomo decae, el veneno se libera y el gato muere; si no decae, el gato vive.
- Según la superposición cuántica, antes de la observación el sistema se describe como |\psi\rangle = \frac{1}{\sqrt{2}}(|\text{vivo}\rangle + |\text{muerto}\rangle).
- La paradoja aparece al afirmar que el gato estaría simultáneamente vivo y muerto, es decir, en dos estados incompatibles a la vez.
- Al abrir la caja y observar, la función de onda colapsa a un solo estado: vivo o muerto.
- La tensión entre la descripción cuántica (superposición) y nuestra experiencia macroscópica (un solo estado) constituye la paradoja.
Respuesta
Gato de Schrödinger: un sistema cuántico en superposición \frac{1}{\sqrt{2}}(|\text{vivo}\rangle + |\text{muerto}\rangle) sugiere un gato vivo y muerto a la vez hasta la observación.
Parte 8.c
Semántica
- Se plantea la paradoja del mentiroso:
- Consideramos la frase P: "Esta frase es falsa".
- Si P es verdadera, entonces lo que afirma es correcto, luego P es falsa: contradicción.
- Si P es falsa, entonces lo que afirma es incorrecto, luego "esta frase es falsa" es incorrecto, es decir, P es verdadera: contradicción.
- La frase no puede ser ni verdadera ni falsa sin generar inconsistencia, porque se autoreferencia negativamente.
- Es una paradoja semántica porque surge del significado de "verdadero" y "falso" aplicados a la propia oración.
Respuesta global: a) Russell (S \in S \iff S \notin S); b) Schrödinger (gato vivo y muerto a la vez); c) Mentiroso (verdadera si y solo si falsa).
Respuesta
Paradoja del mentiroso: "Esta frase es falsa" conduce a que P \text{ es verdadera} \iff P \text{ es falsa}, sin valor de verdad consistente.
