פרדוקס העורבים השחורים והנעליים הלבנות (והפתרון האינסופי)

פרדוקס?

נבדוק:

טענה:

כל העורבים שחורים.

טענות שקולות:

1. אין עורב שאיננו שחור. 

2. כל מה שאיננו שחור, איננו עורב. (או: אם זה לא שחור, זה לא עורב)

מדוע טענות אלו שקולות?

משום שאם אחת מהן נכונה, הרי שגם האחרות נכונות, ולהיפך.

כעת, אנו מניחים שתי הנחות, או נצמדים לשני עקרונות:

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

2. טענות שקולות יקבלו חיזוק מאותם המקרים הפרטיים.

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

או: אם מקרה פרטי א' מאשש טענה A, הרי שמקרה פרטי א' מאשש גם טענה שקולה לה A1.

נתמקד ביחסים שבין טענה שקולה 2 (כל מה שאיננו שחור איננו עורב) לטענת המקור (כל העורבים שחורים).

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

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

אז נחזור לענייננו ונזכר כי בדקנו את הדבר, וכי הוא איננו עורב, ועל־כן הטענות בטוחות, לעת עתה.

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

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

אך אבוי, נוצר כאן מצב בעייתי.

בדקנו מקרה פרטי שנתן אישוש לטענה שקולה 2.

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

מכאן נובע ש

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

והרי זה אבסורד.

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

ואנו שואלים: האמנם?

ועוד אנו שואלים: מה ניתן לעשות עם זה?

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

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

פתרון שלישי, לדחות את העקרון שעל פיו מה שמאשש טענה אחת, מאשש גם את הטענה השקולה לה.

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

ואנו, מה איתנו?

אנו נעשה כך:

נקביל את הטענה שכל העורבים שחורים לטענה אחרת:

כל (2+3) הם 5.

ובנוסחה, כפי שלמדנו בכיתה:

5=(2+3)

מדוע זה לגיטימי? כי טענת העורבים טוענת שכל א' הוא ב', וטענת המספרים טוענת טוענת שכל א' הוא ב'.

עכשיו נכתוב את הטענה השקולה לה:

כל מה שאיננו 5, איננו (2+3)

טענה זו מקבילה לטענה שכל מה שאיננו שחור איננו עורב.

אם נכתוב זאת באופן נוסחתי, הרי שנכתוב כך:

{\ \infty……..9, 8, 7, 6, … 4, 3, 2, 1} ≠ (2+3)

מה שנמצא בתוך הסוגריים המסולסלים הוא כל המספרים שאינם חמש, או כל מה שאיננו חמש.

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

למעשה סיימנו, באשר הבענו את מה שצריך הבעה, אבל ברי כי עדיין צריך להסביר.

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

ש – 7 (שהוא פריט אחד מתוך האינסוף שאיננו חמש) מחזק את הטענה על פיה 5=2+3. 

כלומר, מה שעשינו הוא להקביל את נעליים לבנות ל – 7.

מרקים כתומים יהיו 8, וארנקים ורודים יהיו 642, למשל.

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

התיאור הזה מסביר את תחשות אי-הנוחות העולה בנו נוכח האמירה שנעליים לבנות מחזקות את הטענה שכל העורבים שחורים.

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

הטענה הראשונה היא על עורבים. היא טענה על תכונות של פרטים כלשהם בתוך המציאות. 

הטענה השניה היא טענה על הכלליות, על האינסוף. 

מה שחשוב בטענה הראשונה הוא הנושא שלה, העורבים.

ואילו מה שחשוב בטענה המקבילה הוא הנושא שלה – כל (ואפשר גם לשקול כנושא את "כל מה שאיננו שחור")

תיבות כל המופיעות הן בטענת כל העורבים שחוריםוהן בטענת כל מה שאיננו שחור וכו'

הן אינן אותן תיבות, והדמיון בניהן איננו תוכני כי אם צורני בלבד.

תיבת כל הראשונה היא מוגבלת, פרטית, 

ואילו השניה אינסופית, לא מוגבלת, כללית. 

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

אז שימו לב.

בכלל, שימו לב.

(כל בני האדם נולדו שווים.)

(כל בני האדם נולדו לא שווים.)

(כל בני האדם לא נולדו שווים. )

(כל מה שאדם נולד שווה.)

(כל מה שאיננו שווה איננו אדם.)

(הכל מים.)

(הכל מים?)

(הכל זורם.)

(Panta Rhei)

ובשבילי:

שהכל נהיה בדברו

ואין מנוחה לנפשי.

מודעות פרסומת
פוסט זה פורסם בקטגוריה לוגיקה, פרדוקס העורבים, עם התגים , . אפשר להגיע ישירות לפוסט זה עם קישור ישיר.

להשאיר תגובה

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

הלוגו של WordPress.com

אתה מגיב באמצעות חשבון WordPress.com שלך. לצאת מהמערכת / לשנות )

תמונת Twitter

אתה מגיב באמצעות חשבון Twitter שלך. לצאת מהמערכת / לשנות )

תמונת Facebook

אתה מגיב באמצעות חשבון Facebook שלך. לצאת מהמערכת / לשנות )

תמונת גוגל פלוס

אתה מגיב באמצעות חשבון Google+ שלך. לצאת מהמערכת / לשנות )

מתחבר ל-%s