פיתרון לפרדוקס השקרן

752

קראתי את הטור אבל גם שם הראית שחייב להיות כשל בהוכחה אבל לא הצלחת לאבחן אותה. הוכחת שהיא לא יכולה להיות נכונה שכן אם ההוכחה נכונה אז נוצרת מערכת שיכולה לסתור כל טענה כולל את עצמה, אבל לא הצלחת להראות באופן קונקרטי את המהלך הלא תקף לוגית בהוכחה.
זה כמו אדם שמרגיש רע ויש לו חום אבל לא מבינים במה הוא חולה. ברור שהוא חולה במשהו, אבל השאלה היא במה?

בעקבות השאלה חשבתי על זה קצת ולדעתי הסיבה למה צירוף המילים "המשפט הזה הוא שקר" הוא חסר משמעות הוא מכיוון שכשמנתחים את צירוף המילים "המשפט הזה" אפשר להחליף אותו ב"המשפט הזה הוא שקר". במילים אחרות בטענה אחת אנחנו איכשהו טוענים שתי טענות סותרות. 1. המשפט הזה הוא שקר, 2. המשפט הזה הוא שקר הוא שקר. במילים אחרות ניתן לומר שאנחנו טוענים א' ושא' הוא שקר באותה טענה.
הערה:
שים לב שאין בעיה להגיד דברים כמו "המשפט הזה הוא אמת" או "כל המשפטים מורכבים ממילים" מכיוון שאי אפשר לפרק אותם לטענות הסותרות זו את זו.