בתשובה לגדי אלכסנדרוביץ', 23/07/05 21:31
 |
|
 |
||
|
||||
 |
זו נקודה מעניינת, אבל אני לא רואה למה התיאור שמתארת מערכת עם שני מודלים אפשריים יהיה לא מלא. הרי כל משפט שנכון לגבי הדבר שהיא מתארת, נכון גם בה, ולהיפך. כלומר, אין שום פרט שאתה לא יודע בנוגע לדבר הזה. אם המערכת היא שלמה גם ביחס למודל אחר, אז אולי המודלים האלה איזומורפיים? (שזו מחשבה מעניינת בפני עצמה. יכול להיות שהמערכת שמתארת את האדם והמערכת שמתארת את העולם הן אותה מערכת רק באינטרפרטציה אחרת? ביהדות קוראים לעולם - אדם גדול, ולאדם - עולם קטן) |
 |
 |
 |
|
|
|
||
|
||||
|
בלי תשובה מתמטית לשאלה אני לא חושב שאוכל להמשיך את הדיון. אני *חושב* שהתשובה היא שלילית: יכולים להיות קיימים כמה מודלים *מעוצמות שונות* ולכן הם לא איזומורפיים (אני חושב שזה כבר נדון איפה שהוא כאן) אבל אני לא בטוח כי אני לא מתמטיקאי. איפה בא לידי ביטוי ההבדל? נראה לי שהכשל הוא בטיעון שלך "כל משפט שנכון לגבי הדבר שהיא מתארת, נכון גם בה". אני חושב שניסוח מדוייק יותר צריך להיות "כל משפט שנכון לגבי הדבר שהיא מתארת *וניתן לנסח בשפה שלה* הוא *יכיח* בה", וההבדל ברור. לכאורה זה משחק לטובתך: זה רק מראה שמערכת פורמלית לא מצליחה לתאר "ממש" את המודל שלה. מצד שני, נשאלת השאלה מה המידע שאנחנו בעצם מפסידים בכך שהתיאור הוא לא "ממש", והאם הוא רלוונטי לנו בכלל. לכן השאלה היא מהו לדעתך "תיאור" של משהו, ואיזה דרישות אתה מצפה שהוא יקיים - ואז צריך לשאול האם דבר כזה יכול להיות קיים בכלל. |
|
|
|
|
|
|
||
|
||||
|
אני נאלץ לנטוש את הדיון בשלב זה. תעשו חיים. ניפגש בהזדמנות אחרת. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |