La paradoja cocodrilo , también conocido como sofisma cocodrilo, es una paradoja en la lógica en la misma familia de paradojas como la paradoja del mentiroso . [1] La premisa establece que un cocodrilo, que ha robado a un niño, promete al padre que su hijo será devuelto si y solo si predice correctamente lo que hará el cocodrilo a continuación.
La transacción es lógicamente fluida pero impredecible si el padre adivina que el niño será devuelto, pero surge un dilema para el cocodrilo si el padre adivina que el niño no será devuelto. En el caso de que el cocodrilo decida quedarse con el niño, viola sus términos: la predicción de los padres ha sido validada y el niño debe ser devuelto. Sin embargo, en el caso de que el cocodrilo decida devolver al niño, aún viola sus términos, incluso si esta decisión se basa en el resultado anterior: la predicción de los padres se ha falsificado y el niño no debe ser devuelto. La cuestión de qué debería hacer el cocodrilo es, por tanto , paradójica y no hay una solución justificable. [2] [3] [4]
El dilema del cocodrilo sirve para exponer algunos de los problemas lógicos que presenta el metaconocimiento . En este sentido, es similar en construcción a la paradoja del ahorcamiento inesperado , que Richard Montague (1960) usó para demostrar que las siguientes suposiciones sobre el conocimiento son inconsistentes cuando se prueban en combinación: [2]
(i) Si se sabe que ρ es cierto, entonces ρ .
(ii) Se sabe que (i).
(iii) Si ρ implica σ , y se sabe que ρ es verdadero, entonces también se sabe que σ es verdadero.
Las fuentes griegas antiguas fueron las primeras en discutir el dilema del cocodrilo. [1]
Ver también
Notas
- ↑ a b Barile, Margherita. "El dilema del cocodrilo - MathWorld" . Consultado el 5 de septiembre de 2009 .
- ^ a b J. Siekmann, ed. (1989). Apuntes de conferencias en Inteligencia Artificial . Springer-Verlag. pag. 14. ISBN 3540530827.
- ^ Joven, Ronald E (2005). Viajando hacia el este . iUniverse. págs. 8–9. ISBN 0595795846.
- ^ Murray, Richard (1847). Compendio de lógica de Murray . pag. 159 .