בתשובה לסמיילי, 22/02/01 20:58
 |
|
 |
||
|
||||
 |
העניין הוא שתיאוריה לא קופצת לה שתם כך באופן ספונטני (בנידוג לרעיון). ומיכוון שתיאוריה מבוססת על תאוריות קיימות הרי שצריך להראות קישור לוגי ביניהן, אלא אם ישנו הבדל אונטולוגי, היינו שמדברים על דברים שונים. ולכן, זה לא אומר שכל תיאוריה אמורה להתאים עצמה לכל התצפיות בעבר א-פריורי. התקדמות בהבנה של המציאות הינה היתקדמות רדוקטיבית שהולכת ומכלילה מצד אחד ומפשטת מצד שני, תוך ציות ליחסים לוגיים-מתמטיים בין שלב לשלב. הדוגמא של הרבי מלובביץ' מדגימה יפה את ההסתכלות הזו. במהופך. |
 |
 |
 |
|
|
|
||
|
||||
|
אני חייב להודות שלא הבנתי את כוונתך. נניח שיש לי תיאוריה שבנוסף לעובדה שהיא מתאימה לכל תצפיות העבר, היא גם חוזה תצפיות עתידיות. נניח שבמסגרת ניסוי כלשהו אני מוצא תצפית שסותרת את אחת מהתחזיות. מה, לטענתך, אני אמור לעשות: האם אני חייב לפתח תיאוריה חדשה שתתבסס על התיאוריה הקימת בלבד (ואם אין כי בתיאוריה הקודמת היתה פשוט לא נכונה - ראה התיאוריות של אריסטו). איך (מלבד קירוב) מתבססת תורת היחסות על התיאוריות של ניוטון. וכידוע דווקא התיאוריה הניוטונית היתה כוללנית בהרבה מתורת היחסות או הקוונטים... |
|
|
|
|
|
|
||
|
||||
|
מנקודת המבט של ההיסטוריה של המדע, השיח הרדוקטיבי מרחיב את מרחב הדיון .כאילו נאמר שאיננו מגלים שום דבר חדש אלא מרחיבים את ההבנה והידע על היישים. השינוי מתאוריה אחת לשניה נובע מזה שלחדשה ישנם טיעונים חזקים יותר משום שהיא משתמשת בקריטריונים חדשים. אבל המעבר מתיאוריה לתיאוריה איננו בקפיצות (אם כי פופר התנגד לכך) אלא בלוגיקה מתמטית. כמובן שיש אספקטים נוספים - אפשר להראות שלא תמיד איננו מגלים דברים חדשים אבל לעומת זאת בהחלט ננטשו דעות ישנות (ראה ''הרוח החיה'' במדע הביולוגיה) התיאוריה הרדוקטיבית איננה מתכון להניית תיאוריות מדעיות אלא הסתכלות על ההיסטוריה של המדע והנחת מסקנות לגבי התנהלותו בעתיד לכן הקפיצות הרעיוניות של דב, למשל, לא עולות בקנה אחד עם הדעה הרדוקטיבית משום שעד שלא יאוששו בפורמולות לוגיות המבוססות על תחביר תצפיתי (ראינו במעבדה ש...) וכל עוד הם מתייחסות לאותו יש אונטולוגי אפשר יהיה לבסס את המעבר בין התיאוריה החדשה לישנה באופן מתימטי. |
|
|
|
|
|
|
||
|
||||
|
עכשיו אני בטוח שאני לא מבין אותך. מה זאת אומרת איננו מגלים שום דבר חדש, פעם לא ידעו שיש יבשה בסוף האוקינוס האטלנטי, היום אנחנו יודעים אחרי שגילינו (לא, לא אני ואתה - "האדם האירופי" או אולי "תרבות המערב") דבר חדש (ויש, כמובן, מספר רב של דוגמאות, מכל תחום מדעי שאני מכיר). מה זאת אומרת "מרחיב את מרחב הדיון" האם ניוטון הרחיב את מרחב הדיון של אריסטו? האם איינשטיין הרחיב את מרחב הדיון של ניוטון? איך מגדירים מרחב דיון? ואיך מגדירים מתי מרחיבים אותו (ולהבדיל ממה)? איך מגדירים טיעון חזק יותר ולמה קריטריון חדש מחזק את הטיעון (חדש מפני ישן...)? איך אתה מגדיר, בכלל, קריטריון בהקשר הזה? "המעבר מדיון לדיון אינו בקפיצות אלה בלוגיקה מתמטית" - מה? מתי? מספר רב (שלא לומר כל - ואז מישהו ימצא לי מעבר רציף) של "מעברים" (שאני קורא להם שינויי תיאוריות) קרו בקפיצות ולרוב בגלל ניסויים שהפריכו את התיאוריות הישנות ללא קשר ללגיקה מתמטית (וכנראה שפופר ידע למה להתנגד). במדעי הטבע, מהם אני בא ועליהם אני מדבר, נהוג להשליך תיאוריות, ברגע שאינן עומדות במבחן המציאות (דרך אגב, זה בדיוק הנושא) ברור שהתיאוריה שלך (או התיאוריה אותה הבנתי מאיך שהצגת אותה) מנותקת מחלק גדול מהתצפיות ולכן אני לא יכול להתייחס אליה ברצינות, כל עוד היא מנוסחת בצורה הזו. ואת הפיסקה האחרונה לא הבנתי ואשמח אם תנסח אותה באופן יותר ברור. |
|
|
|
|
|
|
||
|
||||
|
מצטער על העיכוב בתשובה ,הייתי צריך להתייעץ עם המרצה לפילוסופיה לשעבר. המודל הרדוקטיבי מנסה לתאר יחסים בין תיאוריות מדעיות. המודל ניתן בסידרה של משפטים המיצגים את חוקיו .לכל תיאורית מוצא או בסיסית ישנה טרמינולוגיה פנימית (מסה , גנים, טמפרטורה). לכל תיאוריה ישנם חוקי בסיס או אקסיומה שמהם ניגזרים משפטים מתימטיים או לוגיים. היחס בין שתי תיאוריות מוגדר כך שחוקי תיאןרית המטרה (נאמר התיאוריה החדשה) ניגזרים מחוקי תיאורית הבסיס (הישנה). ניגזרים פרושו שחוקי תיאורית המטרה ניתנים להוכחה על סמך חוקי תיאורית הבסיס. אבל איך אפשר בכלל ליגזור מתיאוריה אחת לשניה אם הטרמינולוגיה שונה?( למשל, תיאוריה כימית כניגזרת של תיאוריה פיזיקלית) ישנה סידרה שלמה של הוכחות לוגיות ומתמטיות המראות שהדבר אפשרי דרך עקרון-מגשר כמו שטבע אותו נייגל בשנות החמישים. ישנם תוספות לתיאוריה הזו המאפשרות גישורים בחוזקים שונים אך בעזרתה מקבלים איחוד של התיאוריות, היינו שתיאוריה אחת מוכלת בשניה ואין תאוריה עצמאית. גם הקטנת מספר ההנחות על העולם מאפשרת הסברים של תופעות על ידי מספר קטן של ביטויים בסיסיים ופשוטים יותר ועל כן התיאוריה הרדוקטיבית קבילה יותר (פחות מסובכת). למשל רדוקציה של חוקים גנטיים לחוקי ,DNA או חוקים גזיים לחוקים מולקולריים .אנו מקבלים הבנה גדולה יותר על הטבע על סמך מערכת חוקים שמצד אחד היא לא שרירותית אלא נסמכת על הבנה קודמת ומצד שני מערכת חוקים בסיסית יותר .עוד דוגמא זו ההבנה שאור איננו חלק מחוקים אופטיים אלא ממערכת של חוקים אלקטרומגנטיים. היש לא השתנה אך מרחב ההסבר גדל. ישנם כמובן כל מיני סוגי מעברים רדוקטיביים בין תיאוריות, החל ממעברים "חלקים" דרך כאלה המהווים "שינוי משמעותי" ועד למעברים "מלאי מהמורות" ישנן גם רדוקציות אלמינטיביות - הספרות הקריסטליות של סוקרטס או הנסיון לבצע רדוקציה של גלים אלקטרומגנטיים לאתר ,או ביטול אונטולוגי של תיאוריה כימית העוסקת בפלוגיסטון (הוכח שאין דבר כזה) פופר (שמן הסתם קהלני יאהב אותו) טען כנגד תיאורית-התיאוריות שהכל שטויות והאינטואיציה ותחושת הבטן של המדען והדמיון חזקים יותר מתצפיות. אני כבר לא כל כך זוכר איך הגענו לכאן, אך בכל זאת תיאורית הרדוקציה של התיאוריות מראה שהתקדמות הידע אולי יכולה להעשות בקפיצות אך כל עוד ההנחה האונטולוגית תקפה ישנו קשר לוגי בין תיאוריה חדשה לישנה. אני חושב שכאן פחות או יותר מיציתי את הידע שלי בנושא ואם אתה מעוניין אוכל להפנות אותך לספרות המתאימה. |
|
|
|
|
|
|
||
|
||||
|
הבעיה היא לא איך לגזור בין תיאוריות בטרמינולוגיה שונה אלא איך לגזור בין תיאוריות שסותרות זו את זו (בטרמינולוגיה זהה). אי אפשר להוכיח את טרנספורמצית לורנץ על סמך טרנספומציית גליליי (אי אפשר, כי הן פשוט סותרות זו את זו, למרות שבקירוב מסויים הן זהות). כמו שאמרתי מספר פעמים (בדיון הזה ובאחרים), לתיאוריה שהופרכה אין זכות קיום (כתיאוריה - היא יכולה להוות מודל כאשר ההגבלות שלו ידועות), לכן עקב העובדה שהתיאוריה שלך הופרכה (בתגובה הזו, כמו גם בקודמת), אני לא מבין למה צריך להציג אותה בכלל. אם אני מעלה תיאוריה שהעולם נישא על גב צב ענק (תיאוריה שהיתה נפוצה, אני חושב, בעולם העתיק), האם עכשיו כל תיאוריה שתציג תצטרך להגזר מאותו צב (למרות הוכחות שהוא לא קיים)? |
|
|
|
|
|
|
||
|
||||
|
אינני מכיר את טרנספורמצית לורנץ אך אם תקרא את תגובתי תראה שתאורית התאוריות מאפשרת ביטול של תאוריה קודמת לטובת חדשה. הענין הוא שאם טרנספורמצית לורנץ זהה במובן מסוים לטרנספומציית גליליי הרי שצריך להראות במה הם זהות ולהביא ארגומנטים לוגיים/מתמטיים שמאששים זהות. שים לב שכתבתי גם שרדוקציה בין תיאוריות יכולה לקבל "גוונים" שונים של מעברים, מבחינת חוזק הקשר בין תיאוריות. אם למשל תוכל להראות שהעולם מורכב מיישים אומטולוגיים שונים, צב ענק, הרי התיאוריה שהצגתי עובדת בתחום אונטולוגי לא משתנה. ניקח למשל מיקרה פשוט של רדוקציה של חוקי התנהגות של גזים (חוק בויל) לחוקי מכניקה סטטיסטית. חוקי גזים מנסים לתאר יחסים בין אלמנטים כמו טמפרטורה, נפח ולחץ. אך מה הם בדיוק טמפרטורה, נפח ולחץ? ללא חוקי המכניקה הכל היה נראה כמו איזה קסם. תחומים מורכבים יותר הם למשל רדוקציה של מדעי ההתנהגות למדע הכימיה, ראה תרופות מסוג רטאלין לטיפול בילדים היפר-אקטיביים לעומת שיטות הטיפול שהיו נהוגות קודם. שאני מבין אותה, מטרתה להראות ולהוכיח רצף מסוים בהבנה ההולכת וגוברת שלנו את היקום, ולהראות שאם ישנה קפיצה או פער או שבר בין תיאוריות שונות, כיצד פער זה מתיישב אפיסטימולוגית (לוגיקה ומתמטיקה) ואונטולוגית- גילוי יישים חדשים. ההנחה שיתכן שבסוף היקום מתקיימים חוקים שונים לגמרי יכולה לבסוף להתאמת ותיאורית הרדוקציה האינטר-תיאורטית מנסה לתת פןרמליזציה לוגית לכך. |
|
|
|
|
|
|
||
|
||||
|
בזמן שאני מנסה להתמודד עם כתיבת התגובה (ועם הקישור הבעייתי לאינטרנט של הספק שלי), ראיתי שנוצרה למעשה הסכמה ביננו ולכן אסתפק בהבהרה מתמטית פיזיקלית, טרנספורמצית לורנץ היא ההצגה המתמטית (החבורה) של טרנספורמציות בתורת היחסות הפרטית וטרנספורמציית גליליי היא ההצגה המתמטית של טרנספורמציות במכניקה קלאסית. ראה : ו |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |