בתשובה לאח של אייל, 17/06/05 16:52
ציפור קטנה לחשה לי - חלק ב 310494
איך מדענים מכריעים האם תצפיות נתונות מאששות או מפריכות תיאוריה כזו או אחרת? השערה שלי: אין אלגוריתם לכך. הם מפעילים היגיון אינטואיטיבי (תוך לקיחה בחשבון של הידע המדעי). למה מדענים מלכתחילה התחילו להפעיל שיטות של אמפיריקה, ולקבל את התער של אוקאם? השערה שלי: מתוך הגיון אינטואיטיבי. האם יש איזשהו אלגוריתם למדידת פשטות, שנחוץ כדי להפעיל את התער? השערה שלי: לא. אני חושב שהגיון אינטואיטיבי קולקטיבי הוא למעשה השופט העליון במדע (במקרה יוצא שאכן לרוב מכריע של המדענים יש הגיון דומה, ויש ראיות אמפיריות לכך (-: ). יכול להיות שכדי להכניס את הקוואליה תחת כנפי המדע אכן חייבים מבחן מדיד (על כך, בתגובה נפרדת), אבל אני חושב שזה כשלעצמו לא מכשיר כל מבחן שתציע: תצטרך לעמול קשה (ולהשערתי, במישור פילוסופי יותר ממדעי) כדי לשכנע שהמבחן המוצע אכן מודד קוואליה. ובינתיים נראה שברגע שאתה מעלה את רעיון הרובוטים שלך, אתה מכשיל את המבחן.
ציפור קטנה לחשה לי - חלק ב 310527
מה זה "הגיון אינטואיטיבי"? ו"הגיון אינטואינטיבי קולקטיבי"?
ציפור קטנה לחשה לי - חלק ב 312179
הגיון אינטואיטיבי: מה שמפעילים כדי לקבל או לדחות טענות שונות, שלא באמצעות כללים פורמליים. למשל, הכללים הפורמליים עצמם מתקבלים או נדחים על-סמך הגיון אינטואיטיבי. וגם עניינים יותר טריוויאליים: הוכחות במתמטיקה, כאלו שאתה רואה בכתבי עת או בכיתה, אינן באמת מורכבות מהאקסיומות וחוקי הגזירה של הלוגיקה הפורמלית. בעיקרון אפשר לפרוט אותן לכאלה, אבל אף אחד לא טורח. ברמה שבה מציגים אותן, פשוט "רואים" שזה נכון. בדומה לכך, הטענה שתצפית נתונה מאוששת או מפריכה תיאוריה מדעית כלשהי. על כך דיברתי.

קולקטיבי: מתברר, למרבה השמחה, שיש התאמה מופלאה בהגיון האינטואיטיבי של מדענים ופילוסופים. אף אחד לא מכריח אף אחד אחר לקבל את עקרונות המתמטיקה, או את כללי היסוד של המחקר הפיזיקלי; אבל עושה רושם שלכולם הם נראים נכונים.
ציפור קטנה לחשה לי - חלק ב 312202
זהו? גמרת את התואר אז מצדך שיסגרו את המחלקה?
זה לא כל כך נעים לראות מחלקה סגורה 312235
לא. נראה לי שמה שרוב הפילוסופים של המדע עושים הוא לנסות לנסח בצורה יותר פורמלית את ההגיון האינטואיטיבי הקולקטיבי הזה, להצביע היכן הוא אולי לא הגיוני, היכן יש לו נקודות תורפה, להצביע על כך שהוא בכלל קיים (כפי שאני עשיתי), להצביע על כך שקשקוש לטעון שהוא קיים (כפי שהיו עושים, ובצדק, אילו הייתי מעלה את הרעיון בקהילה האקדמית). משהו שרובם כבר לא עושים הוא לומר למדענים מה לעשות.
ציפור קטנה לחשה לי - חלק ב 312205
דווקא אצלנו היה מקובל לומר, שבכל הוכחה שבמקום פירוט השלבים נאמר "קל לראות", הקלות הזאת דורשת עוד איזה 2-3 עמודים של איזה למות קטנות.

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

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