Modal logikk er en del av logikken som tar for seg den logiske struktur ved begreper som «nødvendig» og «mulig». Dette har alltid vært et sentralt emne innen filosofisk logikk, med en historie som går tilbake til de kristne skolastikere i middelalderen og videre til Aristoteles og andre oldtidsfilosofer.

Den matematiske behandling av modal logikk er av nyere dato. Først ca. 1960 fikk emnet en tilfredsstillende behandling av Stig Kanger, Saul Kripke og Jaakko Hintikka. Modal logikk er blant annet et viktig hjelpemiddel i studiet av de naturlige språks semantikk. Applisert modal logikk er et område som har vokst frem siden slutten av 1970-årene. I tillegg til deontisk logikk har også handlingslogikk blitt et stort felt. Modallogiske metoder benyttes også innenfor kognisjonsvitenskap og da spesielt innen forskningen om kunstig intelligens.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om eller kommentarer til artikkelen?

Kommentaren din vil bli publisert under artikkelen, og fagansvarlig eller redaktør vil svare når de har mulighet.

Du må være logget inn for å kommentere.