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

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

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

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

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

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


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