Loading AI tools
הסקה המתחילה בתצפית או בקבוצת תצפיות ומבקשת למצוא להן את ההסבר הפשוט והסביר ביותר מוויקיפדיה, האנציקלופדיה החופשית
אַבְּדּוּקְצִיָּה (בלועזית: Abduction; נקראת גם חשיבה אבדוקטיבית, הסקה אבדוקטיבית או רטרודוקציה, ובעברית: אִסְלוּק[1]) היא סוג של הסקה לוגית המתחילה עם תצפית או קבוצת תצפיות ומבקשת למצוא את ההסבר הפשוט והסביר ביותר להן. תהליך זה, שלא כמו דדוקציה, מניב מסקנה סבירה, אך אינו מאמת אותה בוודאות. מסקנות אבדוקטיביות אפוא מתוארות כבעלות שריד של אי-ודאות או ספק, המתבטא בהסתייגויות כגון "הטובה ביותר הזמינה" או "הסבירה ביותר". ניתן להבין את האבדוקציה כהסקה להסבר הטוב ביותר,[2] אם כי לא כל השימושים של המונחים "אבדוקציה" ו-"הסקה להסבר הטוב ביותר" זהים.[3][4]
בשנות ה-90 של המאה ה-20, כאשר כוח המחשוב גדל, תחומי המשפט, מדעי המחשב, וכן חקר בינה מלאכותית עוררו עניין מחודש באבדוקציה. מערכות המתמחות באבחון משתמשות באבדוקציה לעיתים קרובות.
חשיבה דדוקטיבית מאפשרת גזירה של מ- רק כאשר הוא תוצאה לוגית פורמלית של . במילים אחרות, דדוקציה גוזרת את התוצאות של ההנחות. בהינתן שההנחות נכונות, דדוקציה תקפה תבטיח את נכונות המסקנה. לדוגמה, בהינתן ש-"כל אחד יכול לערוך אתרי ויקי" () ו-"ויקיפדיה היא אתר ויקי" (), נובע כי "כל אחד יכול לערוך את ויקיפדיה" ().
חשיבה אינדוקטיבית מאפשרת הסקה של מ-, כאשר אינו בהכרח נובע מ-. עשוי לספק לנו סיבה טובה מאוד לקבל את , אך הוא אינו מבטיח את . לדוגמה, אם כל הברבורים שנצפו הם לבנים, אנו יכולים להסיק שהאפשרות שכל הברבורים הם לבנים היא סבירה. יש בידינו סיבה טובה להאמין במסקנה בהתחשב בהנחות, אולם, הנכונות של המסקנה אינה מובטחת (ואכן, מסתבר כי ישנם ברבורים שחורים).
חשיבה אבדוקטיבית מאפשרת הסקה של כהסבר ל - . כתוצאה מהסקה זו, אבדוקציה מאפשרת להסיק את התנאי המוקדם מתוך התוצאה . כך, חשיבה דדוטיבית וחשיבה אבדוטיבית נבדלות בכיוון שבו משתמשים בחוק כמו " גורר את " לביצוע הסקה.
ככזאת, אבדוקציה שקולה מבחינה פורמלית לכשל הלוגי של אישור הסוגר (או פוסט הוק ארגו פרופטר הוק) משום שקיימים מספר הסברים אפשריים שונים ל-. לדוגמה, במשחק ביליארד, לאחר מבט חטוף בו אנחנו צופים בכדור שמספרו 8 נע לכיווננו, אנו עשויים להסיק כי הכדור הלבן פגע בכדור 8. הפגיעה של הכדור הלבן תסביר את התנועה של כדור 8. הסקה זו משמשת כהיפותזה המסבירה את התצפית שלנו. בהינתן ההסברים האפשריים הרבים לתנועת כדור 8, האבדוקציה שלנו לא מותירה אותנו בטוחים בכך שהכדור הלבן אכן פגע בכדור 8, אבל האבדוקציה שלנו, שהיא בכל זאת שימושית, יכולה לסייע לנו בהתמצאות בדברים הסובבים אותנו. על אף שיש הסברים אפשריים רבים לכל תופעה בה אנו צופים, אנו נוטים להסיק הסבר יחיד (או מספר מצומצם של הסברים) לאותה תופעה בציפייה שנוכל להתמצא טוב יותר בסובב אותנו ושאנו יכולים להתעלם מאפשרויות מסוימות. בשימוש נכון, חשיבה אבדוקטיבית יכולה להיות מקור שימושי לערכים פריורים בהסתברות בייסאנית.
בלוגיקה, הסבר ניתן מתוך תאוריה לוגית המייצגת תחום וקבוצה של תצפיות . אבדוקציה היא ההליך של גזירת קבוצה של הסברים של לפי ובחירת הסבר אחד מתוכם. כדי ש- יהיה הסבר של לפי , עליו לקיים שני תנאים:
בלוגיקה פורמלית, מניחים כי ו- הם קבוצות של ליטֶרָלים (נוסחה אטומית או השלילה שלה). שני התנאים לכך ש- יהיה הסבר של לפי תאוריה מוצרנים באופן הבא:
בין ההסברים האפשריים המקיימים את שני התנאים האלה, תנאי אחר כלשהו של מינימליות מוטל בדרך כלל כדי להימנע מכלילה של עובדות שאינן רלוונטיות (שאינן תורמות לנביעה של ) בין ההסברים. אבדוקציה היא, אם כך, התהליך הבוחר איבר מסוים של . קריטריונים לבחירת איבר המייצג את ההסבר "הטוב ביותר" כוללים את הפשטות, ההסתברות הפריורית, או את הכוח ההסברי של ההסבר.
תכנות לוגי אבדוקטיבי הוא תשתית חישובית המרחיבה את התכנות הלוגי הרגיל עם אבדוקציה. היא מפרידה את התאוריה לשני חלקים, כאשר אחד מהם הוא תוכנה לוגית רגילה, אשר משתמשים בה כדי לייצר את באמצעות חשיבה הפוכה, והשני הוא קבוצה של אילוצי אמינות, בהם משתמשים כדי לסנן את קבוצת ההסברים המועמדים.
אימות אבדוקטיבי הוא התהליך של אימות היפותזה נתונה באמצעות חשיבה אבדוקטיבית. תהליך זה יכול גם להיקרא הסקה דרך רצף קירובים. תחת עיקרון זה, הסבר הוא תקף אם הוא ההסבר הטוב ביותר האפשרי לקבוצה של נתונים ידועים. ההסבר הטוב ביותר האפשרי מוגדר לעיתים קרובות במונחים של פשטות ואלגנטיות (ראה תערו של אוקאם). אימות אבדוקטיבי נפוץ בבניית היפותזות במדע; יתר על כן, פרס טוען כי אימות אבדוטיבי הוא היבט נפוץ של המחשבה:
אני מסתכל מבעד לחלוני בבוקר אביבי מקסים זה, ואני רואה אזליה בתפרחת מלאה. לא, לא! איני רואה זאת; אם כי זוהי הדרך היחידה בה אני יכול לתאר את מה שאני רואה. זוהי טענה, משפט, עובדה; אבל הדבר בו אני מבחין אינו טענה, משפט, עובדה, אלא רק תמונה, אותה אני הופך למובנת באופן חלקי על ידי הצהרת עובדה. הצהרה זו היא מופשטת; אך מה שאני רואה הוא מוחשי. אני מבצע אבדוקציה אפילו כאשר אני מביע במשפט דבר כלשהו אותו אני רואה. האמת היא שכל מארג הידע שלנו הוא יריעת לֶבֶד ארוג של היפותזה טהורה המאומתת ומלוטשת על ידי אינדוקציה. ההתקדמות הקטנה ביותר בידע מעבר לרמת הבהייה הריקנית, לא יכולה להתרחש מבלי ביצוע אבדוקציה בכל צעד.
הייתה זו אמרתו של פרס עצמו ש-"עובדות לא יכולות להיות מוסברות על ידי היפותזה יותר יוצאת דופן מאותן עובדות עצמן; ומתוך מספר היפותזות, עלינו לקבל את הרגילה ביותר." לאחר השגת תוצאות מתהליך הסקה, אנו עשויים להישאר עם מספר הנחות, שחלק מהן עשויות להיות סותרות. אימות אבדוקטיבי היא שיטה לזיהוי ההנחות אשר יובילו אותך למטרה שלך.
הפילוסוף האמריקאי צ'ארלס סנדרס פֶּרְס (1839–1914) הכניס את האבדוקציה ללוגיקה המודרנית. במשך השנים הוא כינה הסקה מסוג זה היפותזה, אבדוקציה, השערה ורטרודוקציה. הוא ראה בה תחום בהגיון כשדה נורמטיבי בפילוסופיה, ולא בלוגיקה פורמלית או מתמטית טהורה, ובסופו של דבר גם כנושא בכלכלה של המחקר.
כשני שלבים של הפיתוח, ההרחבה וכו', של היפותזה בחקירה מדעית, אבדוקציה כמו גם אינדוקציה קורסות לעיתים קרובות לתוך תפיסה מקיפה אחת – ההיפותזה. זאת הסיבה לכך שבשיטה המדעית הידועה מגלילאו ובייקון, השלב האבדוקטיבי של היווצרות היפותזה נתפס פשוט כאינדוקציה. כך, במאה העשרים קריסה זו חוּזקה על ידי הסברו של קרל פופר למודל ההיפותטי-דדוקטיבי, שבו ההיפותזה נחשבת ל"ניחוש" בלבד[5] (ברוחו של פֶּרְס). עם זאת, כאשר היווצרות ההיפותזה נחשבת לתוצאה של תהליך, מתברר כי "ניחוש" זה כבר נבחן ונעשה חזק יותר במחשבה כשלב הכרחי בהשגתו מעמד של היפותזה. ואכן, אבדוקציות רבות נדחות או משונות במידה ניכרת על ידי אבדוקציות הבאות בעקבותיהן לפני שהן מגיעות לשלב זה.
לפני 1900, פרס התייחס לאבדוקציה כשימוש של כלל ידוע כדי להסביר תצפית, למשל, זהו כלל ידוע כי אם יורד גשם הדשא רטוב; לכן, כדי להסביר את העובדה שהדשא רטוב, אדם מסיק באופן אבדוקטיבי כי ירד גשם. אבדוקציה עלולה להוביל למסקנות שקריות אם כללים אחרים המסבירים את התצפית אינם נלקחים בחשבון (למשל, אם הממטרות פעלו לאחרונה על הדשא הרטוב). שימוש זה הוא עדיין השימוש הנפוץ במונח "אבדוקציה" במדעי החברה ובבינה מלאכותית.
פרס אפיין אותה באופן עקבי כסוג ההסקה המולידה היפותזה על ידי הסתכמותה בהסבר, אם כי לא וודאי, לתצפית משונה מאוד או מפתיעה (חריגה), המובעת באחת מהנחות המוצא. כבר בשנת 1865 הוא כתב כי אנו מגיעים לכל המושגים של סיבה וכוח דרך הסקה היפותטית; בתחילת המאה ה-20 כתב כי כל התוכן ההסברי של תאוריות מגיע דרך אבדוקציה. במובנים אחרים שינה פרס את השקפתו על האבדוקציה במשך השנים.
בשנים מאוחרות יותר השקפתו נהייתה:
ב-1901 כתב פרס, "לא יהיה כל הגיון בהנחת כללים, ואמירה כי יש לשמור עליהם, עד שנעשה ברור שמטרת ההיפותזה מצריכה אותם". ב-1903 קרא פרס לפרגמטיזם "ההגיון של האבדוקציה" ואמר שהעיקרון הפרגמטי נותן את הכלל הלוגי ההכרחי והמספיק לאבדוקציה באופן כללי. העיקרון הפרגמטי הוא:
שקלו אילו השפעות, העשויות, באופן המתקבל על הדעת, להיות בעלות השלכות מעשיות, אנו חושבים שיש לאובייקט של התפיסה שלנו. לאחר מכן, תפיסתנו את ההשפעות הללו היא כל התפיסה שלנו של האובייקט.
זוהי שיטה להבהרה פורה של תפיסות על ידי השוואת משמעותה של תפיסה להשלכות המעשיות העולות על הדעת של השפעותיו הנתפסות של האובייקט שלה. פרס החזיק בדעה שניסוח זה מותאם בדיוק למטרת האבדוקציה בחקירה, פיתוח רעיון שייתכן שיוכל לעצב התנהלות מושכלת. בכתבים שונים בעשור הראשון של המאה ה-20,[8] הוא אמר כי ביצוע אבדוקציה (או רטרודוקציה) מושפע משיקולים כלכליים, המשתייכים בעיקר לכלכלה של המחקר. הוא התייחס לכלכלה כאל מדע נורמטיבי, שחלקו האנליטי עשוי להיות חלק ממתודוּטיקה (methodeutic, מתודה) לוגית (כלומר, תאוריה של חקירה).
ברבות השנים, פרס הגיע לכדי חילוק של הלוגיקה (הפילוסופית) לשלוש מחלקות:
פרס ראה, מההתחלה, את דרכי ההסקה כמתואמות ביניהן בחקירה המדעית, ובתחילת המאה ה-20 טען כי לא מתייחסים כראוי להיסק ההיפותטי כאשר מבקרים טיעונים.[7] כדי להגביר את הביטחון של מסקנה היפותטית, יש להסיק השלכות על ראיות העתידות להימצא, תחזיות אשר אינדוקציה יכולה לבדוק באמצעות תצפית כדי להעריך את ההיפותזה. זהו המתווה של פרס לשיטת החקירה המדעית (אנ'), כפי שמפורט במתודולוגיית החקירה שלו, הכוללת פרגמטיזם, או כפי שכינה אותה מאוחר יותר, פרגמטיציזם, הבהרת רעיונות במונחים של ההשלכות האפשריות שלהם על פרקטיקה מושכלת.
כבר בשנת 1866,[9] פרס קבע כי:
ב-1902 כתב פרס שבאבדוקציה: "ניכר שהתופעות הן "כמו", כלומר, מהוות אייקון של, רפליקה של קונספציה כללית, או סמל".[10]
ברמה הביקורתית בחן פרס את צורות הטיעונים האבדוקטיביים (כפי שפורט לעיל), והגיע למסקנה שההיפותזה צריכה לייעל הסברים למען סבירות במונחים של המעשי והטבעי. ב-1908 תיאר פרס את הסבירות הזאת בפירוט. היא אינה מערבת דמיון בהסתמך על תצפיות (שהוא ההערכה האינדוקטיבית של היפותזה), אלא פשטות אופטימלית במובן של "הפשוט והטבעי", בדומה ל"אור הטבעי של התבונה" של גלילאו, ולהבדיל מ"פשטות לוגית" (פרס אינו מבטל את הפשטות הלוגית לחלוטין, אלא רואה את תפקידה כמשני; במקרה הקיצון שלה, היא תיתן העדפה לאי-ניתנת הסבר לתצפית כלל). אפילו שכל ערוך היטב מנחש לא נכונה לעיתים קרובות מאשר נכונה, אבל הניחושים שלנו מצליחים יותר מאשר מזל אקראי להגיע לאמת או לפחות לקדם את החקירה, ודבר זה מצביע לפרס על כך שהם מבוססים על ההתכווננות האינסטינקטיבית לטבע, זיקה בין התהליכים השכליים והתהליכים של הממשי, מה שיתן הסבר לכך שניחושים המרגישים "טבעיים" הם אלו הצולחים לעיתים הכי הקרובות (או לעיתים הכי פחות רחוקות); לכך פרס הוסיף את הטיעון כי ניחושים מעין אלה עדיפים משום שמבלי "נטייה טבעית כמו של הטבע", לאנשים לא הייתה שום תקווה להבין את הטבע.
הביטוי "הסקה להסבר הטוב ביותר" (בו פרס לא השתמש אך הוא נאמר לעיתים קרובות על הסקה היפותטית), אינו תמיד מפורש כהתייחסות להיפותזות הפשוטות והטבעיות ביותר (כגון אלו עם ההנחות המעטות ביותר). עם זאת, במובנים אחרים של "הטוב ביותר", כגון "עומד בפני בחינות באופן הטוב ביותר", קשה לדעת מהו ההסבר הטוב ביותר אותו יש לבנות, שכן הוא עדיין לא נבחן. ובכל זאת, עבור פרס, כל הצדקה שהיא להסקה אבדוקטיבית כטובה אינה מושלמת עם עיצובה של ההסקה כטיעון (בשונה מאינדוקציה ודדוקציה), ובמקום זאת תלויה גם בתפקיד וההבטחה המתודולוגית (כגון היותה בת בחינה) שלה בקידום החקירה.[7][11][12]
ברמה המתודולוגית, פרס טען כי ההיפותזה נשפטת ונבחרת[7] לבחינה משום שהיא מספקת, באמצעות הבחינה שלה, זירוז וייעול של תהליך החקירה עצמו בדרכו לאמיתות חדשות, קודם כל על ידי היותה ניתנת לבחינה וגם באמצעות כלכלות נוספות,[8] במונחים של עלות, ערך ויחסים בין ניחושים (היפותזות). כאן, שיקולים כמו הסתברות, הנעדרת מן ההתייחסות לאבדוקציה ברמה הביקורתית, באים לידי ביטוי. לדוגמה:
נורווד ראסל הנסון (אנ'), פילוסוף של המדע, ביקש לבנות לוגיקה המסבירה כיצד מתרחשות תגליות מדעיות. לשם כך, הוא השתמש במושג האבדוקציה של פרס.
פיתוח נוסף של המושג ניתן למצוא ב"Inference to the Best Explanation" (ליפטון, 1991) של פיטר ליפטון.
יישומים בבינה מלאכותית כוללים אבחון תקלות (אנ'), עדכון אמונות (אנ') ותכנון אוטומטי (אנ'). היישום הישיר ביותר של אבדוקציה הוא גילוי אוטומטי של תקלות במערכות: בהינתן תאוריה המקשרת תקלות עם ההשפעות שלהן וקבוצה של השפעות נצפות, ניתן להשתמש באבדוקציה על מנת לגזור קבוצות של תקלות העשויות להיות הסיבה לבעיה.
ברפואה, אפשר לראות באבדוקציה מרכיב של שיפוט והערכה קלינית.[13][14]
אבדוקציה יכולה גם לשמש למידול תכנון אוטומטי. בהינתן תאוריה לוגית המקשרת התחרשויות של פעולות עם ההשפעות שלהן (לדוגמה, נוסחה של תחשיב האירועים), אפשר לעצב את הבעיה של מציאת תוכנית להגעה למצב כלשהו בתור הבעיה של הסקה (אבדוקטיבית) של קבוצה של ליטֶרָלים הרומזים על כך שהמצב האחרון הוא המצב המבוקש.
בניתוח מודיעין, ניתוח של היפותזות מתחרות ורשתות בייסיאניות, יש שימוש נרחב בחשיבה אבדוקטיבית הסתברותית. באופן דומה, באבחון רפואי ובחשיבה משפטית, אותן השיטות נמצאות בשימוש, על אף שהיו מקרים רבים של שגיאות, שנגרמו בעיקר על ידי כשל ההסתברות הקודמת וכשל התובע.
עדכון אמונות, התהליך של התאמת אמונות לאור מידע חדש, הוא תחום נוסף בו יושמה חשיבה אבדוקטיבית. הבעיה העיקרית של עדכון אמונות היא שהמידע החדש עשוי להיות לא עקבי עם רשת האמונות הקודמת, בעוד שתוצאת ההכללה שלו ברשת האמונות אינה יכולה להיות לא עקבית. אפשר להשתמש באבדוקציה כדי לבצע את תהליך העדכון של רשת האמונות: ברגע שנמצא הסבר לתופעה, שילובו ברשת האמונות אינו מייצר חוסר עקביות.
שימוש זה באבדוקציה אינו ישיר, משום שהוספת נוסחאות פסוקיות לנוסחאות פסוקיות אחרות יכולה רק להפוך חוסר עקביויות לגרועות יותר. במקום זאת, אבדוקציה נעשית ברמת סידור העדיפויות של העולמות האפשריים. מודלים של עדיפויות משתמשים בלוגיקה עמומה או במודלים של תועלתיות.
בפילוסופיה של המדע, אבדוקציה הייתה שיטת ההסקה העיקרית לתמיכה בריאליזם מדעי, והרבה מהדיון על ריאליזם מדעי נסוב סביב השאלה האם אבדוקציה היא שיטת הסקה קבילה.[15]
בבלשנות היסטורית, אבדוקציה בעת רכישת שפה נלקחת לעיתים קרובות כחלק מהותי בתהליכים של השתנות השפה כגון אנליזה מחודשת ואנלוגיה.[16]
באנתרופולוגיה, אלפרד גֶל, בספרו רב ההשפעה "אומנות וסוכנות" (Art and Agency), הגדיר אבדוקציה כ"מקרה של הסקה סינתטית 'בו אנו מוצאים כמה נסיבות מסקרנות במיוחד, שיוסברו על ידי ההנחה שהיה זה מקרה של חוק כללי כלשהו, ועל כן אנו מקבלים הנחה זו'". גל מבקר מחקרים "אנתרופולוגיים" קיימים של אומנות על כך שהם שקועים יתר על המידה בערך אסתטי ולא מתעסקים מספיק עם העניין האנתרופולגי המרכזי של חשיפת "קשרים חברתיים", ובפרט ההקשרים החברתיים בהם יצירות אומנות מיוצרות, מופצות ומתקבלות. אבדוקציה משמשת כמכניזם המוביל מאומנות לסוכנות (אנ'). כלומר, אבדוקציה יכולה להסביר כיצד יצירות אומנות משרות "סֶנְסוּס קוֹמוּניס": ההשקפות הנפוצות המשותפות לאנשים המייצגים חברה מסוימת.
השאלה אותה גל שואל בספר היא: "כיצד יצירת אמנות מתחילה 'לדבר' לאנשים?" הוא עונה בכך שהוא אומר "אף אדם הגיוני לא יוכל להניח כי קשרים כמו-אומנותיים בין אנשים לעצמים לא מערבים לפחות צורה מסוימת של סמיוזה." אולם, הוא דוחה כל רמיזה לכך שאפשר לחשוב על סמיוזה כשפה משום שבכך הוא ייאלץ להודות בקיום של איזשהו "סנסוס קומוניס" מבוסס מראש, ואילו הוא מבקש לטעון כי הוא נובע רק לאחר מכן מתוך האומנות. אבדוקציה היא התשובה לבעיה הזו משום שהמשמעות של טבעו הטנטטיבי של מושג האבדוקציה (פרס השווה אותה לניחוש) היא שלא רק שאבדוקציה יכולה לתפקד מחוץ לכל מערכת קיימת מראש, אלא, היא למעשה יכולה אפילו לרמוז על קיום של מערכת. כפי שגל טוען בניתוח שלו, הקיום הפיזי של יצירת האומנות מניע את הצופה לבצע אבדוקציה המטמיעה התכוונות ביצירה. פסל של אלה למשל, הופך למעשה בשכלו של המתבונן לאלה עצמה במובנים מסוימים; ואינו מייצג את צורתה בלבד אלא גם את כוונותיה (המוסקות מתוך ההרגשה של נוכחותה הממשית). לפיכך, טוען גל, שבאמצעות אבדוקציה, אומנות יכולה להשיג את סוג הסוכנות הזורעת את הזרעים הגדלים למיתוסים תרבותיים. הכוח של סוכנות הוא הכוח להניע מעשים ולהשרות, בסופו של דבר, את ההבנה המשותפת המאפיינת כל חברה נתונה.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.