-A +A

Modale logica

Printervriendelijke versiePrintervriendelijke versieVerstuur naar een vriendVerstuur naar een vriend

Modale logica's zijn een uitbreiding van andere logica's, zoals de propositielogica of de predicatenlogica, waarbij extra operatoren gebruikt, die meer modaliteiten uitdrukken, dan waar, onwaar, onzeker...om tijd, geloof, onzekerheid, enzovoorts te kunnen weergeven. Een werk dat aan de basis ligt van de modale logica's, is A Survey of Symbolic Logic van de Amerikaanse filosoof Clarence Irving Lewis (1918).
Voor de semantiek van modale logica's worden vaak Kripkemodellen gebruikt.

 

Modale propositielogica is een veel gebruikte modale logica. Het is een propositielogica die bijvoorbeeld is uitgebreid met eenplaatsige operatoren voor respectievelijk het is mogelijk dat en het is noodzakelijk dat. Het is mogelijk dat p (waarbij p een propositie is) kan bijvoorbeeld worden weergegeven met Mp of M(p), maar het is gebruikelijk om hier een symbool voor te gebruiken, het ruitje (Engels: diamond):. Analoog hieraan zou het is noodzakelijk dat kunnen worden weergegeven als bijvoorbeeld Np of N(p), maar dit wordt gewoonlijk gedaan met het vierkantje (Engels: box): 

Syntaxis
Laat een verzameling propositievariabelen gegeven zijn. Welgevormde formules (wff's) worden dan gevormd door de volgende regels:
  • een propositievariabele  is een wff;
  • indien  een wff is, dan is  ook een wff;
  • indien  en  wff's zijn, dan zijn  en  ook wff's;
  • indien  een wff is, dan zijn  en  ook wff's;
  • geen andere formules zijn wff's.
De eerste drie regels zijn bekend uit de (gewone) propositielogica; de vierde regel is nieuw voor modale propositielogica.
De twee modale operatoren kunnen met de volgende twee equivalenties in termen van elkaar worden gedefinieerd:
In woorden uitgedrukt respectievelijk zeggen deze equivalenties:
  •  is mogelijk waar, dan en slechts dan als het niet zo is dat het noodzakelijk is dat  niet waar is.
  •  is noodzakelijk waar, dan en slechts dan als het niet zo is dat het mogelijk is dat  niet waar is.
Voor de duidelijkheid zullen we beide operatoren gebruiken.
Hieruit volgt ook dat:
De modale diepte van een modale formule is het hoogste aantal vierkantjes dat in de formule te vinden is op geneste wijze. Zo is de modale diepte van de formule  gelijk aan twee en in  is dat eveneens twee. Aangezien  gelijk is aan , is de modale diepte van gelijk aan twee want men kan de formule herschrijven naar .
Semantiek
Voor de semantiek van de modale propositielogica worden vaak Kripkemodellen gebruikt. Deze modellen kunnen bijvoorbeeld met tabellen worden weergegeven, maar vaak worden zij grafisch gerepresenteerd met behulp van knopen die voor mogelijke werelden of toestanden staan, en transities tussen deze knopen (de toegankelijkheidsrelatie). Als er een transitie is (weergegeven met een pijl) van knoop A naar knoop B, zeggen we dat wereld B vanuit wereld A bereikbaar of toegankelijk is. De semantiek van de gewone propositielogische operaties blijft hetzelfde; de semantiek van de modale operatoren wordt als volgt gedefinieerd:
  •  is waar in wereld w0 desda er minstens een wereld vanuit w0 toegankelijk is, waarin p waar is.
  •  is waar in wereld w0 desda in alle vanuit w0 toegankelijke werelden p waar is.
     

Modale predicatenlogica

Net zoals men modale propositielogica verkrijgt door aan propositielogica de unaire modale operatoren  en  toe te voegen, kan men ook van een predicatenlogica modale predicatenlogica maken. Een voorbeeld van een formule uit deze logica is:
dat bijvoorbeeld zou kunnen uitdrukken dat het noodzakelijk is, dat alle kanaries vogels zijn.
 

Tijdslogica


De tijdslogica van Arthur Prior kan beschouwd worden als modale logica, waarbij de modale operatoren een interpretatie krijgen die met tijd te maken heeft. Waar normaal gesproken in de toekomst zal p het geval zijn uitgedrukt wordt met Fp, had dit net zo goed met bijvoorbeeld  weergegeven kunnen worden, waarbij dus een heel andere interpretatie krijgt dan de hierboven geschetste, in plaats van noodzakelijkheid zou het toekomende tijd uitdrukken. Het is echter gebruikelijk om hier letters voor te gebruiken, die dus feitelijk staan voor modale operatoren.
Deontische logica gebruikt het symbool , dat staat voor 'het is verplicht (obligatory) dat'. Vanuit dit symbool worden de volgende bepaald:  (het is toegestaan/permissible) en  (het is verboden/forbidden):  (p is toegestaan betekent dat het niet verplicht is om p niet te doen) en  (p is verboden betekent dat het is verplicht om p niet te doen).

 

De deontische variant van het modale axioma:  is niet van toepassing voor deontische logica. Mensen zullen namelijk niet altijd doen wat verplicht is. Om dit te ondervangen is er een zwakker axioma in de deontische logica:  (handelingen die verplicht zijn, zijn toegestaan).
bron wikipedia

 

Nuttige tips: 

Een premisse is een aanname dat iets waar is. Premissen zijn de basisaannamen van een syllogisme, zoals een redenering in de logica wordt genoemd. Een syllogisme is doorgaans opgebouwd uit een majorpremisse, een minorpremisse en een conclusie

Gerelateerd
0
Uw beoordeling Geen
Aangemaakt op: zo, 21/08/2016 - 17:09
Laatst aangepast op: zo, 21/08/2016 - 17:12

Hebt u nog een vraag?

Hebt u nog een vraag in dit verband, klik dan hier om uw vraag aan ons te stellen, of meteen een afspraak te maken voor een consultatie.

Aanvulling

Heeft u een suggestie, aanvulling of voorstel tot correctie met betrekking tot deze pagina? Gebruik dit adres om het te melden.