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

{{שכתוב|סיבה=אי קריאות כללית|נושא=מדעי הרוח}}

 

[[סמנטיקה]] מקובלת ללוגיקה מודלית היא סמנטיקה של [[עולמות אפשריים]], אשר מניחה את קיומם התאורטי של עולמות מרובים, השונים מהעולם שלנו, '''האקטואלי''', במידה זו או אחרת, אך כולם בעלי היתכנות לוגית. תחת סמנטיקה זו, הטענה 'בהכרח יורד גשם בחוץ' היא אמיתית אם ורק אם הטענה 'יורד גשם בחוץ' אמיתית בכל העולמות האפשריים, ואילו הטענה 'ייתכן שיורד גשם בחוץ' היא אמיתית אם ורק אם הטענה 'יורד גשם בחוץ' אמיתית לפחות בעולם אפשרי אחד.