 |
לוגיקה מודלית
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
לוגיקה מודלית
לוגיקה מודָלית (modal logic) היא הרחבה של הלוגיקה הקלאסית, המאפשרת הגדרה פורמלית של ביטויים מודליים. ביטויים מודליים הם למשל כאלה המאפיינים את אמיתותם של משפטים, כגון "הכרחי" ו"אפשרי". לדוגמה, על פסוק כמו "יורד גשם", ניתן להפעיל את האופרטורים המודליים של ההכרח והאפשרות ולקבל "בהכרח יורד גשם" או "אפשרי שיורד גשם". הלוגיקה המודלית מציעה מספר מערכות אקסיומטיות בעלות תכונות שונות, והיא ניתנת להחלה במספר תחומים נוספים, למשל לשם תיאור מושגים דאונטיים (מושגי החובה וההיתר המוסרי, אותם ניתן להחיל על טענות הקובעות מה ראוי, מה אסור, ומה מותר) וטמפורליים (המאפשרת להביע את המובן הזמני של טענות כאופרטורים החלים על טענות לא-זמניות, וכך לייצג קשרי היסק לוגיים בין טענות אלו), וכן בתחומים שונים, למשל בתורת הידיעה (לוגיקה אפיסטמית) ובהסתברות.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
