يرجى إضافة وصلات داخلية للمقالات المتعلّقة بموضوع المقالة.

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

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

معضلة التمساح هي مشكلة غير قابلة للحل في المنطق.[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.