בתשובה לדורון יערי, 26/11/03 17:48
מפלטם של חסרי הישע: 182284
התופעה: אני רואה מישהו שמתנהג בדיוק כמוך בכל הנסיבות‏1.

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

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

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

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

באותה צורה ניתן להתייחס לעניין האטומים והשדים הירוקים, התער יקבע באיזו תאוריה נשתמש כדי לתאר את התנהגות החומר אבל הוא לא יכול להוות הוכחה לכך שזו האמת.
מפלטם של חסרי הישע: 182394
ומה כן לדעתך יכול להוות הוכחה שמשהו הוא האמת?
מפלטם של חסרי הישע: 182395
דילוגי אותיות
מפלטם של חסרי הישע: 182397
לזה אין לי תשובה‏1. בכל אופן לטעון שתאוריה מסויימת היא האמת כי היא מנוסחת בצורה אלגנטית יותר מתאוריה אחרת זה די דחוק.

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

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

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

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

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

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