לוגיקה ופרדוקס

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

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

ענה: הטיעון שלך נכון. אבל אני ארחיב קצת כדי להבהיר את ההשקפה האובייקטיביסטית.

האובייקטיביזם גורס כי ללוגיקה יש בסיס באקסיומה המטאפיזית של הזהות. שלושת הקנונים הבסיסיים של הלוגיקה נקראים זהות (A הוא A), אי-סתירה (A אינו Non-A), וחוק האמצע המוחרג (X הוא A או Non-A). אבל כל אלה נובעים מהעובדה האקסיומטית שאיין ראנד כינתה "זהות", שלא משנה מה הדבר, זה הדבר הזה. האתגר הגדול שלנו ביצירת ידע הוא לדעת את זהות הדברים: מה הם. וההיגיון הוא האמצעי שבאמצעותו אנו יכולים לעשות זאת. זו הסיבה שאיין ראנד כינתה את ההיגיון "אמנות הזיהוי הלא סותר". אז הבסיס של ההיגיון הוא לא מבנה אנושי שרירותי, אבל, למרות שאין ספק אנושי, טמון כולו במציאות.

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

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

‍