Loading AI tools
Från Wikipedia, den fria encyklopedin
Deontisk logik (Pliktens logik) gren av symbolisk logik som behandlar den logiska funktionen hos begrepp som tillåtande, obligatorisk, valfri och borde. Denna klass av begrepp styr vårt dagliga liv i våra normer, lagar, affärs- och sociala organisationer, säkerhetssystem m.m.
Logik, Formellt system |
---|
Logiska system |
|
Österrikaren Ernst Mally (1879–1944) från den fenomenologiska skolan i Graz, var den förste som systematiserade den deontiska logiken, han använde för ändamålet följande logiska konstanter: U, ∩, !, f och ∞.
De definieras:
f, ∞, och ∩ kan även definieras:
Ernst Mallys fem informella principer (etiska axiom):
formaliserade som axiom:
(förkortas SDL eller D) Med hjälp av den klassiska satslogikens logiska konstanter och O(= Ought to be = fordrar) kan en axiomatisering se ut så här:
*O(A→B) → (OA→OB) | (om det fordras att om A så B, så, om det fordras att A, så fordras B) |
*OA → ¬O¬A | (om det fordras att A, så är det tillåtet att (det vill säga ej obligatoriskt att) icke A) |
FA som betyder det är förbjudet att A kan även definieras: O¬A eller ¬PA.
Den alethiska modaloperaton FYRKANT betyder "det kantianska böra som man kan". OA → MA [M betyder möjlig att.]
M om och endast om ¬FYRKANT¬
O(A/B) läses: det fordras att A under villkoret att B.
Till exempel: det tycks sant att de svältande och fattiga bör få mat.
Enligt värdenihilismen kan inte normer vara sanna eller falska. Frågan är hur denna uppfattning ska kunna förenas med möjligheten för en deontisk logik, med tanke på att denna tycks förutsätta att vi kan tillskriva normer sanningsvärden.
Tre möjliga svar är:
A skall (göra) B | A bör (göra) B | A vill (göra) B | A kan (göra) B | A får (göra) B | |
till 100% | måste | påbjudet | vill | kan helt säkert | helt tillåtet |
ej till 100% | måste inte | ej påbjudet | vill inte helt | kan ej helt säkert | ej helt tillåtet |
ej till 0% | ej helt frivilligt | ej helt undvik | vill lite/kanske | kan lite/kanske | ej helt förbjudet |
till 0% | helt frivilligt | undvik | vill inte alls | kan ej | helt förbjudet |
Hur begreppen slutligen ska tolkas bestäms av den kontext de ingår i, t.ex. 'kan kanske' respektive 'kan lite'. Ofta ger kontexten möjlighet att tolka begrepp på flera sätt och också möjligheten att uttrycka dem i varandra. Jämför t.ex. följande tabell med ovanstående:
A får låta bli (att göra) B | |
till 100% | helt frivilligt |
ej till 100% | ej helt frivilligt |
ej till 0% | ej påbjudet |
till 0% | påbjudet |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.