הגות כל המאמרים

למה הראיות לא יכולות לשפוט

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

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

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

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

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

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

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

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

אז ההנחות המוקדמות הן שמכריעות. התקווה המתבקשת הבאה היא לבקר את ההנחות — לצעד אחורה ולשאול של מי נקודת המוצא היא האמינה, של מי ההיווצרות עקבה אחרי האמת ושל מי עיוותה אותה. וכאן אנחנו פוגעים בקיר שכל שאר הסדרה בנויה עליו, אז תן לי לנסח אותו בזהירות. קרא לזה כלל הביקורת המעגלית (the no-non-circular-audit result). אתה תמיד יכול להסביר מאיפה באו ההנחות של מישהו: מזג, חינוך, התרבות שעיצבה אותו, הסגנון הקוגניטיבי שלו, הספרים שבמקרה הגיעו אליו ראשונים. כל זה אמיתי ולעתים קרובות נכון. מה שאתה לא יכול לעשות זה לדרג את הסיבות האלה כעוקבות-אמת או כמעוותות בלי לעמוד באיזשהו מקום כדי לדרג מתוכו, וכל עמדה שאתה יכול לדרג מתוכה היא בעצמה תוצר של הנחות מוקדמות משלה. המהלך הגנאלוגי — "האמונה שלך היא סתם משקע של איך שגידלו אותך" — זמין לכולם וחותך לכל כיוון בבת אחת. הביטחון של האתאיסט הוא גם משקע של היווצרות; כך גם של התאיסט; כך גם המזג של מי שמכריע בין השניים. הביקורת שהייתה מאשרת את ההנחות שלי כרואות ואת שלך כעיוורות הייתה צריכה להיערך תוך שימוש בהנחות מוקדמות, וההנחות היחידות שזמינות לי לעבודה הן שלי. אין נקודת מבט משום-הנחות. נקודת המבט משום-הנחות היא לא נקודת מבט.

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

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

תן לי למקם את זה ביושר על המפה, בפסקה אחת, כי זאת לא עמדה שהמצאתי. פילוסופים קוראים לשאלה שעל הפרק ייחודיוּת מול תירנוּת — Uniqueness מול Permissivism. ייחודיות אומרת שגוף ראיות נתון מתיר בדיוק תגובה רציונלית אחת, אז שני אנשים שחולקים לא יכולים שניהם לחשוב היטב. תירנות אומרת שגוף ראיות יכול להתיר באופן רציונלי יותר מתגובה אחת, תלוי בהנחות המוקדמות שאתה מביא. רוג'ר וייט דחף את הטיעון לייחודיות; מרים שונפילד ותומס קלי, בין היתר, הגנו על הצד התירני. אני עם התירנים, אבל עם תוספת מכרעת ששומרת מזה להחליק לאן שאתה חושש שזה מחליק: אני תירני וריאליסט. יותר מהנחה מוקדמת אחת יכולה להיות רציונלית. זה לא אומר שיותר מתשובה אחת נכונה. זה אומר שהאמת קיימת והראיות לא יכולות לכפות על הרציונליים להסכים עליה. תחזיק את שתי אלה יחד; כל הסדרה היא המשמעת של להחזיק אותן יחד.

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