معضلة التمساح

معضلة التمساح هي مشكلة غير قابلة للحل في المنطق.[1][2][3] وتقول المعضلة أن تمساحاً سرق طفل ووعد الأب أن يعيده إليه إذا -وفقط إذا- تنبأ بشكل صحيح إذا ما كان التمساح سيعيد الطفل أم لا.

الحل يبدو منطقياً إذا تنبأ الأب بأن يعيد التمساح الطفل، لكن المعضلة تنتج إذا تنبأ الأب أن لا يعيد التمساح الطفل.

إذا قرر التمساح أنيبقيالطفل، والأب تنبأ أن التمساح سوفيبقيالطفل، فالناتج سيكونمفارقة .
إذا قرر التمساح أنيبقيالطفل، والأب تنبأ أن التمساح سوفيعيدالطفل، فالناتج سيكونالطفل سيبقى.
إذا قرر التمساح أنيعيدالطفل، والأب تنبأ أن التمساح سوفيعيدالطفل، فالناتج سيكونالطفل سيعود.
إذا قرر التمساح أنيعيدالطفل، والأب تنبأ أن التمساح سوفيبقيالطفل، فالناتج سيكونمفارقة.

وهي مشابهة لمعضلة جملة (أنا كذاب) فإن صدق فهو كاذب وإن كذب فهو صادق، وإنما تربعت الحلول في معضلة التمساح لأن فيها طرفين لا طرف واحد.

مراجع

  1. J. Siekmann، المحرر (1989). Lecture Notes in Artificial Intelligence. Springer-Verlag. ص. 14. ISBN:3540530827.
  2. Young، Ronald E (2005). Traveling East. iUniverse. ص. 8–9. ISBN:0595795846.
  3. Barile، Margherita. "Crococile Dilemma – MathWorld". مؤرشف من الأصل في 2018-05-08. اطلع عليه بتاريخ 2009-09-05.


  • أيقونة بوابةبوابة فلسفة
  • أيقونة بوابةبوابة منطق
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.