Versie van 8 mrt 2013 08:30 bewerken Legobot (overleg \| bijdragen) 68.680 bewerkingen k Verplaatsing van 29 interwikilinks die op Wikidata beschikbaar zijn op d:q210841 ← Oudere bewerking		Versie van 6 mei 2013 11:51 bewerken ongedaan maken Andre Engels (overleg \| bijdragen) moderatoren 85.027 bewerkingen →‎Deontische logica: Dit wordt in de voorgaande alinea al uitgebreider behandeld Nieuwere bewerking →
Regel 48: De deontische variant van het modale axioma: <math> O p \rightarrow p </math> 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: <math> O p \rightarrow P p</math> (handelingen die verplicht zijn, zijn toegestaan). ~~De regel <math> O p \rightarrow p</math> is controversieel en wordt niet algemeen als axioma geaccepteerd. Het is niet zonder meer waar dat omdat p verplicht is, p ook daadwerkelijk gedaan wordt.~~ == Literatuur ==

Modale logica: verschil tussen versies