משפטים טריוויאליים ופרדוקסים סתמיים

יצחק נבו 68 כיצד נפתור אותם ? לפני שנפתור, וכדי להתקרב להתרת הסוגיה, הבה נתייחס לכמה משפטים לוגים רגילים ( לא פרדוקסליים, אלא משפטים שהם אמת או שקר ) ולהיפוכם : 1 . גובהי חמישה מטרים ( שקר ) . גובהי אינו חמישה מטרים ( אמת ) . 2 . אני גר באילת ( אמת אם אני תושב אילת, שקר אם איני תושב אילת ) . אינני גר באילת ( ערך הפוך לנ"ל ) . 3 . 1 + 1 שווה 2 ( אמת ) . 1 + 1 אינו שווה 2 ( שקר ) . 4 . אכל את העוגה והשאיר אותה שלמה ( שקר ) . לא אכל את העוגה והשאיר אותה שלמה ( אמת ) . אכל את העוגה ולא השאיר אותה שלמה ( אמת ) . 5 . אי אפשר להיכנס לאותו נהר פעמיים ( שקר ! ) . אפשר להיכנס לאותו נהר פעמים רבות ( אמת ! המים הם אחרים, אבל הנהר הוא אותו נהר . ראו פרדוקס הערמה ! ) בכל אחד מן המשפטים לעיל יש אמירה כלשהי . כל אחד מהם מוסר אינפורמציה, נכונה ( אמת ) או לא נכונה ( שקר ) . בלוגיקה יש שני ערכים – אמת או שקר . והמשפטים לעיל, לכל אחד מהם יש ערך לוגי ( אמת או שקר ) , ולמשפט ההפוך ישנו הערך ההפוך בהתאם . כעת, נתייחס לפרדוקסים לעיל, המוצגים בתחילת הפרק ( א עד ט ) . הבה נראה את מהותם הלוגית של המשפטים ההפוכים...  אל הספר