FANDOM


פרדוקס השקרן הינו כינוי לפרדוקס מפורסם אשר מנוסח כ "משפט זה הינו שקר".


הוכחת הפרדוקס באמצעות רקורסיה עריכה

  1. נניח שמשפט זה הינו שקר. אזי שיש להפוך את נושא המשפט להיפך שלו, כלומר, במקום "משפט זה הינו שקר" נהפוך את המשפט ל "משפט זה הינו אמת". אם משפט זה אמת, עבור ל - 2.
  2. נניח שמשפט זה הינו אמת. אזי שיש להשאיר את המשפט כפי שהוא, כלומר "משפט זה הינו שקר" ולכן המשפט הוא שקרי, ואם הוא שקרי, עבור ל - 1.

מסקנה עריכה

מהפרדוקס אפשר להבין שלא ניתן לטעון שדבר מיוצג על ידי עצמו, כלומר, שלא ניתן לטעון שפסוק מסוגל לטעון את אמיתותו.