Vés al contingut

Paradoxa del cocodril

De la Viquipèdia, l'enciclopèdia lliure

La paradoxa del cocodril, també coneguda com el dilema del cocodril, és una paradoxa lògica de la mateixa família de la paradoxa del mentider.[1] La premissa declara que un cocodril, que ha robat un nen, promet a la mare que el seu nen serà retornat si i només si poden pronosticar correctament si el cocodril retornarà el nen o no.

La transacció és lògica però imprevisible si la mare endevina que el nen serà retornat, però un dilema sorgeix per al cocodril si la mare endevina que el nen no serà retornat. En efecte, en el cas que el cocodril decideixi mantenir el nen, violarà els termes acordats: la predicció de la mare ha estat validada, i el nen hauria de ser retornat. Tanmateix, en el cas que el cocodril decideixi tornar el nen, també violarà els termes, fins i tot si aquesta decisió és basada en el resultat anterior: la predicció de la mare ha estat negada, i el nen no hauria de ser retornat. La qüestió de què hauria de fer el cocodril és doncs paradoxal, i no hi ha cap solució justificable.[2][3][4]

El dilema de cocodril serveix per a exposar alguns dels problemes lògics presents pel metaconeixement. En aquest sentit, és similar en construcció a la paradoxa de l'examen sorpresa, el qual Richard Montague (1960) va utilitzar per demostrar que les suposicions següents sobre el coneixement són inconsistents quan es proven combinadament:[2]

(i) Si es sabut que ρ és cert, aleshores ρ.

(ii) És sabut que (i).

(iii) Si ρ implica σ, i ρ és sabut ser cert, aleshores σ és també sabut ser cert.

Fonts gregues antigues parlen del dilema de cocodril per primer cop.[1]

Vegeu també

[modifica]

Referències

[modifica]
  1. 1,0 1,1 Barile, Margherita. «Crococile Dilemma – MathWorld». [Consulta: 5 setembre 2009].
  2. 2,0 2,1 J. Siekmann. Lecture Notes in Artificial Intelligence. Springer-Verlag, 1989, p. 14. ISBN 3540530827. 
  3. Young, Ronald E. Traveling East. iUniverse, 2005, p. 8–9. ISBN 0595795846. 
  4. Murray, Richard. Murray's Compendium of logic, 1847, p. 159.