בתשובה לליאור גולגר, 23/12/02 18:44
לא נופל ולא נופל 115424
לי בהחלט נראה סביר להפעיל את תער אוקהם במטאפיזיקה. לא מדובר על סבירות, גם לא בפיזיקה: האם יש לך טיעון למה תיאוריה פשוטה יותר היא סבירה יותר? תער אוקהם במדע הוא מין דבר שכזה, שנראה שכולם מקבלים אותו (גם אני) אבל קשה מאוד להצדיק אותו; נדמה לי שהוא פשוט אקסיומה. לכן אני אשמח להפעיל אותו גם במטאפיזיקה (כאשר יש לנו תורות מטאפיזיות שאפשר להשוות מבחינת כוח הסבר ומבחינת פשטות).
לא נופל ולא נופל 115446
לא ברור לי כיצד ניתן להפעיל את תער אוקהם בכל הקשר מחוץ לתחום הטיפול של המדע. תער אוקהם עוזר לנפנף תשובות מתחכמות מדי לשאלה 'מה יש?', אבל הוא לא בדיוק עוזר כששואלים מה משמעות החיים, האם קיים אלוהים או כל סוגיה אחרת שנופלת להגדרת הרמב"ם כ'עניינים שבאמונה הטהורה'. אם א' טוען שמאדים חג על מעגל, שחג על מעגל אחר, שחל על מעגל אחר, ... (שבעים פעם), שחג במעגל סביב כדה"א, ואילו ב' מציע שמאדים חג במסלול אליפטי סביב השמש, ושתי ההצעות תואמות את התצפיות הקיימות, הרי שב' מתקבל על הדעת יותר מא'. המדע מנסח את חוקי הטבע כך שיתאמו בצורה הטובה ביותר את ההתנהגות הנצפית של הטבע, ואינו מאמץ הצגות חלופיות לאותן התצפיות אלא אם הן פשוטות באותה מידה (כמו הצגת הייזנברג והצגת שרדינגר במכניקת הקוונטים). במובן זה תער אוקהם הוא יותר הצהרת כוונות מאשר אקסיומה.
הצהרת כוונות זו מובנת כשמדובר במדע, אך אין לה מקום במטאפיסיקה. כשם ששני אנשים רשאים לדבוק במערכת ערכים שונה בתכלית, כך הם רשאים להחזיק במערכת אמונות שונה בתכלית לגבי תוכנו של העולם המטאפיזי.
לא נופל ולא נופל 115472
*כיצד* ניתן להפעיל את תער אוקהם במטאפיזיקה? כמו בפיזיקה: לפעמים אפשר (דוגמה להלן). למה זה נכון? לא יודע למה (אם בכלל), ואני לא יודע למה זה נכון בפיזיקה (אם בכלל). אבל מה שזה לא יהיה שגורם לך לקבל את זה בפיזיקה, אני חושב שצריך לגרום לך לקבל את זה גם במטאפיזיקה. אני לא יודע מה עניין "רשאים" לכאן. אנשים "רשאים" להאמין במה שהם רוצים, גם בפיזיקה; אני רשאי להוסיף לאמונותי המטאפיזיות את קיומו של דרקון מטאפיזי ורוד‏1, אבל יש לי רתיעה אינסטינקטיבית מזה. באותו אופן, אם מישהו ישכנע אותי שבין אמונותי המטאפיזיות אחת היא דרקון ורוד (למרות שהיא מתחזה למשהו אחר) - כלומר, אני יכול לוותר עליה בלי להפסיד כלום ביכולת ההסבר של המטאפיזיקה - אז תהיה לי רתיעה אינסטינקטיבית מלהמשיך להאמין בה. אוקהם.

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

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

