לוגיקה אפיסטמית

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

## התפתחות היסטורית
החל משנות החמישים של המאה ה-20 נכתבו מאמרים רבים על הלוגיקה של ידע. בשנת 1951 פרסם הפילוסוף הפיני ג'ורג' הנריך פון וורייט את המאמר "An Essay in Modal Logic" שנחשב יצירה יסודית בתחום. ב-1962 פרסם הפילוסוף והלוגיקן הפיני יאקו הינטיקה את Knowledge and Belief, הספר הראשון בנושא שהציע להשתמש במודאליות כדי להבין את הסמנטיקה של (טענות אודות) ידיעה. ספרו של הינטיקה הביא להמשך של מחקר מעמיק בנושא עד לימינו וזיכה את הינטיקה בתואר אבי הלוגיקה האפיסטמית.

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

### סינטקס
האופרטור הבסיסי של לוגיקה מודאלית מסומן לרוב ב-K, ויכול להקרא "זה ידוע ש", "זה הכרחי אפיסטמית" או "זה לא עקבי עם מה שידוע שלא". אופרטור זה מקביל לאופרטור \Box ("זה הכרחי ש-") מלוגיקה מודאלית סטנדרטית.
אם ישנו יותר מסוכן אחד שהידע שלו מיוצג ניתן להוסיף בתחתית אופרטור K סימול נוסף (\mathit{K}_1, \mathit{K}_2, etc.) כדי להבדיל בין מספר סוכני הידיעה. באופן כללי \mathit{K}_a\varphi יקרא כך: "סוכן a יודע ש \varphi". לאופטור המשלים של K, המקביל לאופרטור \Diamond p מלוגיקה מודאלית ("אפשרי ש-") אין סימן משלו, אבל ניתן לנסחו כ \neg K_a \neg \varphi ולקרוא אותו כa לא יודע שלא \varphi. את הטענה 'a לא יודע אם \varphi או אם לא \varphi' ניתן לבטא כך \neg K_a\varphi \land \neg K_a\neg\varphi.

### סמנטיקה
הסמנטיקה של לוגיקה אפיסטמית מבוססת על מבנים, בדומה ללוגיקה מודאלית. מבנה *M* עבור *n* סוכנים על \Phi הוא שלשה סדורה (S, \pi, \mathcal{K}_1, ..., \mathcal{K}_n)
כאשר S היא קבוצה לא ריקה של מצבים או עולמות אפשריים, \pi הוא פשר שמתאים לכל מצב ב־S ערך אמת לטענות אטומיות ב \Phi, ו\mathcal{K}_1, ..., \mathcal{K}_n
הם יחסים בינאריים על קבוצה S עבור מספר n של סוכנים. חשוב לא לבלבל בין K_i, האופרטור המודאלי, לבין \mathcal{K}_i שהוא יחס נגישות.
ערך האמת קובע האם טענה p היא אמיתית הוא שקרית במצב מסוים. כך ש\pi (s)(p) אומר האם p אמיתי במצב s במודל \mathcal{M}. אמת תלויה לא רק במבנה, אלא גם במצב (או עולם).
טענה יכולה להיות אמיתית במצב אחד ושקרית במצב אחר. כדי לקבוע שטענה היא אמיתי בעולם מסוים, כותבים (M,s) \models \varphi, שנקרא '\varphi אמיתי ב(M,s).

אפשר לחשוב על היחס הבינארי \mathcal{K}_i כיחס אפשרות, כי הוא מסביר איזה מצבים סוכן i תופש כאפשריים. בתיאור אידיאלי של ידיעה (תיאור של סוכן אפיטמי מושלם) \mathcal{K}_i יהיה
יחס שקילות. יחס שקילות הוא יחס רפלקסיבי סימטרי וטרנזיטיבי. יחס הנגישות במבנה יכול כמובן להיות גם חלש יותר משקילות, בהתאם למשמעות שניתנת למושגי הידיעה.

## תכונות של ידיעה
בהנחה ש\mathcal{K}_i הוא יחס שקילות, ניתן לחלץ כמה תכונות למושג הידיעה, תכונות שיוצגו להלן כאקסיומות של לוגיקה אפיסטמית.
התכונות שמוצגות כאן מוכרות כתכונות S5, מסיבות שיוסברו בסעיף מערכת אקסיומות.

### אקסיומת הפילוג
אקסיומה זו מכונה לרוב **K**. במונחי אפיסטמיים האקסיומה קובעת שאם סוכן יודע \varphi, וכן הסוכן יודע כי \varphi \implies \psi
אז הסוכן יודע גם בהכרח כי \,\psi. בכתיבה פורמלית:

: (K_i\varphi \land K_i(\varphi \implies \psi)) \implies K_i\psi

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

### כלל הכללת הידע (כלל ההכרח)
 במערכת S5 מתקיימת גם התכונה הבאה. אם \phi היא תקפה, אז K_i\phi. כלל זה לא קובע כי סוכן יודע את כל הטענות האמיתיות, אלא את כל אלו שתקפות במודל. כלומר, אם טענה
היא אמיתית בכל עולם אפשרי, אז הסוכן יודע אותה בכל מצב אפשרי. עיקרון זה נקרא גם **N**.

: \text{if }M \models \varphi\text{ then }M \models K_i \varphi.\,

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

: K_i \varphi \implies \varphi

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

: K_i \varphi \implies K_i K_i \varphi

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

: \neg K_i \varphi \implies K_i \neg K_i \varphi

### מערכת האקסיומות
מבחינה סינטקטית, ניתן להבין בין סוגים שונים של לוגיקות מודאליות באמצעות אקסיומות שונות שקובעות אותן.
מערכת הלוגיקה המודאלית שכוללת את האקסיומות **K**, **T**, **4**, **5** ואת כלל ההכרח, ידועה כמערכת S5.
מערכת זו נחשבת למערכת המודאלית החזקה ביותר, ובהתאם היא מייצגת את הסוכן האפיסטמי הטוב (או חזק) ביותר.
מסיבה זו, תכונות הידיעה שהוצגו כאן, שכולן מתקיימות, מכונות תכונות S5. ניתן לוותר על חלק מהאקסיומות כדי
להתאים את תכונות הידיעה למערכות שונות וחלשות יותר של לוגיקה מודאלית. ויתור על תכונות יאפשר סוכן אפיסטמי
חלש יותר, אך (אולי) גם קרוב יותר למציאות.

## קישורים חיצוניים

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:לוגיקה