בתשובה לליאור גולגר, 24/12/02 1:38
אני איטי לשיטתי ואם תהיה אתה איתי אתה תהיה איטי איתי 115781
ירדן ניר • בתשובה לליאור גולגר יום ד', 25/12/2002, 1:56
מה לתער אוקהם ולתצפיות? תער אוקהם מצד אחד, והתאמה לתצפיות מצד שני, הם שני קריטריונים *בלתי תלויים* לשיפוט תיאוריות. במקרה, תער אוקהם הוא כזה שאפשר להפעיל אותו גם על תורות מטאפיזיות. האם אי אפשר להוכיח או להפריך מטאפיזיקה? אולי (אני לא בטוח מה זה "הוכחה" ו"הפרכה" מחוץ להקשר של מתמטיקה), אבל אפשר לשכנע, ואפשר להתווכח על עדיפות של תיאוריות. למעשה, אנשים בדיסציפלינה שלי עושים זאת כבר איזה שניים וחצי מילניה, בהשגים פאתטיים. למעשה, זה מה שאני ואתה עושים בפתיל הזה ממש (אלא אם תרצה לקרוא לזה מטאמטאפיזיקה).

גלעד ברזילי קרא לתער "העדפה אסתטית". אני לא מרגיש לגמרי בנוח עם תיוג כזה, אבל אין לי הצעה עדיפה (חוץ מלא לתייג אותו בכלל, לומר שהוא מין משהו לעצמו בלי שום דבר אנלוגי). מכל מקום, אני מקבל את ההעדפה הזו אפילו כדי לשפוט בין תורות מוסר: אם תורה א' אומרת "רע לרצוח, רע להכות, רע לגזול רכוש, ורע להעליב"; ותורה ב' אומרת "רע לגרום סבל"; ואני מבחין שכל מה שתורה א' אומרת נובע ממה שתורה ב' אומרת, ותורה ב' פשוטה יותר, אז אני אעדיף את תורה ב'. לא כל שכן במטאפיזיקה, שדומה מאוד לפיזיקה מבחינת התער.
אני איטי לשיטתי ואם תהיה אתה איתי אתה תהיה איטי איתי 115848
ליאור גולגר • בתשובה לירדן ניר יום ד', 25/12/2002, 11:25
אני לא חושב שתער אוקהם עוסק רק בהעדפה של תורה קומפקטית יותר על פני תורה פרטנית המוכלת בה. תיאוריית האפיציקלים אינה מוכלת בתיאוריית המסלולים האליפטיים כי אם אלטרנטיבית לה, אבל היא עושה שמיניות באויר כדי להסביר את התצפיות האסטרונומיות הקיימות. לעומת זאת, תורה א' שהצגת אינה עושה שמיניות באויר כדי להסביר את ההתנהגות החברתית המקובלת, ואינה שקולה לתורה ב'. למשל, המצדד בתורה א' יכול כל בוקר להתגבר כארי לעבודת יומו, לפהק, להתמתח, ולהזליף לעיני עדת הבבונים הביתית שלו את מנת החומצה הגופריתית היומית. הוא לא רוצח, לא מכה, לא גוזל רכוש ומשתדל בתוך כך שלא להעליב מי מן הבבונים, והוא אפילו עושה זאת לטובת מחקר מדעי מציל חיים, אבל באותו שוונג הוא גם גורם להם סבל יומיומי בל יתואר.

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

2. תורות מוסריות - ושאר תשובות לשאלות כמו 'מה רצוי?', 'מה משמעות החיים?', 'האם אלוהים יכול לברוא אבן שגם אלוהים לא יוכל להרימה?' (בודאי) וכו'

3. דיונים וקשקשת - ושאר הדברים שצריכים ליפול לאותה קטיגוריה יחד עם הפתיל הזה.

