Modallogik

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg
Broom icon.svg Der er ingen kildehenvisninger i denne artikel, hvilket muligvis er et problem.
Du kan hjælpe ved at angive kilder til de påstande, der fremføres i artiklen.
Question book-4.svg

En modallogik er enhver logik, der håndterer modaliteter: begreber så som mulighed, umulighed og nødvendighed. Logikker til håndtering af en række andre ideer, så som "senere", "tidligere", "kan", "kunne", "må" kaldes herefter også modallogik, da det viser sig, at de kan behandles på lignende måder.

En formel modallogik repræsenterer modaliteter ved at bruge modale operatorer. For eksempel indeholder sætningerne "Mordet på Jones var en mulighed"; "Jones blev muligvis myrdet"; og "Det er muligt, at Jones blev myrdet" alle begrebet om mulighed. I modallogik er dette repræsenteret som en en operator muligvis,

De grundlæggende, modale operatorer er sædvanligvis for Nødvendigvis og for Muligvis. De er gensidigt definerbare således:

Således er det muligt, at Jones blev myrdet hvis og kun hvis det ikke er nødvendigt, at Jones ikke blev myrdet.

Modallogik spiller blandt andet en rolle inden for dele af filosofien, matematikken og datalogien.

filosofi Stub
Denne filosofiartikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.
Matematik Stub
Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.