מודל עבור תחשיב פרדיקטים מודל עבור תחשיב פרדיקטים הוא רביעייה סדורה , > , M = < W , R , D , F כאשר : W . 1 היא קבוצת העולמות האפשריים . W היא קבוצה לא ריקה . R . 2 הוא יחס הנגישות בין עולמות אפשריים ( הבסיס המודאלי ) . D . 3 היא קבוצת האובייקטים האפשריים , D היא קבוצה לא ריקה . הקבוצה D מכילה אובייקטים אפשריים . כלומר לא רק אובייקטים הקיימים במציאות , אלא גם אובייקטים שניתן לדמיין , כגון חד קרן , סוסים מעופפים וכיוצא באלה . F . 4 היא פונקציית הפירוש עבור הקבועים , כך ש : א . F נותנת לכל שם פרטי פונקציה מ W ל . D אילוץ : עבור כל שם פרטי , c ועבור כל v ו w ב . ( F ( c ()) w ) = ( F ( c ()) v ) , W כלומר : הערך שהפונקציה F נותנת לשם הפרטי c בעולם w שווה לערך שהפונקציה F נותנת ל c בעולם . v נסביר אילוץ זה בהמשך . ב . F נותנת לכל פרדיקט n מקומי , פונקציה מעולמות אפשריים לקבוצה של n יות סדורות של איברים מ . D ג . לכל w ב : W 1 0 = ( F ())¬( w ) 1 0 " הערך שהפונקציה F נותנת ל ¬ בעולם " w הסבר לסעיף : 4 בתחשיב פרדיקטים פונקציית הפירוש העניקה לכל קבוע את ההוראה שלו , את האקסטנסיה שלו ...
אל הספר