אז אין לנו תצפיות על (1) ולכן ניתן להאמין שיש בו מה שבא לנו, אין לנו דרך לשלול מכל וכל תורה מ(2) ולכן כל אחד יכול לאמץ לעצמו תורה ביזארית כרצונו, ואין לי מושג איך אפשר להפעיל את תער אוקהם על דיונים מטיפוס (3).
והתער עוד חד 115903
ירדן ניר • בתשובה לליאור גולגר יום ד', 25/12/2002, 14:17
הבה נעזוב את עניין המוסר (היתה לי הרגשה שאני מסתבך שם שלא לצורך). בקטגוריה 3 (דיונים על מטאפיזיקה) אנחנו מנסים לשכנע בדרכים שונות להעדיף ולדחות תורות מטאפיזיות (קטגוריה 1) שונות. אחת הדרכים שנראות לי קבילות היא תער אוקהם. אנחנו לא מפעילים אותו *על* דיונים מטיפוס 3, אנחנו מפעילים אותו *במסגרתם*, על טיפוס 1.

"אין לנו תצפיות על (1) ולכן ניתן להאמין שיש בו מה שבא לנו". גם במתמטיקה אין לנו תצפיות‏1; האם ניתן להאמין בכל מה שבא לנו? אם ניתן להאמין בכל מה שבא לנו במטאפיזיקה, על מה (לעזאזל) מתווכחים כל הפילוסופים?
העמדה שלי היא שבמטאפיזיקה אין קריטריונים מוגדרים (כמו במדע) למה תקף ומה לא, והכל הוא up for grabs; אבל לטיעונים רבים יש כוח שכנוע על הרבה אנשים, ויש הרבה הנחות ש(הרבה אנשים)מסכימים עליהן. למשל, הרבה פילוסופים במערב, והרבה מגיבים באייל, מסכימים על "רציונליזם" (מה שזה לא יהיה); להראות שעמדה מסוימת (במדע, בפוליטיקה, במוסר או במטאפיזיקה) היא "לא רציונלית" הוא טיעון שיש לו כוח.

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

‏1 טוב, יש אסכולות שאומרות שכן, אבל הן לא פופולריות במיוחד במאות האחרונות.
אנד דה ביט גוז און 115910
ליאור גולגר • בתשובה לירדן ניר יום ד', 25/12/2002, 14:40
אני לא חושב שכוח השכנוע של אמונות מטיפוס (1) הוא שיקול רלבנטי. אם מיליארד אנשים מאמינים בישו ושני מיליארד בבודהה (אין לי מושג אם זה כך), האם זה נותן לבודהה יותר נק"פ מלישו?
נדמה לי שהמקרה הקרוב ביותר להפעלת תער אוקהם על מחלקה (1) היא תורת התארים של הרמב"ם. הוא גרס שאין לנו שום ידע על אלוהים, וכל התארים המפליגים בשבחיו רק שוללים כל תוכן גשמי לאלוהותו (הוא 'כביר', משמע אין לו מידה, וכו'). ואמנם בשום מקום לא תמצא דברי שבח והלל ליכולת הבשלנות האלוהית שלו, לפלפלים הממולאים שאין שני להם ביקום הנראה, וכן הלאה. איכשהוא זה תמיד מסתכם בזה שהאל הוא עצום ורב ואנו אין אפס לעומתו. זה עדיין לא כ"כ מוסיף לנו מידע אודותיו.
אנד דה ביט גוז און 115991
ירדן ניר • בתשובה לליאור גולגר יום ד', 25/12/2002, 18:32
"כח שכנוע" בין המתדיינים, לא כמשהו שנמדד אמפירית ע"י סקר. למשל, כאן בדיון בינינו אנחנו מטיחים טיעונים זה בזה, מתוך תקווה שלטיעונים שלנו יש כח שכנוע על השני (או למצער, על הקוראים האחרים). לא ננסה להכריע את הויכוח בכך שבשלב כלשהו נעשה משאל בין הקוראים ממי הם השתכנעו יותר; ובכל זאת, הדיון הוא לא חסר טעם, אני מקווה.

