שתי דרכים אל האמת

אם ראיתם מאה ברבורים לבנים, האם אתם יודעים בוודאות שכל הברבורים לבנים? לא. אתם יודעים רק דבר אחד: שעד עכשיו ראיתם מאה ברבורים לבנים. ברבור שחור אחד מספיק כדי להפיל מסקנה שנראתה מובנת מאליה במשך דורות. וזה חשוב, כי רוב מה שאנחנו מכנים “ידע” עובד בדיוק כך: אנחנו רואים, מודדים, חווים, חוזרים על אותה תצפית מספיק פעמים – ואז מסיקים כלל.

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

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

מולה עומדת דרך אחרת, שאינה מתחילה מן העין אלא מן השכל. היא שואלת: האם יש דברים שאנחנו יודעים שהם נכונים – לא מפני שראינו אותם, אלא מפני שהם מוכרחים להיות נכונים?

הנחה א’: כל בני האדם הם בני תמותה.
הנחה ב’: סוקרטס הוא אדם.
מסקנה: לכן, סוקרטס הוא בן תמותה.

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

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

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

הנחה א’: כל X הוא Y.
הנחה ב’: כל Y הוא Z.
מסקנה: לכן, כל X הוא Z.

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

ואם החושים אינם חלון שקוף אל המציאות אלא תרגום ביולוגי שלה, נפתחת השאלה: האם יש בכלל דרך להגיע אל מה שאינו רק תרגום? האינדוקציה לא תיקח אותנו לשם; היא כלואה בתוך עולם התצפית, ואומרת רק “כך נראו הדברים עד עכשיו”. הדדוקציה חורגת ממנו. היא אומרת “כך הדברים מוכרחים להיות”.

כאן מצטיירות שתי פרדיגמות, ולכל אחת מחיר.

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

הדדוקציה, שעליה נשען הרציונליזם, מאפשרת ודאות. 1+1=2 לא ימתין למחקר הבא ולא ייסוג מפני שום תצפית. הוא מחזיק באמיתות נצחיות שאינן משתנות, ואין בו מקום להפתעות או להסתברויות: זוהי אמת בוודאות של 100%, שאינה תלויה בזמן, במקום, בחוויה חושית או בתפיסה סובייקטיבית. שום “ידע חדש” ושום תצפית אינם יכולים לערער אותה, משום שהיא נובעת מן ההיגיון הטהור עצמו – מהגדרת המושגים וממה שמוכרח לנבוע מהם.

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

זהו צומת הדרכים. האחד מציע מגע עם העולם בלי ודאות; השני מציע ודאות מנותקת מחיי היום-יום, לכאורה. התרבות המדעית המודרנית נוטה, בצדק מבחינתה, להעדיף את הדרך הראשונה: את מה שנמדד, נצפה ונבדק. אבל לפני שמכריעים, שווה לעצור על המילה “לכאורה”. כי אם יתברר שהדרך השנייה, זו שנראית המנותקת, היא דווקא הקרובה יותר אל מה שבאמת קיים – כל הברירה מתהפכת. האתגר של הרציונליזם הוא להראות כיצד הוא מתאר את העולם שאנו חיים בו, ולא רק עולם מופשט.

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

אז הבה נדייק. את ההגדרות אנחנו אכן קובעים. את ההשלכות שלהן – לא. הגדרנו מהו “מספר ראשוני”: מספר טבעי שמתחלק רק בעצמו וב-1. אבל מרגע שההגדרה קיימת, לא אנחנו החלטנו שיש אינסוף מספרים ראשוניים. את זה גילינו. אף ועדה לא הצביעה על כך, אף תרבות לא בחרה בכך ואף מוח לא המציא את ההכרח. אוקלידס הוכיח זאת לפני 2,300 שנה, ולא הייתה לו ברירה. ההוכחה פתוחה לכל מי שטורח לעקוב אחריה.

זה ההבדל בין המצאה לגילוי. הסמלים שבהם אנו כותבים מתמטיקה הם המצאה – אין זה משנה אם נסמן “שתיים” כ-2, כ-II או ♣ או בכל סימן שרירותי אחר. אבל היחסים הלוגיים שהסמלים האלה חושפים אינם נתונים לרצוננו. משפט פיתגורס היה נכון לפני שאדם כלשהו ניסח אותו, ויישאר נכון אחרי שייעלם האדם האחרון. ההיגיון מאחוריו יישאר אותו היגיון, גם בכוכב חייזרי. אפשר להחליף לו את השפה; אי אפשר להחליף לו את הדין.

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

קחו את האדום של הפרח. הוא אינו נמצא “שם בחוץ” כפי שאתם חווים אותו; הוא נולד במפגש בין אור, עין ומוח. ובכל זאת משהו שם בחוץ אינו תלוי בעין שלכם – מבנה כלשהו של המציאות, שהעין האנושית מתרגמת לאדום, עין אחרת תתרגם אחרת, ומכשיר מדידה יתאר באורכי גל. שלושה מתרגמים שונים, מקור אחד. וזו בדיוק הנקודה: היכן שיש תרגום, מוכרח להיות משהו שמתורגם.

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

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

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

את האסימטריה הזו רואים בהיסטוריה של כל אחד מהם. ניטשה ניסח אותה בחדות: “רק מה שאין לו היסטוריה אפשר להגדיר¹.” למדע יש היסטוריה – שרשרת ארוכה של תיקונים. המודל הגיאוצנטרי פינה מקום להליוצנטרי, ניוטון התחלף באיינשטיין, וגם תורת היחסות, יודעים הפיזיקאים, אינה סוף הדרך. למתמטיקה אין היסטוריה כזו. למתמטיקה יש היסטוריה של גילויים; לא היסטוריה של תיקוני אמת. משפט פיתגורס לא “השתפר” ולא “הופרך” ב־2500, מפני שאין בו מה לתקן. מרגע שהונחו האקסיומות שלו, הוא מוכרח לנבוע מהן.

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

לא פתרנו בכך את שאלת המציאות, ולא אמרנו שהעולם “עשוי” ממתמטיקה – לזה יידרש צעד נוסף, ולא היום. אבל השאלה כבר מעמיקה מעצמה. לא רק כיצד אנחנו יודעים אמת שאינה תלויה בנו, אלא היכן היא בכלל מתקיימת. לא בראש בלבד, שהראש נולד ומת. לא על הנייר בלבד, הרי הנייר נשרף. ולא בהסכמה שבינינו, שהרי גם עולם שלם, פה אחד, אינו יכול להצביע ש-1+1=3. הסכמנו או לא – המספרים אינם ממתינים לאישורנו.

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

האם המקור הבלתי תלוי שמאחורי החושים הוא אותו דבר כמו האמת הלוגית שאינה תלויה בנו? זו בדיוק השאלה. אבל אם כן – אם אותו סדר שכל מדידה וכל מסקנה מניחות מראש הוא גם מה שעומד מאחורי התרגום – אז אולי איננו מתארים בעזרתו את המציאות מבחוץ. אולי אנחנו נתקלים בדבר שבגללו יש למציאות צורה מלכתחילה.