Donucovací logika - Coercive logic - Wikipedia

Donucovací logika je koncept popularizovaný matematikem Raymond Smullyan, kterým je osoba, která souhlasila s pravdivým zodpovězením otázky, nucena provést nežádoucí akci, pokud by to neznamenalo porušení dohody.[1] Smullyan představuje koncept jako otázku:

Předpokládám, že vám nabídnu milion dolarů na odpověď Ano ne otázka po pravdě, přijali byste nabídku? Pokud ano, neměli byste, protože bych se pak zeptal: Odpovíte Ne na tuto otázku nebo mi zaplatit dva miliony dolarů? Jediným způsobem, jak můžete odpovědět pravdivě, je odpovědět Ano a pak mi zaplatil dva miliony dolarů.[2]

Smullyanova otázka se ptá čtenáře, zda je alespoň jedna ze dvou možností pravdivá:[3]

  1. Budou pravdivě odpovídat Ne na jeho otázku.
  2. Zaplatí mu dva miliony dolarů.

Čtenář není schopen pravdivě odpovědět Ne, protože by to znamenalo, že bod 1 byl pravdivý a odpověď čtenáře by byla nepravdivá. Pokud čtenář odpoví Ano, nemohou říci, že 1 je pravda (protože neodpověděli Ne), takže musí tvrdit, že 2 je pravda, a musí dát Smullyanovi dva miliony dolarů.[3]

Smullyan připíše název procesu svému zetě Jacku Kotikovi.[2]

Reference

  1. ^ „Bulletin symbolické logiky“. Sdružení pro symbolickou logiku. 2009. Citováno 3. března 2020. Citovat deník vyžaduje | deník = (Pomoc)
  2. ^ A b Smullyan, Raymond M. (2012). Riddle of Scheherazade: And Other Amazing Puzzles, Ancient and Modern. Nakladatelská skupina Knopf Doubleday. ISBN  978-0-307-81983-3. Citováno 3. března 2020.
  3. ^ A b Rosenhouse, J. „Donucovací logika“. scienceblogs.com. Citováno 3. března 2020.