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