רוב כשאפשר ואי אפשר לבדוק / חולין דפים יא-יב

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

נראה להציע שלושה מהלכים מובחנים.

א. רוב כהכרעת־ברירת־מחדל, לא כוויתור על אמת פרטית

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

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

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

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

ב. רוב כתכונת קבוצה שאינה עוברת אוטומטית לפרט הניתן לזיהוי

זהו המהלך הקרוב יותר לשפה של תורת הקבוצות.

נניח שיש קבוצה S של בהמות, ומתוכה תת־קבוצה גדולה K של בהמות כשרות, ותת־קבוצה קטנה T של טרפות. המשפט “רוב S הוא K” נכון ביחס לקבוצה. אבל כאשר עומדת לפני בהמה מסוימת x, עדיין לא נובע לוגית ש־x שייכת ל־K. הרוב אומר משהו על התפלגות הקבוצה, לא על זהות הפרט.

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

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

זה איננו סותר את ההסתברות; זה מבחין בין שני סוגי טענות:

“רוב חברי הקבוצה הם כשרים” — טענה קבוצתית.

“הפרט הזה כשר” — טענה על איבר מסוים.

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

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

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

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

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

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

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

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

המסקנה ביחס לר' מאיר

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

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

כשאי אפשר לבדוק — הספק הוא תנאי הקיום של ההכרעה, והרוב נעשה כלי הכרעה.

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

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

להמשך השיחה עם המודל - לחצו כאן