איך להוכיח שדרך מסוימת היא הדרך היחידה לפתרון?

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

• שהדרך המדוברת אכן מובילה למטרה.
• שכל הדרכים האחרות אינן מובילות למטרה הזאת.

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

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

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

על מנת להוכיח שהדרך שנבחרה היא "היחידה", כלומר, ש"רק בדרך הזאת", חובה להראות ששתי האפשרויות הבאות מתקיימות בו זמנית:

• הדרך הנבחרת עובדת (היא באמת מובילה ליעד).
• כל דרך אחרת שתיבחר לא תוביל ליעד.

למה לא מספיק להראות שכל הדרכים האחרות אינן נכונות?

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

לדוגמה, אם אדם שואל "איך להגיע לירושלים?", ועונים לו "רק בדרך הזאת אפשר להגיע לירושלים", הטענה הזאת מחייבת שתי בדיקות נפרדות:

• יש לבדוק האם הדרך המדוברת אכן מגיעה לירושלים.
• יש לבדוק האם כל דרך אחרת שתיבחר אכן לא מגיעה לירושלים.

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

האם אפשר לוותר על הוכחת הדרך עצמה?

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

איך יודעים שכל הדרכים האחרות נבדקו?

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

למה חשוב להבין את פירוש השאלה באופן מדויק?

אליעד כהן מדגיש שגם אופן הבנת השאלה עצמה יכול להשפיע על התשובה שנותנים. למשל, אם...