Deontisk logik
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den
version , der blev gennemgået den 16. september 2015; checks kræver
34 redigeringer .
Deontisk logik (fra andet græsk δέον - pligt og logik ; normernes logik , normativ logik ) - et afsnit af modal logik .
Fungerer med begreber: forpligtelse , tilladelse , norm .
"Du skal gøre det" ("Din pligt til at gøre det") eller "Du kan gøre det"
De forsøgte at introducere disse begreber for ganske lang tid siden ( Aristoteles , Leibniz , Mally , Jörgensen, Jörgen [1] , Alf Ross ), men kun Georg von Wright havde et væsentligt resultat i Deontic Logic, Mind, New Series, Vol. 60, nr. 237. (Jan., 1951), s. 1-15. [2]
Paper fra 2007 om implementering af deontisk logik med en burde-to-do- tilgang . A Formal Language for Electronic Contracts [3] ved hjælp af µ-calculus og A. Bieres mu-cke implementering [4]
Alle brugbare normer skal brydes af nogen. Ifølge Gerardo Schneiders andel:
pligtstridige forpligtelser
pligtbrud
i strid med forbud
overtrædelse af forbud
I den virkelige verden fører begge dele til en slags konsekvens.
Ansøgning
- kendt som et godt sprog til at udtrykke informationssystemer generelt [1]
- at sammenligne den ønskede tilstand med den faktiske
Eksempler på normudtryk
når person C låner bog K, skal han returnere den inden for 2 uger
[(lån(H, R))]O(afkast(R, R)) ≤ 2 uger
Standard deontisk logik
Den mest undersøgte model er baseret på propositionel logik .
Tilnærmelser
burde-to-do - udtryk respekterer handlingsnavne
brugeren skal indtaste en adgangskode
nogen skal lukke vinduet
burde-være - udtryk tager højde for det ønskede resultat
adgangskoden skal være på mere end 20 tegn
vinduet skal lukkes
puls bør ikke være mere end 200 slag i minuttet
Ulemper
- et betydeligt antal paradokser og mysterier [5]
- mulige modstridende resultater
Kritik og vanskeligheder ved anvendelse
Ufuldstændig liste.
Jørgensens dilemma Jørgen — normer er ikke sande eller falske
hvordan kan vi så bedømme modsigelsen og bestemme de logiske konsekvenser?
normer, der afhænger af noget
regler om regler
hvordan udtrykker man handlinger, når forpligtelsen ikke overholdes, eller forbuddet overtrædes?
mange regler fra
modal logik er ikke anvendelige i deontisk logik
[ afklare ]
Kilder
- ↑ 1 2 Arkiveret kopi . Hentet 6. oktober 2017. Arkiveret fra originalen 6. oktober 2017. (ubestemt)
- ↑ 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 mu-calculus modelkontrol. I O. Grumberg, redaktør, International Conference on Computer-Aided Verification (CAV'97), nummer 1254 i Lecture Notes in Computer Science, side 468-471. Copyright © 1997 Springer-Verlag
- ↑ Deontisk logik (Stanford Encyclopedia of Philosophy) . Hentet 6. oktober 2017. Arkiveret fra originalen 29. april 2018. (ubestemt)
Litteratur
- Ivin A. A. Logik (lærebog). - Moscow: Knowledge, 1998. - S. Kapitel 3. Ikke-klassisk logik § 4. Estimaternes logik og normernes logik. — ISBN 5-07-002820-0 .
- Ivin A. A. Logik (lærebog). - Moskva: Oniks Publishing House, Mir and Education Publishing House, 2008. - P. Kapitel 5. MODAL LOGIK § 4. Normers logik, 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ærebog). - Moskva: Prospekt, 2011. - S. 377-424 (Del II. Kapitel 3).
- Lisanyuk EN Udvikling af ideer om normer i deontisk logik. — Bulletin fra Novosibirsk State University. Seriens filosofi. Bind 8 (2010). Udgave 1. S. 147-152., 2010.
Logik
- Lisanyuk E. N. Ernst Mally og hans "Deontika" // Bulletin fra Ural Federal University. Ser. 3, Samfundsvidenskab. - 2012. - Nr. 4 (109) . - S. 31-44 .
Datalogi
- Mikov AI Informationsprocesser og normative systemer i IT: Matematiske modeller. Design problemer. Nye tilgange. — URSS. 2013. - 256 s. Blødt betræk. - ISBN 978-5-397-03452-4. (Kapitel 7 Reguleringssystemer)
Links
- Paul McNamara. Deontisk logik // The Stanford Encyclopedia of Philosophy / Edward N. Zalta. — Metaphysics Research Lab, Stanford University, 2019.