|
|
| נשלח ב-20/8/2004 01:59 |
|
| |
מיכי
עקרון המינימאליות (או התער של אוקהם) אינו כולל שום מעגליות.
כאשר הראש ישיבע מקשה קושיה ובין הקושייה לתירוץ הוא מכניס דרשה שלימה שאינו מעלה ומוריד את הקושי , הוא עובר על התער של אוקהאם. כך גם בתחום ההסבר המדעי, הסבר מינימלי הוא כזה שאינו מכיל דברים שאינם לצורך הסבר אוסף התצפיות. אלא שלצד התער של אוקהאם חייבים להתקיים עוד כמה הנחות שאל"כ לא תהיה אפשרות להשתמש בנסיון מוגבל ליצור הכללות.
|
|
|
|
| נשלח ב-20/8/2004 07:07 |
|
| |
בוגי,
אין מקום ל"תרגיל התכלת" בכללי וד"ל.
נכס"נ ומיכי,
במינימאליות [תער וו. אוקהאם] כלולים לא מיבעיא הגישה הפראקטית של "תפסת מועט" שאם "תפסת מרובה" אינך בטוח ואין לדבר סוף, אלא אף אמת פילוסופית של "אין לך בו אלא חידושו". היינו שמבחינת רמת הידיעה הישירה אין קיום כזה עד שלא יתברר להבא [בדרך של "מכאן להבא למפרע"] את קיומו מאז והלאה.
לכן גם מה שפעל בעקביות תמידית מושלמת ללא יוצא מן הכלל ככוח משיכה שלכן לא נתחיל לצעוד באויר, אין זה מחמת שישנה "חוקיות" מאחורה. יש אך חוקיות העבר שמצד מבנה דעתנו נקבעה בדעת כנוסחה המוצלחת דבי מדרשא "נצח הראשוניות שמעבר לזמן" [שהיא רמת ה"חזקה" העליונה] ושלכן אין ביכולת בחירת האדם לפעול נגדה באשר אין התאמה לצד הנגדי והלא יכולת הבחירה מוגבלת לזיהוי התאמה.
אך מכיון ש"נצח הראשוניות שמעבר לזמן" הוא דק מאד, מעגנים אותו בדימיון "משהו מאחורה" בדיוק כמו את "הווה" מעגנים בהאנשת א-ל ואי "יש מיש" ב"יש מאין"!
[תודה למי שהעביר לי אמש את הנידון בדבר.]
תוקן על ידי - עצכח - 20/08/2004 12:51:10
|
|
|
|
| נשלח ב-20/8/2004 09:54 |
|
| |
"תפשת מועט תפשת" מלמד כי כאשר יש לבחור בין שני הסברים שאחד מהם מוכל בשני יש להעדיף את המינימלי. ייתכן כי ניסוחו המקורי של אוקהאם אכן התכוון לכוונה מצומצמת זו בלבד.
השימוש המודרני בעקרון של אוקהאם הורחב לעין שיעור, וכך מנהג העולם להעדיף תיאוריה א' על תיאוריה ב' כי היא יפה יותר או קומפקטית יותר, אף שאין ביניהן כל יחס הכלה.
לדוגמא: נניח כי עומדות בפנינו שתי תיאוריות להסבר מסלול כוכבי הלכת סביב השמש, לאמור (1) מסלול הכוכבים אליפטי בגלל שכח הגרביטציה פרופורציוני הפוך לריבוע המרחק מן השמש (2) מסלול הכוכבים אליפטי בגלל שכח הגרביטציה פרופורציוני הפוך לריבוע המרחק מן השמש, וגם בגלל שבתוך השמש גרים שדונים ירוקים בעלי אלף עיניים. כל הנחות ההסבר הראשון כלולות גם בהסבר השני. כך שהשני מכיל את הראשון ומוסיף עליו הנחה בלתי נחוצה. במקרה כזה ברור כי יש להעדיף את ההסבר השני, הכללי יותר. לעומת זאת, אם שתי התיאוריות העומדות להכרעתנו הן (1) מסלול הכוכבים אליפטי בגלל שכח הגרביטציה פרופורציוני הפוך לריבוע המרחק מן השמש (2) מסלול הכוכבים אליפטי בגלל שהכוכבים נעים על מסילות מעגליות משום שכך קבעו חכמי היוונים שאין אחר דבריהם כלום, ועל כל מסילה מעגלית כזו מורכבות מסילות משנה לאין שיעור (אפיציקלים וכו') כך שהמסלול הסופי נראה אליפטי. ההסבר השני דורש הרבה יותר הנחות מן הראשון, אך אינו מכיל את ההנחות המועטות יותר של הראשון בתוכו. על כן אין כל דרך להכריע בין ההסברים ללא מידע נוסף (כגון הסבירות האפריורית של כל אחת מן ההנחות). למרות זאת, עקרון המינימליות המקובל כיום יעדיף תיאוריה יפה ופשוטה יותר גם כאשר היא אינה מוכלת בחברתה המסובכת.
להבנתי, עקרון המינימליות המוכלל הזה ניתן להתפרש בשתי צורות: (א) התיאוריות המדעיות המודרניות ממילא אינן מתימרות אלא לסכם את התצפיות, ולא לטעון דבר מה על המציאות ועל כן כל שהסיכום תמציתי יותר עדיף טפי (כמובן, בעמוד הבא של המאמר נשתמש בתיאוריה כדי לעשות פרדיקציות, אבל ניתן לטעון כי אין אלה תחזיות של ממש אלא הצעות לניסויי הפרכה ודו"ק) (ב) יש אכן אמונה בסיסית בעקרון המטאפיסי לפיו חוקי הטבע צריכים להיות פשוטים. עד כמה שהבנתי מגעת אין לאמונה זו כל בסיס רציונלי (מלבד דדוקציה?). דומני כי העולם נוטים לתפוס כצד השני.
 |
|
|
|
|
| נשלח ב-20/8/2004 12:21 |
|
| |
האם אין האמונה בפשטותם של חוקי הטבע מושפעת מהנסיון? אילו העולם הפיזיקלי היה דומה לכלכלה או לחברה, האם לא היינו מגלים יתר ספקנות ביחס לעקרון הנ"ל?
מבחינה לוגית טהורה, לא ניתן אומנם להכליל על סמך הנסיון המוגבל , אבל בכל זאת, העובדה ש"זה עובד" אומרת משהו.
|
|
|
|
|
| נשלח ב-20/8/2004 12:36 |
|
| |
אכן, מציץ, לטיעון הדדוקטיבי רמזתי בשיטה אחרונה. אולם כוחו של טיעון זה בנוגע למטא-חוקים (כגון החוק המלמד על פשטותם של חוקי הטבע עצמם) חלש עוד מזה של הטיעון המקביל על תוקפם של חוקי הטבע עצמם. כיוון שאנו (=האנושות כולה) מחפשים רק חוקים פשוטים, ואף מסוגלים להבין רק חוקים פשוטים מספיק, אלה החוקים שאנו מוצאים.
לאמיתו של דבר ניתן לטעון כי ההתפתחות במדעי הטבע מלמדת כי דווקא החוקים הפשוטים מוחלפים בחוקים מורכבים יותר. דוגמא לדבר החוק השני של ניוטון שהוחלף במכניקה קוונטית, תורת שדות, מיתרים וכו' וכו' ועוד היד נטויה (אם כי אנשי תורת מיתרי-העל הגיעו למצב המבורך לפיו התיאוריה כה מסובכת עד שלא ניתן להוציא ממנה שום פרדיקציה הניתנת להפרכה, ואם כן אולי הגענו לסוף הדרך...). בכל שלב נוסף נדרשת קונסטרוקציה מתמטית מורכבת יותר ויותר, לא פשוטה יותר (אם כי יהיה מי שיטען כי הקונסטרוקציות החדשות יפות או אלגנטיות יותר). באופן דומה, האם יחסות כללית פשוטה יותר מחוק הגרביטציה של ניוטון?
|
|
|
|
| נשלח ב-21/8/2004 22:33 |
|
| |
יצחק יונתן
אם מחפשים רק פשטות אפשר להיות בטוח שלא תתגלה מורכבות, אבל אי אפשר להיות בטוח שפשטות תימצא. אילו עולם מדעי הטבע היה לא יציב כמו עולם מדעי החברה , באמת לא היו מגלים שום פשטות. בדיוק כמו שאנחנו רגילים לפטור כלאחר יד ניבויים בנושאים מדיניים , היינו אז פוטרים כלאחר ניבויים במדעי הטבע.
|
|
|
|
| נשלח ב-21/8/2004 23:52 |
|
| |
ווטו ובוגי,
אני מגלה בדבריכם בכל פעם מחדש סובייקטיביות. ההכללה אינה תוצאה של תבניות במוחנו אלא של ראיה בלתי אמצעית של המציאות. חוקי הטבע נצפים על ידינו באופן ישיר (לא בחמשת החושים, כמובן). טעותו של יום, ושל כל ממשיכיו המודרניים היא בכך שהם חושבים שהכרה נעשית רק בחושים. וכאן צדק הוסרל, וכנ"ל בהודעתי הקודמת.
אין ספק שההכללה של חוקי הטבע היא אמירה על העולם ולא עלינו. ודלא כאותם פילוסופים של המדע שהזכיר יצחק יונתן, שחושבים שהאלגנטיות היא רק צורה אופטימלית לסידור נתונים, ולא תיאור אמיתי. אלו שטויות במיץ, ששום איש מדע לא באמת מאמין בהן, והן גם אינן עומדות במבחן המציאות המדעית ובמבחן ההגיון. למשל, לפי גישות אלו, חוק הגרביטציה מעיד על מבנה שלנו ולא העולם כשלעצמו. אם כן, מה גורם לגופים ליפול לכדוה"א? אין גורם. זוהי יומיאניות בלבוש מודרני, שלמעשה מאמינה במיסטיקה של התרחשויות ללא סיבה ( ראה על כך באורך רב בספרי השני שנמצא כעת בעריכה, ועוסק בפילו' של המדע. בוגי, סליחה, אבל הרשית לי!).
המעגליות שישנה בעיקרון המינימום בניסוחו הכולל יותר, כפי שהציגו יצחק יונתן, הוא שכאשר תיאוריה א מכילה את תיאוריה ב, אז ניתן להגדיר באופן חד מהו ההסבר הפשוט. יש חלק מיותר, ברמה המתמטית. אום אם שתי התיאוריות אינן מוכלות האחת בשנייה, אזי איך נחליט מי יותר פשוטה? לפי הקריטריון של מי יותר נכונה.
ומכאן תשובה למה שהעלו לעיל, איך ניתן להתייחס לתיאוריות החדישות של הפיסיקה כ'פשוטות'?
פשוט, אינו בהגדרה המתמטית (=מוכל בכל התיאוריות האחרות), אלא פשוט = נכון. הוה אומר: תואם למבנה החשיבה שלנו (לאור הנתונים האמפיריים, כמובן). מה שאנו רואים באופן בתי אמצעי כנכון, הוא מה שנקרא, במובן הרחב של תערו של אוקאם (לפי יצחק יונתן הנ"ל), 'פשוט'.
על כן, אני חוזר ואומר שישנה כאן מעגליות ברורה.
ולאור האמור כאן נוכל לעבור כעת למייציץ,
מה שאני מתכוין במונח 'התער' הוא למובן הרחב שהוא השימוש הרווח כיום. הנחות מיותרות, כמו במובן הצר-מתמטי, הוא טריביאלי, ובשביל זה לא צריך את אוקאם (אינני יודע היסטורית למה ויליאם מאוקאם עצמו התכוין).
אינני טועו שעקרון התער (הרחב) אינו נכון, אלא שהוא מעגלי. כלומר הוא לא מועיל מאומה במובן של ביסוס המתודולוגיה המדעית. מה שקרוי שם 'פשוט' למעשה מתכוין ל'נכון'.
וכאן נוכל לחזור שוב לווטו ושות',
ה'פשטות' אכן נקבעת עפ"י התבניות שבמבנה החשיבה שלנו, אולם זה אינו סותר את אמירתי למעלה, שההכללות והתיאריות עוסקות בעולם ולא בנו.
למרבה הפלא ההכללות הללו, שנעשות לפי קריטריונים ותבניות אנושיות, פשוט עובדות. כלומר התיאוריה עוסקת בעולם כשלעצמו, ובד"כ אפילו נמצאת נכונה. השיפורים שנעשים בתיאוריות היסודיות של הפיסיקה הם בד"כ מותירים את התיאוריה הישנה על מכונה, אלא שמצמצמים אותה לתחום מציאות מסויים (אנרגיות נמוכות, מסות קטנות, וכדו').
הפלא הזה של התאמה בין מבנה החשיבה וההכרה שלנו לבין העולם כשלעצמו, הוא אשר מביך את הפילוסופים הנ"ל של המדע, ומוביל כמעט לכל טעויותיהם.
להתאמה הזו אין עדיין תשובה פילוסופית, אולם היא אשר עומדת בבסיס כל המוזרויות שמוצעות חדשות לבקרים בפילו' של המדע. ראה על כך בספרו של ברגמן 'מבוא לתורת ההכרה' פרק ט (השכלנות של העולם). הוא סוקר שם עשרות תשובות, ודוחה אותן אחת לאחת, ונותר בצ"ע. אני לא זוכר, אולי הזכרתי אותו בהערה למעלה???
מיכי
 |
|
|
|
|
| נשלח ב-22/8/2004 00:28 |
|
| |
יש דרכים שונות להגדיר פשטות ומינימליות. דרך אחת שיכולה להועיל לענייננו הוא מינימום של יוצאים מן הכלל ופירוט למקרים שונים . ניתן לטעון שאם אני מניח שחוק טבע מסויים מתקיים רק בתנאים מיוחדים אבל לא באופן כללי , אני מניח הנחות מיותרות.
כמובן שאין שום סבה שעקרון זה יהיה נכון , אבל ניתן לטעון שאם אני כבר חייב להכריע בין אפשרויות שונות , אזי האפשרות העדיפה היא זו שמניחה פחות שינויים בין מצבים ותנאים שונים.
|
|
|
|
| נשלח ב-22/8/2004 00:36 |
|
| |
מייציץ,
זה לא עוזר מאומה. כאשר אתה מציע תיאוריה שנכונה רק לתחום מסויים, אתה צריך להציע מה עם התחומים האחרים. לאחר שתציג את התמונה כולה, רק אז ניתן להשוות בין האלטרנטיבות. לפי הצעתך, נגיע בחזרה ליחס ההכלה של יצחק יונתן.
אני מדבר על מצב שבו ישנן כמה תיאוריות, שכולן מסבירות את כל העובדות הידועות בתחום נתון.
ועתה קבל את המשפט הקטן של מיכי על היחס בין תיאוריה ועובדות: לכל מספר נתון של עובדות ישנן אינסוף (לעום לא פחות), תיאוריות שונות, שאינן מוכלות זו בזו, שיכולות להסביר את כולן.
רק כדי להמחיש, טול את העובדות הידועות, וסמן אותן על גרף דו-ממדי (משתנה תלוי כפונק' של משתנה בלתי תלוי). כעת שאל את עצמך: כמה קווים שונים יכולים לעבור באופן שעובר את כל הנקודות המסומנות. התשובה היא כמובן אינסוף. כאשר תעשה ניסוי ותמצא עוד תוצאה, יימחקו אינסוף קווים, ויישארו אינסוף אחרים (כי זה מצב חדש של מספר נתון של עובדות, ואתה יכול לחזור על התרגיל מהתחלה).
כעת, נשאל את עצמנו: איך נברור בין התיאוריות המתחרות הללו, שכולן מסבירות את אותו מכלול עובדות?
בטח תרצה לומר נעשה ניסוי שיוסיף עוד עובדה וימחק את הגרפים שנשללו. ראה לעיל (למה 2 של מיכי) המשפט על כך שעדיין נותרות אינסוף תיאוריות, וכך יהיה לעולם, עם כל מספר ניסויים שתעשה.
אם כן, קריטריון הבחירה היחיד הוא:
עקרון המינימום = אמת = פשטות = מה שאנו רואים באופן בלתי אמצעי (=ראיה אידיתית של הוסרל) כנכון.
מ.ש.ל
מיכי
 |
|
|
|
|
| נשלח ב-22/8/2004 00:38 |
|
| |
בין כל הקוים יש קו אחד שיהיה הכי חלק והיא תהיה התיאוריה שבה נבחר.
|
|
|
|
| נשלח ב-22/8/2004 00:47 |
|
| |
עוד מעט תגיד אולי שעם בחירה שרירותית של מערכת קואורדינטות ניתן להפוך כל קו לחלק, אבל זה לא כך לענ"ד.
|
|
|
|
| נשלח ב-22/8/2004 00:57 |
|
| |
עוד מעט אגיד את מה ששמת בפי (בצדק).
אולם עוד לפני כן, מדוע בכלל קו חלק הוא הכי פשוט?
ויטגנשטיין הדגים את הבעיה בעקיבה אחרי כלל בדוגמה של המשכת סידרה נתונה, למשל:
1,2,3,4,...
מדוע להמשיך עם 5 ולא עם 17.3? אם תשים את 17.3 תוכל בקלות למצוא נוסחא ש'תופרת' את כל המספרים הללו (לשם כך יש להציע פולינום ממעלה רביעית, ולפתור ארבע משוואות עם ארבעה נעלמים על המקדמים).
אז מה ההמשך הנכון? או הפשוט? ולמה זה הפשוט?
כי זה המתאים לשכל שלנו. ומדוע מה שמתאים לשכל שלנו הוא מה שמתאר נכונה את העולם כשלעצמו?
על זה דיברתי.
עכשיו תוכל לעבור למטריקה עקומה, ולישר את העקמומיות שבלב (=הקו העקום).
מיכי
|
|
|
|
| נשלח ב-22/8/2004 09:15 |
|
| |
מיכברהם
שני הפיצולים שלך 'המציאות ואנחנו' ו'החושים ומעבר' מונעים מהבנת הענין. אמנם שלא כמתווכחים האחרים איתך כאן, נראה שהנך מתחיל מבחינת המציאות ולא מנתינת אוטונומיה למילים, אבל בסך הכל זה נגמר באותו הפיצול.
כדאי להתבונן בנקודה שאין 'פלא של התאמה בין מבנה החשיבה וההכרה שלנו לבין העולם כשלעצמו', אלא שהעולם אינו יותר מכך. איני מתכוין לצד הקיצוני של הסוליפסיזם אלא לצידו המציאותי (ריאלי).
שניהם, יום והוסרל צדקו חלקית. מצד אחד אין ידע שאינו קשור לחושים ומצד שני יש הבדל בין המוחש עצמו והיחס הבין חושי כמו גבול, צדק, מקום, זמן, אלוהים וכו'. שתי הבחינות הן ידע בלתי אמצעי.
אם בתהליכי המציאות יש ידע כזה שהוא 'תוצאה' (מסובב) של תבניות במוחנו או שלהפך, זה לא משנה, כי אנו דנים בידע ולא בהתלוויות הגופניות שהן שייכות למדע הפיזיקה. מה שלא יתגלה שם לא יהיה בו לשנות את בסיסי ההכרה.
|
|
|
|
| נשלח ב-22/8/2004 09:31 |
|
| |
בוגי,
אני לא מבין אותך. מהו הצד הריאלי של הסוליפסיזם? האם חוק הגרביטציה מדבר על העולם עצמו, או עלינו (=העולם כפי שאנחנו תופסים אותו)?
אם אתה מתכוין להבחנה של ראסל ('בעיות הפילוסופיה') בין האור, שהוא סוג של הכרה שקיימת אצלנו, לבין שדה אלקטרומגנטי, שהוא תופעה מציאותית בעולם כשלעצמו, אז הנושא הוא מערכת המושגים והשפה, ולא החוקים עצמם.
לשון אחר: אמנם מישהו אחר יראה את הגרביטציה במערכת מושגים אחרת, אבל הוא יבחין באותן תופעות ואותה חוקיות, אלא שזה ייעשה במושגים שלו.
משל לדבר, מי שמערכת השמע אצלו מחוברת במוח למרכז הראייה, הוא יראה קולות. אולם זו אינה סובייקטיביות, אלא מערכת מושגית שונה לתאר את אותה תופעה עצמה. כמובן ייתכן שיהיה יצור שיש לו מערכת קליטה שאין לנו בכלל (כמו רואה לעומת עיוור).
לסיכום, אני לא מצליח להבין את המושגים הסובייקטיביים שבהם אתה משתמש, ואולי הכל מתחיל מהגישה ה'מזרחית' שאתה מבטא, של התנגדות להבחנה בין סובייקט לאובייקט.
האם תוכל להסביר לי במילים פשוטות למה הכוונה?
יש לי תחושה שאתה וווטו פיתחתם שפה משלכם, ואולי היא הוסברה בעבר לפני שהתחלתי לשוטט במחוזות הוירטואליים הללו, ואני הק' (=הקדוש) לא מצליח להבין את שניכם.
מיכי
 |
|
|
|
|
|