Krokodýlí dilema - Crocodile dilemma

Pro Fargo epizoda, viz Krokodýlí dilema.

The paradox krokodýla, známý také jako krokodýlí sofismus, je a paradox v logika ve stejné rodině paradoxů jako paradox lháře.[1] Předpoklad uvádí, že krokodýl, který ukradl dítě, slibuje rodiči, že jeho dítě bude vráceno kdyby a jen kdyby správně předpovídá, co bude krokodýl dělat dál.

Transakce je logicky plynulá, ale nepředvídatelná, pokud rodič odhadne, že dítě bude vráceno, ale pro krokodýla nastane dilema, pokud rodič bude mít názor, že dítě nebude vráceno. V případě, že se krokodýl rozhodne ponechat si dítě, poruší jeho podmínky: předpověď rodičů byla ověřena a dítě by mělo být vráceno. V případě, že se krokodýl rozhodne dítě vrátit, stále porušuje jeho podmínky, i když je toto rozhodnutí založeno na předchozím výsledku: předpověď rodičů byla zfalšována a dítě by nemělo být vráceno. Otázka, co by měl krokodýl dělat, je proto paradoxní, a neexistuje žádné ospravedlnitelné řešení.[2][3][4]

Krokodýlí dilema slouží k odhalení některých logických problémů, které přináší metaknowledge. V tomto ohledu je konstrukčně podobný konstrukci neočekávaný závěsný paradox, který Richard Montague (1960) prokázali, že následující předpoklady o znalostech jsou při testování v kombinaci nekonzistentní:[2]

(i) Pokud ρ je tedy známo, že je to pravda ρ.

(ii) Je známo, že (i).

(iii) Pokud ρ naznačuje σ, a ρ je tedy známo, že je to pravda σ je také známo, že je to pravda.

Starověké řecké zdroje byly první, kdo diskutoval o krokodýlí dilema.[1]

Viz také

Poznámky

  1. ^ A b Barile, Margherita. „Krokodýlí dilema - MathWorld“. Citováno 2009-09-05.
  2. ^ A b J. Siekmann, vyd. (1989). Poznámky k přednášce v umělé inteligenci. Springer-Verlag. p. 14. ISBN  3540530827.
  3. ^ Young, Ronald E (2005). Cestování na východ. iUniverse. s. 8–9. ISBN  0595795846.
  4. ^ Murray, Richard (1847). Murrayho kompendium logiky. p.159.