Deontisk logik
Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från
versionen som granskades den 16 september 2015; kontroller kräver
34 redigeringar .
Deontisk logik (från annan grekisk δέον - plikt och logik ; normlogik , normativ logik ) - en del av modal logik .
Verkar med begrepp: skyldighet , tillstånd , norm .
"Du måste göra det" ("Din plikt att göra det") eller "Du kan göra det"
De försökte introducera dessa begrepp för ganska länge sedan ( Aristotle , Leibniz , Mally , Jörgensen, Jörgen [1] , Alf Ross ), men bara Georg von Wright hade ett betydande resultat i Deontic Logic, Mind, New Series, Vol. 60, nej. 237. (januari, 1951), sid. 1-15. [2]
2007 uppsats om att implementera deontisk logik med ett bör-att-göra- tillvägagångssätt . A Formal Language for Electronic Contracts [3] med hjälp av µ-calculus och A. Bieres mu-cke- implementering [4]
Alla användbara normer måste brytas av någon. Enligt Gerardo Schneiders aktie:
skyldigheter som strider mot skyldigheter
pliktbrott
strider mot förbud
brott mot förbud
I den verkliga världen leder båda till någon sorts konsekvens.
Applikation
- noteras som ett bra språk för att uttrycka informationssystem i allmänhet [1]
- för att jämföra det önskade tillståndet med det faktiska
Exempel på normuttryck
när person C lånar bok K ska han lämna tillbaka den inom 2 veckor
[(låna(H, R))]O(retur(R, R)) ≤ 2 veckor
Standard deontisk logik
Den mest studerade modellen är baserad på propositionell logik .
Tillvägagångssätt
borde-göra - uttryck respekterar åtgärdsnamn
användaren måste ange ett lösenord
någon måste stänga fönstret
ought-to-be - uttryck tar hänsyn till det önskade resultatet
lösenord måste vara mer än 20 tecken
fönstret måste vara stängt
pulsen bör inte vara mer än 200 slag per minut
Nackdelar
- ett betydande antal paradoxer och mysterier [5]
- möjliga motstridiga resultat
Kritik och tillämpningssvårigheter
Ofullständig lista.
Jørgensens dilemma Jørgen — normer är inte sanna eller falska
hur kan vi då bedöma motsägelsen och fastställa de logiska konsekvenserna?
normer som beror på något
regler om regler
hur ska man uttrycka handlingar när skyldigheten inte fullgörs eller förbudet överträds?
många regler från
modal logik är inte tillämpliga i deontisk logik
[ förtydliga ]
Källor
- ↑ 1 2 Arkiverad kopia . Hämtad 6 oktober 2017. Arkiverad från originalet 6 oktober 2017. (obestämd)
- ↑ http://links.jstor.org/sici?sici=0026-4423(195101)2:60:237%3C1:DL%3E2.0.CO;2-C
- ↑ doi : 10.1007/978-3-540-72952-5_11
- ↑ A. Biere. mu-cke - effektiv kontroll av mu-kalkylmodeller. I O. Grumberg, redaktör, International Conference on Computer-Aided Verification (CAV'97), nummer 1254 i Lecture Notes in Computer Science, sidorna 468-471. Copyright © 1997 Springer-Verlag
- ↑ Deontisk logik (Stanford Encyclopedia of Philosophy) . Hämtad 6 oktober 2017. Arkiverad från originalet 29 april 2018. (obestämd)
Litteratur
- Ivin A. A. Logik (lärobok). - Moscow: Knowledge, 1998. - S. Kapitel 3. Icke-klassisk logik § 4. Uppskattningarnas logik och normernas logik. — ISBN 5-07-002820-0 .
- Ivin A. A. Logik (lärobok). - Moskva: Oniks Publishing House, Mir and Education Publishing House, 2008. - P. Kapitel 5. MODAL LOGIC § 4. Logic of norms, s. 103. - ISBN 978-5-488-01800-6 , 978- 5- 94666-487-5.
- Lisanyuk E. N. Deontisk logik / Mikirtumov I. B., Migunov A. I., Fedorov B. I. (red.). — Logik (lärobok). - Moskva: Prospekt, 2011. - S. 377-424 (Del II. Kapitel 3).
- Lisanyuk SV Utveckling av idéer om normer inom deontisk logik. — Bulletin från Novosibirsk State University. Seriens filosofi. Volym 8 (2010). Utgåva 1. S. 147-152., 2010.
Logik
Datavetenskap
- Mikov AI Informationsprocesser och normativa system inom IT: Matematiska modeller. Designproblem. Nya tillvägagångssätt. — URSS. 2013. - 256 sid. Mjukt täcke. - ISBN 978-5-397-03452-4. (Kapitel 7 Regelsystem)
Länkar
- Paul McNamara. Deontisk logik // The Stanford Encyclopedia of Philosophy / Edward N. Zalta. — Metaphysics Research Lab, Stanford University, 2019.