בתשובה לכרובי, 04/01/02 20:27
על אלוהים ואקסיומות 51155
אני לא בטוח שהבנתי את ההטעמה של השאלה הראשונה אז ייתכן שלא הענה על מה ששאלת אלא על מה שהבנתי.
הגזירה השונה בין תיאוריה ותורה טמונה כאמור ביכולתנו להפריך תאוריות לעומת חוסר יכולתנו להפריך תורות (בהקשר האמור אקסיומה שייכת לתחום התורות על שום שאין אפשרות להפריכה וכבדרך אגב לכן אקסיומות במדע קיימות לגבי מצבים אך לעולם לא לגבי תהליכים).

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

איך בכלל הגענו לזה?
OK נזכרתי- אין הבדל מהותי בין אקסיומות ואמונות פרט ליחודן של הראשונות למצבים.
אקסיומטיקה 51171
לא ידעתי שיש ההבחנה בין "תאוריות" לבין "תורות". האין זה הינו הך? (דוגמא: תורת הקוואנטים = Quantum theory).

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

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

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

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

ויסלח לי האל על ריבוי המרכאות. האם זו מגמה חדשה בכתיבתי? Time will tell.
אקסיומטיקה 51174
יש בפיזיקה (ובמדע בכלל) אקסיומות, כמו האקסיומה שיש חוקיות לטבע, האקסיומה שטוענת שניתן לנסח את החוקיות וזו שאומרת שהחוקיות עקבית. ללא האקסיומות האלה (ויש עוד) אי אפשר לגשת לניסוח תיאוריה מדעית.
אקסיומטיקה 51309
עוד לא ממש קראתי את ההודעות העוקבות ותיקוותי כי לא אכביר לכן בדברים מיותרים.

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

לגבי אקסיומות או שהבהרת את דברי וראוי כי אודה לך או שלא הבנתי את דבריך

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

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