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

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

 

 

{{Link GA|de}}