אז הנה (עוד) סוג טיעון שלרוב יש לו "כח שכנוע" במובן הזה: דרישה לעקביות. זה הנימוק שבשמו אני דורש ממך לקבל את תער אוקהם למטאפיזיקה, אם אתה מקבל אותו לפיזיקה.
אנד דה ביט גוז און 115993
ליאור גולגר • בתשובה לירדן ניר יום ד', 25/12/2002, 18:37
אני מקבל את תער אוקהם בכל מקרה בו עלינו לברור בין הסברים שונים לתופעות נצפות. מכיוון שבמטאפיזיקה לא נצפות כל תופעות, אין שם הסברים שונים לאותן התופעות, ולכן תער אוקהם מובטל.
אנד דה ביט גוז און 116058
ירדן ניר • בתשובה לליאור גולגר יום ד', 25/12/2002, 21:53
שוב: מה לתער אוקהם ולתופעות נצפות (דווקא)? אם טעמו של התער הוא העדפה להסבר הפשוט יותר, מדוע לא להפעיל אותו בכל מקום בו אפשר להשוות פשטות?
מה שרב''י אמר 116080
ליאור גולגר • בתשובה לירדן ניר יום ד', 25/12/2002, 22:27
בוא נאמר שתער אוקהם הוא פשוט 'עקרון הפשטות המירבית' (או 'עקרון המתוסבכות המינימלית'). הבה נפעיל אותו בחדווה בכל מקום בו אפשר להשוות פשטות.
עתה, מה עושה מטאפיזיקה מאותגרת אלוקית לפשוטה יותר ממטאפיזיקה עם אלוהים?
אכסיומה אחת פחות? 116123
שוטה הכפר הגלובלי • בתשובה לליאור גולגר יום ה', 26/12/2002, 9:41
גם אי קיומו של אלוהים היא אקסיומה 116136
ליאור גולגר • בתשובה לשוטה הכפר הגלובלי יום ה', 26/12/2002, 11:18
גם אי קיומו של אלוהים היא אקסיומה 116150
שוטה הכפר הגלובלי • בתשובה לליאור גולגר יום ה', 26/12/2002, 12:00
אני בטוח שאתה מבין בעצמך את הכשל הלוגי בטענה הזאת, עליו כבר הצביעו כאן כמה וכמה פעמים. "קיום" ו"אי קיום" אינם סימטריים, אחרת מס' האקסיומות שכל אחד מאיתנו מסתובב איתן הוא אינסופי (למשל: "אני לא מאמין בקיומם של n אלים", לכל n).