אתה מקבל שהצלחתי להפריך אלוהים אימננטי, או להפסיק לאחוז בתער? אתה צריך שאני אמשיך לאלוהים טרנסדנטי כמעט באותו אופן? (אם כן, הגדר את האלוהים שלך, ותקבל בסופשבוע).
עלילות האדם בעולם הפיזי 115596
יש לנו הרבה תצפיות על העולם הפיזי, על פיהם משתולל תער אוקהם. כך מקבלים את התיאוריות המדעיות המקובלות, ובהן המודל האבולוציוני.
המודל האבולוציוני עדיין לא אומר לנו שום דבר על אלוהים, וודאי שלא על עלילות האלוהים בעולם המטאפיזי. האם האבולוציה שוללת את קיומו של אלוהים? האם היא מוכיחה אותו? האם היא מוכיחה שיש חמישה אלוהים ופעם היו שמונה? לא, היא לא מוכיחה דבר בקשר אליו. אבל היא המודל התקף היחיד כרגע להתפתחות המינים.
נכון?
עלילות האדם בעולם הפיזי 115637
היא לא אומרת שהיו חמישה אלוהים ועכשיו שורש 17, אבל כל אלוהים שתוסיף מוסיף מורכבות לעולם בלי להוסיף הסברים או ידע, ומאחר ואין בה צורך, תפיל אותה על תער אוקהם או תוותר על התער.
הסברים למה? איזה ידע? 115697
אנחנו לא יודעים דבר על העולם המטאפיזי. נאדה. גורנישט. כלום. גם לא נדע עליו דבר אי פעם. בהיעדר תצפיות, אין צורך במודלים שיסבירו את החוקיות באותן תצפיות. לכן אין כל דרך לבסס כל היפותזה מופרעת שתעלה בדעתו של מישהו לגבי תוכנו של העולם המטאפיזי. לכן כל היפותזה כזו אינה אלא אמונה - טענה שלא ניתן להוכיחה או להפריכה מעצם טיבה. לכן אמר הרמב''ם שאין טעם להתווכח על אמונות טהורות נטולות כל השלכה מעשית.
תער אוקהם מושחז כהרגלו, אך אין למדע ולו משהו לפעול עליו בעולם המטאפיזי.
הסברים למה? איזה ידע? 115712
לא כולם קאנט. לא כל מה שלייבוביץ' ושי ז"ל כתבו זה קדוש.יש גם אחרים ,אתה יודע את זה?
איזה אחרים? 115718
אתה מכיר דעות מנוגדות?
אני איטי לשיטתי ואם תהיה אתה איתי אתה תהיה איטי איתי 115781
מה לתער אוקהם ולתצפיות? תער אוקהם מצד אחד, והתאמה לתצפיות מצד שני, הם שני קריטריונים *בלתי תלויים* לשיפוט תיאוריות. במקרה, תער אוקהם הוא כזה שאפשר להפעיל אותו גם על תורות מטאפיזיות. האם אי אפשר להוכיח או להפריך מטאפיזיקה? אולי (אני לא בטוח מה זה "הוכחה" ו"הפרכה" מחוץ להקשר של מתמטיקה), אבל אפשר לשכנע, ואפשר להתווכח על עדיפות של תיאוריות. למעשה, אנשים בדיסציפלינה שלי עושים זאת כבר איזה שניים וחצי מילניה, בהשגים פאתטיים. למעשה, זה מה שאני ואתה עושים בפתיל הזה ממש (אלא אם תרצה לקרוא לזה מטאמטאפיזיקה).

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

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

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

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

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

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

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

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

אז הנה (עוד) סוג טיעון שלרוב יש לו "כח שכנוע" במובן הזה: דרישה לעקביות. זה הנימוק שבשמו אני דורש ממך לקבל את תער אוקהם למטאפיזיקה, אם אתה מקבל אותו לפיזיקה.
אנד דה ביט גוז און 115993
אני מקבל את תער אוקהם בכל מקרה בו עלינו לברור בין הסברים שונים לתופעות נצפות. מכיוון שבמטאפיזיקה לא נצפות כל תופעות, אין שם הסברים שונים לאותן התופעות, ולכן תער אוקהם מובטל.
אנד דה ביט גוז און 116058
שוב: מה לתער אוקהם ולתופעות נצפות (דווקא)? אם טעמו של התער הוא העדפה להסבר הפשוט יותר, מדוע לא להפעיל אותו בכל מקום בו אפשר להשוות פשטות?
מה שרב''י אמר 116080
בוא נאמר שתער אוקהם הוא פשוט 'עקרון הפשטות המירבית' (או 'עקרון המתוסבכות המינימלית'). הבה נפעיל אותו בחדווה בכל מקום בו אפשר להשוות פשטות.
עתה, מה עושה מטאפיזיקה מאותגרת אלוקית לפשוטה יותר ממטאפיזיקה עם אלוהים?
אכסיומה אחת פחות? 116123
גם אי קיומו של אלוהים היא אקסיומה 116136
גם אי קיומו של אלוהים היא אקסיומה 116150
אני בטוח שאתה מבין בעצמך את הכשל הלוגי בטענה הזאת, עליו כבר הצביעו כאן כמה וכמה פעמים. "קיום" ו"אי קיום" אינם סימטריים, אחרת מס' האקסיומות שכל אחד מאיתנו מסתובב איתן הוא אינסופי (למשל: "אני לא מאמין בקיומם של n אלים", לכל n).

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

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

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

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

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

לא נכון. נניח יש לנו סדרת תוצאות בניסוי. תאורטיקן א' מוצא שאפשר להסבירן ע"י פונקציה שהיא פולינום ממעלה 4. תאורטיקן ב' מוצא שאפשר להסבירן ע"י פולינום ממעלה 2. שניהם מסבירים דבר-מה מדיד, אבל אוקהם יאמר לנו להעדיף את השני. זו שוב הטענה הכללית שאני מנסה (ומנסה) להציג בדיון הזה: אוקהם ואמפיריקה הם בלתי-תלויים.
גם אי קיומו של אלוהים היא אקסיומה 364383
אולי היום הזה כבר לא כ"כ רחוק http://www.scienceblog.com/cms/researchers_find_sign...
גם אי קיומו של אלוהים היא אקסיומה 364387
לצערי אין לי גישה ל PRL אבל נראה לי שהם מפארים ניסוי שעוד לא נערך.
גם אי קיומו של אלוהים היא אקסיומה 364388
מכאן ה''אולי'' בהודעה שלי.
ומה אם אני מציע כאקסיומה קיומם של 12222387 אלים? 117323
12222387 שנה, לך תזכור 117329
לדעתי, יבושם לכבודו עם אקסיומתו הבלתי גליחה אוקהמית.
אבל גם רבנו הפעיל את התער 116065

חזרה לעמוד הראשי

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