לוגיקה מודלית – הבדלי גרסאות

לוגיקה מודָלית (modal logic) היא הרחבה של ה[[לוגיקה]] הקלאסית, המאפשרת הגדרה [[פורמליזם (מתמטיקה)|פורמלית]] של ביטויים מודליים. ביטויים מודליים הם למשל כאלה המאפיינים את [[אמת (פילוסופיה)|אמיתותם]] של משפטים, כגון "הכרחי" ו"אפשרי". לדוגמה, על פסוק כמו "יורד גשם", ניתן להפעיל את ה[[אופרטור]]ים המודליים של ההכרח והאפשרות ולקבל "בהכרח יורד גשם" או "אפשרי שיורד גשם". הלוגיקה המודלית מציעה מספר מערכות אקסיומטיות בעלות תכונות שונות, והיא ניתנת להחלה במספר תחומים נוספים, למשל לשם תיאור מושגים [[דאונטולוגיה|דאונטיים]] (מושגי החובה וההיתר המוסרי, אותם ניתן להחיל על טענות הקובעות מה ראוי, מה אסור, ומה מותר) ו[[לוגיקה טמפורלית|טמפורליים]] (המאפשרת להביע את המובן הזמני של טענות כאופרטורים החלים על טענות לא-זמניות, וכך לייצג קשרי היסק לוגיים בין טענות אלו), וכן בתחומים שונים, למשל בתורת הידיעה ([[אפיסטמולוגיהלוגיקה אפיסטמית]]) וב[[הסתברות]].