בעיית הזניחה
סקרנו את בעיית האימוץ. אולם, ברוב המקרים, כשאנחנו משנים את הלוגיקה, אנחנו זונחים היסקים - לא מוסיפים; לוגיקה קלאסית היא הרי הלוגיקה החזקה ביותר.
לכן, המאמר עוסק בבעיה מקבילה לבעיית האימוץ - בעיית הזניחה.
נניח והגענו למסקנה שהיסק דוגמת מודוס פוננס הוא לא מוצלח - ואיננו רוצים להשתמש בו עוד. אולם, אומרים גולן ושות', עצם ההיסק הזה נשען על מודוס פוננס. כלומר, על מנת לזנוח כלל היסק עליי להשתמש בו - ואז הרי שלא באמת זנחתי אותו!
יתרה מכך - נניח ולא נשענתי על מודוס פוננס בכדי לזנוח אותו. במקרה כזה - הרי שאני בכלל לא משתמש במודוס פוננס - ומכאן שאין לי מה לזנוח!
הבהרה
לזנוח משמע לא לקבל כעיקרון כללי - כלומר, אם אני זונח את מודוס פוננס, אני למעשה אומר - יש לפחות מקרה אחד שבו אין להשתמש במודוס פוננס.
הנטישה (או היעדרה) חייבת להתבצע בצורה רציונלית. אם נטשתי את ההיסק בצורה לא רציונלית - הרי שלא נטשתי אותו רציונלית. ואם כבר נטשתי אותו בצורה רציונלית - הרי שהוא כבר נטוש מלכתחילה (איך?) ואין פה בעיה באמת.
נניח ואני דוחה היסקים על בסיס האמנה - אני מאמין שהיסקי מודוס פוננס הם לא טובים. הדחייה היא דחייה כללית, ולא סביב דוגמת שימוש כזו או אחרת. האם זה מספיק כדי לדחות בצורה רציונלית - דחיית ההיסק הכללי ולא הפרטי?
במקרה הזה, עדיין נצטרך לגבש היסק ספציפי - אה, זה מודוס פוננס, לכן אני דוחה אותו! איך הגעתי מההיסק הכללי (מודוס פוננס הוא לא טוב) להיסק הפרטני (הנה היסק מודוס פוננס, הוא לא טוב)? היסק הביניים הזה מכונה במאמר היסק Guidance. כדי לדחות איתו את מודוס פוננס, אני צריך להקריץ היסק כזה, ועוד אחד שלא משתמש במודוס פוננס - אחרת זה לא יהיה רציונלי[^1] (זה לא רציונלי לנטוש את מודוס פוננס עם מודוס פוננס).
יתרה מכך - הפתרונות המוכרים לבעיית האימוץ אינם מתרגמים לבעיית הנטישה. הפתרונות מחלוקים בגדול לשלוש, ששואלים איך קבלת העיקרון מתקשרת לשינוי הפרקטיקה -
-
או שקבלת העיקרון מנחה את שינוי הפרקטיקה אפשר לעקוף את הבעיה באמצעות היסקים מצורה אחרת
-
ניתן לבצע הנחייה ללא היסק נוסף אם יש לנו אסטרטגיה קבועה מראש, אפשר לפעול לפיה ללא היסק בכל מצב. אבל לא ברור איך אפשר לייצר אסטרטגיה כזו לנטישה.
-
אין צורך בהנחיה
בתמצית - אימוץ הוא פעיל, אבל זניחה היא סבילה - התנאים שבגינם אני יכול לאמץ באופן פעיל כלל חדש לא מתרגמים באופן ברור ללהפסיק לפעול לפי הרגל\מדיניות של כלל שאני זונח. פירוש הדבר הוא לא שאין פתרון כאלה - רק שהם לא עובדים כמו שהם.