א. קודם מגדירים את אמת המידה להשוואה הוגנת
סעיף 9.1 לא ממהר לפסוק מי ניצח, וגם לא כותב מראש את נאום הסיכום של כרך 9. כאן צריך קודם להניח על השולחן את אותה אמת מידה: היקף הכיסוי, מידת הסגירה, מעקות ההגנה, יכולת הבדיקה, יכולת המעבר בין תחומים והעלות ההסברית. מי שמגיש חשבון שלם יותר בכל הסעיפים האלה, הוא זה שראוי לקבל יותר סמכות הסברית.
לכן מעמדו של הסעיף הזה אינו "חימום", אלא "חקיקה". אם הסעיף הזה לא יקבע קודם את אמת המידה ההוגנת בצורה קשיחה, סעיפים 9.2 עד 9.18 יחליקו בקלות להצהרת עמדה, לניקוד לפי רושם או לחשבון רגשי עם הזרם המרכזי. רק כאשר הכללים מתקבעים מראש, כרך 9 יכול להיראות כמו טבלת העברת סמכות הסברית, ולא כמו נאום ניצחון.
ב. מדוע אמת המידה ההוגנת חייבת לבוא קודם
כרך 9 אינו יכול להתחיל מיד בביקורת סעיף אחר סעיף על הזרם המרכזי. לא מפני שהזרם המרכזי אינו צריך לעמוד לביקורת, אלא מפני שחשבון פרדיגמטי בלי סרגל משותף משווה בסוף לא את מי שמסביר חזק יותר, אלא את מי שכותב בקול רם יותר, את מי ששפתו מוכרת יותר ואת מי שיודע לנצל טוב יותר את העדפות הרקע שכבר קיימות אצל הקורא. הוגנות מדעית אינה רק ששני הצדדים רשאים לדבר; היא ששני הצדדים חייבים להיות מסוגלים לענות לאותה מערכת שאלות.
לכן משימתו הראשונה של סעיף 9.1 היא להבהיר "מה בעצם אנחנו משווים". אנחנו לא משווים רק מי מצמיד את הנתונים טוב יותר, וגם לא רק למי יש נוסחאות בשלות יותר. צריך לשאול בו בזמן: מי מסביר יותר; מי כותב את הנחותיו בצורה מפורשת יותר; מי מוכן לומר לקורא מתי עליו לסגת; ומי מצליח לדחוס תופעות מחלונות שונים בחזרה אל אותה מפת בסיס. רק אחרי שהשאלות האלה עומדות יציב, החשבון הבא אינו קופץ לפני הזינוק.
ג. קודם מעבירים את "כוח ההסבר" מיכולת לספר סיפור אל כשירות לעמוד לביקורת
כוח הסבר נוטה בקלות להיכתב בטעות כיכולת רטורית: מי שמספר את התופעות הקיימות בצורה חלקה יותר, נדמה כאילו הוא "מבין את העולם" טוב יותר. אבל כוח הסבר אמיתי אינו לסגור סיפור יפה, אלא להפוך את הסיפור לשרשרת מנגנונים הניתנת לביקורת. עליו לענות לפחות על ארבע שאלות: מהו בדיוק העצם, כיצד בדיוק משתנה המשתנה, דרך אילו חוליות המנגנון פועל, ומדוע קריאת המדידה מופיעה דווקא בתבנית שבה היא מופיעה כיום. אם ארבעת הצעדים האלה אינם נסגרים לשרשרת אחת, מה שנקרא הסבר הוא לעיתים קרובות רק שכבת דיבור נוספת על פני התופעה.
זו גם הסיבה שאם EFT רוצה לקבל כשירות בכרך 9, היא אינה יכולה להסתפק ב"דרך אחרת לומר את אותו הדבר". הסבר חזק יותר באמת אינו מתרגם כל מונח ישן פעם אחת, אלא הופך למפורש את מה שנתמך קודם בהנחות ברירת מחדל, מחזיר חלונות שהופרדו זה מזה אל אותה מפת בסיס, ומוכן לומר מתי הוא יפסיד. היכולת להסביר הרבה תופעות בדיעבד אינה שקולה לכוח הסברי גבוה; הנכונות לכתוב מראש אילו תוצאות יגרמו לתאוריה לצמצם תחום, לרדת בדרגה או לצאת מן הבמה היא זו שמראה שהיא מתחילה להחזיק כשירות אמיתית לעמוד לביקורת.
ד. אמת המידה הראשונה: היקף הכיסוי
היקף הכיסוי אינו שואל "האם אתה מסוגל להסביר מקרה מוזר אחד", אלא "האם אתה מסוגל לכסות, בעזרת אותה קבוצת מחויבויות יסוד, עוד חלונות תצפית שאינם סמוכים זה לזה". אם תאוריה נראית חדה רק על קו דק אחד, אך מיד כשהיא עוזבת אותו עליה להחליף את כל מערכת ההנחות, את כל השפה ועוד קופסה שחורה שלמה, הצלחתה המקומית אינה ניתנת להמרה ישירה לסמכות הסברית כוללת גבוהה יותר.
לכן בהשוואה הוגנת יש להציב את היקף הכיסוי בראש. ביחס להמסגרת המקובלת צריך לשאול: בין הקוסמולוגיה, הכבידה, המיקרו, הקוונטים והתרמו־סטטיסטיקה, כמה באמת חולקים אותה מפה אונטולוגית, וכמה הם רק הצבה זה לצד זה של ארגזי כלים מדויקים מאוד. ביחס ל-EFT צריך לשאול: האם "מפת הבסיס הגדולה" שלה אכן מסוגלת לדחוס את ההסחה לאדום, הכן הכהה, היווצרות המבנים, סביבת האופק הקרובה, התקני הגבול ומעקות ההגנה הקוונטיים אל אותו קו מנגנוני, ולא להמציא מחדש שפה בכל תחנה. היקף הכיסוי אינו תאוות ריבוי; הוא בודק עד כמה אותה מפת בסיס באמת מסוגלת ללכת רחוק.
ה. אמת המידה השנייה: מידת הסגירה
כיסוי רחב עדיין אינו אומר הסבר עמוק. אמת המידה השנייה היא מידת הסגירה. מידת הסגירה שואלת אם השרשרת מן העצם, דרך המשתנה והמנגנון, ועד קריאת המדידה באמת נסגרת. מסגרת יכולה להיות מצוינת בהתאמת תוצאות, ובכל זאת להשאיר חללים גדולים בשאלות "מה בעצם יש בעולם, כיצד הדברים האלה פועלים, ומדוע הם משאירים קריאה כזאת". מסגרת כזאת עשויה להיות חזקה מאוד בחישוב, אך לא בהכרח עדיפה בהסבר.
ההבחנה הזאת חייבת להיכתב מראש. רבות מהצלחות הזרם המרכזי הן קודם כול סגירה חישובית: הוא מסוגל לדחוס תצפיות רבות אל נוסחאות יציבות, מסגרות הגדרה יציבות וצינורות נתונים יציבים. אם EFT רוצה לתבוע כשירות תוספתית, עליה להוכיח שאינה מוסיפה עוד סיפור מחוץ לתוצאות האלה, אלא באמת משלימה את שרשרת העצם-משתנה-מנגנון-קריאת המדידה. מי שמפרק קופסאות שחורות למנגנונים, ומי שהופך הנחות ברירת מחדל למפורשות, מחזיק במידת סגירה גבוהה יותר; מי שסוגר רק בקצה התוצאה אך משאיר את שרשרת הביניים ריקה לאורך זמן, אינו יכול להמשיך לכתוב את עצמו כמסביר בלעדי.
ו. אמת המידה השלישית: האם מעקות ההגנה כתובים במפורש
תאוריה חזקה באמת אינה רק יודעת להסביר; היא גם מציבה לעצמה מעקות הגנה. כרך 8, סעיף 8.12, כבר כתב את הנקודה הזאת בקשיחות: קבוצות שמורות, סמיות, בדיקות אפס ושחזור בין צינורות ניתוח אינם קישוטים סטטיסטיים, אלא מעקות הגנה שמונעים מ-EFT להפוך את עצמה לתאוריה ש"יכולה להסביר הכול". אם כרך 9 רוצה להשוות בהוגנות, עליו להמשיך באותה רוח: כל מסגרת שאינה מוכנה לומר מראש איזו תוצאה תיחשב תמיכה, איזו תוצאה תיחשב הידוק, ואיזו תוצאה תפגע בשלד עצמו, נהנית מלכתחילה מיתרון נרטיבי וחסרה מלכתחילה כשירות לעמוד לביקורת.
לכן מעקות ההגנה עצמם הם חלק מכוח ההסבר. תאוריה שאינה מוכנה אפילו לכתוב את נתיבי הנסיגה שלה אינה מסבירה את העולם כמבנה שניתן ליישב מול חשבון; היא רק מגינה על עצמה כמערכת לשונית שאינה יכולה להיכשל באמת. מי שכותב בקשיחות רבה יותר את קו התמיכה, קו הגבול העליון וקו הנזק המבני, ראוי יותר לדבר על סמכות הסברית. מי שמאריך את חייו בעזרת גבולות מטושטשים, דחיית הכרעה ושכתוב עמדות בדיעבד - גם אם הוא יודע לחשב ולספר - צריך לאבד נקודות בהשוואה הוגנת.
ז. אמת המידה הרביעית: יכולת בדיקה ופגיעת תחזית
כוח הסבר שאינו מתורגם ליכולת בדיקה נשאר בסוף תפיסת עולם. יכולת בדיקה אינה שואלת רק "האם אפשר לאמת את התאוריה", אלא שואלת בצורה קשוחה יותר: "האם היא מסוגלת לכתוב תנאי פגיעה מבדילים לפני שרואים את התוצאה". כרך 8, סעיף 8.13, כבר דחס את הדרישה הזאת לשלוש מסילות ראשיות: מה יתמוך ישירות ב-EFT, מה ייחשב רק הידוק, ומה יגרום נזק מבני ישיר. סעיף 9.1 מציב את יכולת הבדיקה כאמת מידה הוגנת כדי למנוע מכרך 9 להחליק בחזרה אל תרגום בדיעבד.
תאוריה שבאמת יכולה לקבל סמכות הסברית חייבת להסכים לחשיפת סיכון. עליה לומר לקורא: אם הנתונים בעתיד ילכו בכיוון הזה, אני מנצחת; אם הם יגיעו רק עד כאן, עליי לצמצם את תחומי; אם הם יפרצו ברצף את כמה שלדי-היסוד האלה, אין לי עוד זכות לשמר את הגרסה המקורית. ככל שתאוריה מוכנה יותר להכניס את גורלה אל פגיעת תחזית ואל כישלון תחזיתי, כך כוח ההסבר שלה קרוב יותר להסבר במובן המדעי. תאוריה שמוסיפה תמיד אחרי הופעת התוצאה את המשפט "בעצם גם אני יכולה להבין זאת כך" דומה יותר לנרטיב בעל הסתגלות גבוהה מאשר לתאוריה בעלת כוח הסבר גבוה.
ח. אמת המידה החמישית: יכולת מעבר בין תחומים
כדי שכוח ההסבר יהיה חזק יותר, צריך לבדוק גם אם הוא מסוגל לעבור בשקט מזירת קרב אחת לאחרת בלי לאבד בדרך את משמעותו האונטולוגית. מסגרות רבות חזקות מאוד בלוח יחיד; אך ברגע שהן עוברות לסקאלה אחרת, לעצם אחר או לחלון תצפית אחר, הן חייבות להחליף מילון, הנחות ואינטואיציית יסוד. הצלחה כזאת ודאי עדיין בעלת ערך, אך היא דומה יותר להצבה של כמה שפות מקומיות זו לצד זו מאשר לפריסה בין־תחומית של אותה מפת בסיס.
אם EFT רוצה לקבל בכרך 9 כשירות תוספתית, עליה למסור לביקורת את יכולת המעבר שלה בין תחומים. האם היא מסוגלת להחזיר את ההסחה לאדום, הכן הכהה וצמיחת המבנים בקוסמולוגיה, יחד עם שיפוע המתח בכבידה, ספקטרום המבנים במיקרו, קריאת הסף בקוונטים, והרעש ונפח הערוץ בתרמו־סטטיסטיקה, אל אותה קבוצת תחביר יסודית? אם כן, היא צוברת נקודות במעבר בין תחומים; אם לא, היא עדיין רק כמה אמירות מקומיות חדשות שמחוברות ביניהן בגשרים. השאלה ההוגנת אינה מי צועק ראשון "איחוד", אלא מי באמת מצליח לעבור לצד השני בלי לעוות את המשמעות.
ט. אמת המידה השישית: העלות ההסברית
אמת המידה האחרונה היא העלות ההסברית. עלות הסברית אינה אורך המאמר וגם לא מספר הנוסחאות, אלא כמה הנחות חזקות, כמה פרמטרים של קופסה שחורה וכמה תאי חילוץ שמופעלים רק כאשר מתעוררת תקלה נוספים בכל צעד הסברי קדימה. מסגרת יכולה להשתמש במעט מאוד סמלים, ובכל זאת להסתיר מנגנונים רבים בתוך הנחות ברירת מחדל; מסגרת אחרת יכולה לדבר באריכות רבה יותר על פני השטח, אך למעשה להפחית הנחות מחלקתיות, טלאים שאינם קשורים זה לזה וישויות דמויות דלי. הדבר שבאמת צריך להשוות הוא הנטל האונטולוגי הכולל, ולא מספר המילים שעל פני השטח.
לכן כרך 9 אינו יכול להשוות ישירות "יכולת התאמה" ל"עלות נמוכה יותר". אם תאוריה צריכה תמיד להישען על ראשי-מערכת נוספים, קופסאות שחורות אונטולוגיות, דליי שאריות ותסריטי היסטוריה כדי לשמר סגירה כוללת, עלות ההסבר שלה אינה בהכרח קלה באמת. מנגד, אם שפת מנגנונים אחת מצליחה להחזיר קריאות מדידה שפוזרו קודם בכמה טבלאות אל אותה שרשרת סיבתית, ייתכן שגם אם היא ארוכה יותר בפריסה, היא זולה יותר בחשבון הכולל. בהשוואה הוגנת, מי שמסביר יותר תופעות בעזרת פחות הנחות חזקות ומשאיר פחות פתחי חילוץ זמניים, צריך לקבל ניקוד גבוה יותר בסעיף העלות ההסברית.
י. מדוע מאה שנות הזרם המרכזי עדיין ראויות לקרדיט עצום
כתיבת אמת המידה ההוגנת אינה אומרת שכרך 9 רשאי למחוק את תרומתה האמיתית של פיזיקת הזרם המרכזי במאה השנים האחרונות. להפך: בלי תורת היחסות הכללית, האלקטרודינמיקה הקוונטית, הכרומודינמיקה הקוונטית, התאוריה האלקטרו-חלשה, והמסורת המדידתית, צינורות הנתונים, הנדסת ההתקנים והחישוב שמאחוריהן, לא היה לנו כיום עולם תצפיתי וניסויי עשיר כל כך, מדויק כל כך ותובעני כל כך. תרומתו הראשונה של הזרם המרכזי אינה בהצהרה אונטולוגית, אלא בכך שסיפק שפת חישוב וממשק הנדסי חזקים במיוחד.
לכן עבודתו של כרך 9 אינה להשפיל את המערכת הישנה, אלא לסדר אותה מחדש בשכבות. בחלונות רבים הזרם המרכזי עדיין הוא ארגז כלים חישובי מן השורה הראשונה, ועדיין השפה המשותפת של עיבוד נתונים ושל יישום הנדסי. מה ש-EFT מבקשת לקבל לידיה אינו ניפוץ הכלים האלה, אלא יותר ויותר סמכות להסבר מנגנוני ולנרטיב אונטולוגי. פרק 9 חייב להכיר בכך כבר מן ההתחלה; אחרת החשבון יהפוך לפגיעה לא הוגנת בהישגי הכלים, וגם הביטוי "הורדה לדרגת שפת חישוב" בהמשך ייראה לא הוגן.
יא. מה שכרך 8 נותן לכרך 9 אינו תנופה, אלא בית משפט
כרך 8 כבר עשה קודם עבור כרך 9 את העבודה החשובה ביותר: הוא לא העניק ל-EFT מדליה, אלא בנה ל-EFT בית משפט. סעיף 8.12 מחייב את EFT לקבל את ארבעת מעקות ההגנה המאוחדים: קבוצות שמורות, סמיות, בדיקות אפס ושחזור בין צינורות ניתוח. סעיף 8.13 מצמצם את הניצחון או ההפסד ברמת העצמים של הכרך כולו לקו תמיכה חזקה, קו גבול עליון וקו נזק מבני. כלומר, כרך 9 יכול לדבר היום לא מפני ש-EFT כבר ניצחה אוטומטית, אלא מפני שהיא לפחות מוכנה להכניס את עצמה לאותו הליך קפדני.
אסור לוותר על הממשק הזה. אם כרך 9 רוצה לבחון את הזרם המרכזי במיקרוסקופ הדק ביותר, עליו להבטיח שגם הוא עצמו מקבל את אותו מיקרוסקופ. כרך 8 לימד קודם את EFT לעמוד במכות, ורק אחר כך כרך 9 רשאי לתת ל-EFT לשפוט אחרים; כרך 8 כתב קודם את אמת המידה המאוחדת לביקורת, ורק אחר כך כרך 9 יכול לדבר על העברת סמכות הסברית. המסגרת ההוגנת שסעיף 9.1 מציב כאן היא העברת בית המשפט הזה אל פתיחת כרך 9: מכאן ואילך אף סעיף בחשבון לא רשאי להשתמש בסטנדרט כפול.
יב. בהשוואה חייבים לפרק שלושה סוגי "חוזק": לדעת לחשב, לדעת להסביר, לדעת לבנות דברים
להשוואה הוגנת יש עוד תנאי מוקדם שקל מאוד להחמיץ: אסור לערבב בגסות בין "לדעת לחשב", "לדעת להסביר" ו"לדעת לבנות דברים" כאילו היו ציון כולל אחד. לדעת לחשב פירושו לבצע התאמות מדויקות וחישובים יציבים בתוך חלון נתון; לדעת להסביר פירושו לסגור את שרשרת העצם-משתנה-מנגנון-קריאת המדידה אל מפת בסיס שניתנת לביקורת; לדעת לבנות דברים פירושו האם התאוריה מסוגלת לתמוך במכשירים, בהתקנים, בתהליכים ובעולם ההנדסי. הזרם המרכזי עדיין חזק מאוד בסוג הראשון מבין שני הראשונים, וגם בסוג השלישי. אם EFT רוצה לתבוע מקום, עליה להוכיח קודם כול שיש לה כשירות תוספתית בסוג השני.
לאחר שמפרידים בין שלושת סוגי ה"חוזק" האלה, ויכוחים מדומים רבים נעלמים מעצמם. הזרם המרכזי יכול להמשיך להחזיק חשיבות מוחלטת בחישוב ובהנדסה, ובו בזמן EFT עדיין יכולה להשיג יותר סמכות הסברית ברמת המנגנון. שני הצדדים אינם חייבים להכריע חיים ומוות על אותה זירת קרב בבת אחת; הם עוברים מסירה הדרגתית בשכבות שונות. הדבר הלא הוגן באמת אינו להכיר בשכבתיות הזאת, אלא להבריח יתרון בשכבה אחת אל מונופול בכל השכבות. תפקידו של סעיף 9.1 הוא קודם כול לנתק את ההברחה הזאת.
יג. כיצד הסמכות ההסברית עוברת סעיף אחר סעיף
לאחר שש אמות המידה שלעיל, סעיפי ההמשך של כרך 9 אינם רשאים להתקדם לפי טעם אישי. הם חייבים להיפתח על פי אותה מסגרת: קודם להציג בהוגנות את הלשון החזקה של הזרם המרכזי, אחר כך לתת את סמנטיקת ההחלפה של EFT, לאחר מכן להבהיר עד היכן שני הצדדים עדיין ניתנים לתרגום הדדי, ולבסוף להניח על השולחן את נקודות הבדיקה וההתאמה לחשבון. היתרון של כתיבה כזאת אינו שהטון יפה יותר, אלא שהיא מבטיחה שכל סעיף בחשבון כפוף לאותה מערכת אמות מידה.
לכן מה שכרך 9 עושה באמת אינו "רשימת מי צודק ומי טועה", אלא טבלה שכבתית של "איזו שכבת כלים נשארת, איזו שכבת אונטולוגיה מפנה את מקומה, ואיזו שכבת סמכות הסברית נמסרת". אם לזרם המרכזי עדיין יש במקום מסוים תחביר חישובי בשל ביותר, הוא נשאר; אם EFT מסוגלת במקום מסוים לקבל לידיה את הסבר המנגנון בעלות הסברית נמוכה יותר, במידת סגירה גבוהה יותר וביכולת מעבר חזקה יותר, היא מקבלת יותר סמכות הסברית. ברגע שסעיף 9.1 מקבע את ההליך הזה, סעיפים 9.2 עד 9.18 אינם עוד התקדמות רגשית, אלא מסירה סעיף אחר סעיף באותו בית משפט.
יד. קביעת הליבה של הסעיף הזה
חשבון פרדיגמטי אינו פסק דין רגשי. קודם צריך לתת אמת מידה הוגנת: מי שמסביר יותר, שמעקות ההגנה שלו ברורים יותר ושנקודות הבדיקה שלו קשיחות יותר, הוא זה שראוי לקבל יותר סמכות הסברית.
משקלו של המשפט הזה הוא בכך שהוא מחייב את שני הצדדים בו בזמן. הוא אוסר על הזרם המרכזי להמשיך להחזיק אוטומטית במעמד אונטולוגי רק מכוח הישגים היסטוריים, והוא אוסר על EFT לקבל מראש כתב זכייה רק מכוח שאיפה נרטיבית. החל מסעיף 9.1, כל צד שרוצה לקבל סמכות הסברית רחבה יותר יכול לדבר רק דרך אותה אמת מידה.
טו. סיכום
מה שסעיף 9.1 באמת מקבע אינו פסק דין ראשון על הזרם המרכזי, אלא דקדוק ניקוד שכל הכרך ישתמש בו שוב ושוב: היקף הכיסוי בודק כמה חלונות אתה יכול להסביר; מידת הסגירה בודקת אם אתה מסוגל לסגור את שרשרת העצם-משתנה-מנגנון-קריאת המדידה; מעקות ההגנה בודקים אם אתה מעז לכתוב את דרכי הנסיגה; יכולת הבדיקה בודקת אם אתה מוכן לפגיעת תחזית; יכולת המעבר בודקת אם אתה יכול לעבור בין תחומים בלי לעוות משמעות; והעלות ההסברית בודקת בכמה הנחות חזקות וקופסאות שחורות השתמשת באמת. רק כאשר שש אמות המידה האלה עומדות זו לצד זו, כרך 9 רשאי להמשיך ולשאול "מי ראוי יותר להסביר את היקום הזה".
שש אמות המידה של ההשוואה ההוגנת כבר עומדות כאן. סעיף 9.2 יכוון תחילה את הטון; הכניסה האמיתית לחשבון סעיף אחר סעיף תגיע רק אחרי 9.4. בהמשך, כל מי שירצה לתבוע סמכות הסברית יעמוד לביקורת תחת אותה אמת מידה, ולא יוכל לזכות בחצי צעד מראש בזכות טון, ותק או מילים מוכרות. מה שמתקבע כאן אינו עמדה, אלא ההליך שכל פסק דין של כרך 9 מכאן ואילך חייב לציית לו.