על הדרקון במרתף, המפלצת מלוך נס ואנשי זאב לא נדבר כרגע כי גם הם כבר הופיעו בדיון הזה, ומשום מה לא שיכנעו אותך - אולי בגלל שנחטפת בידי חייזרים שתכנתו אותך אחרת.
גם אי קיומו של אלוהים היא אקסיומה 116175
ליאור גולגר • בתשובה לשוטה הכפר הגלובלי יום ה', 26/12/2002, 15:12
אגם לוך נס והמרתף שאין לי ממוקמים שניהם בעולם הפיזי, ולכן בהיעדר תצפיות על קיומו של דרקון או מפלצת בכל אחד מהם, תער אוקהם שולל את ההשערה שהם קיימים. לא כן לגבי קיומו של אלוהים בעולם המטאפיזי. אין כאן כשל לוגי (תבדוק ברשימה של גלעד) שהרי לא המצאתי יש מאין איזו מילה חדשה ('צפיחיגלוס' לצורך הדיון) וטענתי שההנחה שאינו קיים בעולם המטאפיזי היא אקסיומטית. בכל אופן, די לך באקסיומה אחת ('העולם המטאפיזי הוא ריק מתוכן') כדי לא להאמין שיש משהו בעולם המטאפיזי, n אלים אינקלוסיב. אקסיומה מעין זו אינה סבירה יותר מאקסיומה אחת אחרת, הגורסת שיש בורא לעולם הפיזי ומקומו לפיכך בעולם המטאפיזי (או אם תרצה, הוא ממלא את העולם הפיזי במ"ש ולכן אין פינה בעולם הפיזי שאין בה אלוהים בעזרתה ניתן לתחום את גודלו של אלוהים). סבירות היא מונח התקף לגבי הסברים, והאמונה שאין אלוהים אינה מסבירה דבר.
גם אי קיומו של אלוהים היא אקסיומה 116453
שוטה הכפר הגלובלי • בתשובה לליאור גולגר יום ו', 27/12/2002, 10:49
לא המצאת מילה חדשה? המצאת מושג, קראת לו "אלוהים", ('צפיחיגלוס' בסווהילית, אם אינני טועה), ייחסת לו תכונות ו/או פעולות כמו בריאת העולם, ואתה טוען שההנחה שהוא קיים ואי קבלת ההנחה הזאת שקולות‏1 אוקהמית. אם נרד לרגע מהעולם המטאפיזי, האם גם בעולם הפיזי הנחת קיום ואי-הנחת קיום אקויולנטיות בעיניך במקרים בהם אין ביניהן הבדלים ניתנים למדידה?

אני עדיין לא מבין במה ההנחה שלך שונה מהנחת קיום של n אלים שכל אחד מהם ברא גלכסיה אחת, או של n אלים סדרתיים בזמן, או כל אמונה תאיסטית אחרת מאלה שמסתובבות בעולם. ההבדל בין אפס לאחד הוא הבדל מהותי (כל האפסים שוים בעוד האחדים רבים ושונים זה מזה‏2), בעוד ההבדל בין אחד לכל מספר אחר הוא הבדל כמותי גרידא.
________
‏1- מזכיר לי סיפור על דוקטורנט למתמטיקה (לא, למרבה ההפתעה זה לא היה מר ו.) שבהגנה על התיזה שלו נשאל אם שתי חבורות שהזכיר איזומורפיות. "הראשונה כן והשניה לא" הוא ענה.
‏2- בטח תצלוב אותי על המשפט הזה, אבל אם לא תיזהר אני עוד עלול להפוך לאל בזכותך.
גם אי קיומו של אלוהים היא אקסיומה 116484
ליאור גולגר • בתשובה לשוטה הכפר הגלובלי יום ו', 27/12/2002, 14:05
ראשית, לשאלתך, התשובה שלילית - בעולם הפיזי משמש תער אוקהם לשלילת הנחות מיותרות שאין בכוחן להסביר דבר-מה מדיד. לפיכך כמדומני יש לשלוח את כל התיאורטיקנים של תורת המיתרים לפנות אשפה ולכרות פחם, אבל בינתיים אנחנו לארג'ים מספיק כדי לחכות ולראות אם אי-פעם יואילו אלה בטובם לתת לנו תחזית הניתנת לבדיקה נסיונית.

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

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

‏1 בחברות, ארז
גם אי קיומו של אלוהים היא אקסיומה 116536
ירדן ניר • בתשובה לליאור גולגר יום ו', 27/12/2002, 19:07
"בעולם הפיזי משמש תער אוקהם לשלילת הנחות מיותרות שאין בכוחן להסביר דבר-מה מדיד."

לא נכון. נניח יש לנו סדרת תוצאות בניסוי. תאורטיקן א' מוצא שאפשר להסבירן ע"י פונקציה שהיא פולינום ממעלה 4. תאורטיקן ב' מוצא שאפשר להסבירן ע"י פולינום ממעלה 2. שניהם מסבירים דבר-מה מדיד, אבל אוקהם יאמר לנו להעדיף את השני. זו שוב הטענה הכללית שאני מנסה (ומנסה) להציג בדיון הזה: אוקהם ואמפיריקה הם בלתי-תלויים.
גם אי קיומו של אלוהים היא אקסיומה 364383
שוטה הכפר הגלובלי • בתשובה לליאור גולגר יום א', 29/1/2006, 15:36
אולי היום הזה כבר לא כ"כ רחוק http://www.scienceblog.com/cms/researchers_find_sign...
גם אי קיומו של אלוהים היא אקסיומה 364387
ראובן • בתשובה לשוטה הכפר הגלובלי יום א', 29/1/2006, 15:41
לצערי אין לי גישה ל PRL אבל נראה לי שהם מפארים ניסוי שעוד לא נערך.
גם אי קיומו של אלוהים היא אקסיומה 364388
שוטה הכפר הגלובלי • בתשובה לראובן יום א', 29/1/2006, 15:45
מכאן ה''אולי'' בהודעה שלי.
ומה אם אני מציע כאקסיומה קיומם של 12222387 אלים? 117323
לוגי גרסקו • בתשובה לליאור גולגר יום ב', 30/12/2002, 21:59
12222387 שנה, לך תזכור 117329
ליאור גולגר • בתשובה ללוגי גרסקו יום ב', 30/12/2002, 22:16
לדעתי, יבושם לכבודו עם אקסיומתו הבלתי גליחה אוקהמית.
אבל גם רבנו הפעיל את התער 116065
רון בן-יעקב • בתשובה לליאור גולגר יום ד', 25/12/2002, 22:01
חזרה לעמוד הראשי
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות