Modallogikk

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

En modal logikk er en logikk for å behandle modaliteter: konsepter som mulighet, umulighet og nødvendighet. Logikker for å behandle en rekke andre ideer, som etter hvert, tidligere, kan, kunne, skulle, burde og , blir også kalt modale logikker, siden de kan behandles på lignende måter.

Formelle modallogikker representerer modalitetene ved at man setter logiske operatorer på setningene. De grunnleggende modale operatorene er vanligvis \Box (eller L) for modaliteten nødvendig og \Diamond (eller M) for mulig. De er interdefinert slik:

\Diamond p = \neg \Box \neg p

Dermed er det mulig at NN ble myrdet hvis og bare hvis det ikke er nødvendig at NN ikke ble myrdet. Tilsvarende er det nødvendig at NN ble myrdet hvis og bare hvis det ikke er mulig at NN ikke ble myrdet.

Sagt på en annen måte: Noe er mulig hvis og bare hvis det motsatte ikke er nødvendig, og vice versa.

Videre lesning[rediger | rediger kilde]


StubbDenne artikkelen er dessverre kort eller mangelfull. Hvis du vet mer om emnet, kan du hjelpe Wikipedia ved å utvide den eller foreslå endringer.