Deontická logika
Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od
verze recenzované 16. září 2015; kontroly vyžadují
34 úprav .
Deontická logika (z jiného řeckého δέον - povinnost a logika ; logika norem , normativní logika ) - část modální logiky .
Operuje s pojmy: povinnost , povolení , norma .
"Musíte to udělat" ("Vaše povinnost to udělat") nebo "Můžete to udělat"
Tyto pojmy se pokusili zavést již poměrně dávno ( Aristoteles , Leibniz , Mally , Jörgensen, Jörgen [1] , Alf Ross ), ale významný výsledek měl pouze Georg von Wright v Deontic Logic, Mind, New Series, Vol. 60, č. 237. (leden, 1951), str. 1-15. [2]
Dokument z roku 2007 o implementaci deontické logiky s přístupem , který je třeba udělat . Formální jazyk pro elektronické smlouvy [3] s použitím µ-kalkulu a implementace A. Biereho mu-cke [4]
Všechny užitečné normy musí někdo porušit. Podle podílu
Gerarda Schneidera :
povinnosti v rozporu s povinnostmi
porušení povinnosti
v rozporu se zákazy
porušení zákazů
V reálném světě obojí vede k nějakému důsledku.
Aplikace
- známý jako dobrý jazyk pro vyjádření informačních systémů obecně [1]
- porovnat požadovaný stav se skutečným
Příklady normových výrazů
když si osoba C půjčí knihu K, musí ji do 2 týdnů vrátit
[(půjčit(H, R))]O(návrat(R, R)) ≤ 2 týdny
Standardní deontická logika
Nejvíce studovaný model je založen na výrokové logice .
Přístupy
ought-to-do - výrazy respektují názvy akcí
uživatel musí zadat heslo
někdo musí zavřít okno
měl by být - výrazy berou v úvahu požadovaný výsledek
heslo musí mít více než 20 znaků
okno musí být zavřené
tep by neměl být vyšší než 200 tepů za minutu
Nevýhody
- značné množství paradoxů a záhad [5]
- možné protichůdné výsledky
Kritika a potíže s aplikací
Neúplný seznam.
Jørgensenovo dilema Jørgen — normy nejsou pravdivé nebo nepravdivé
jak potom můžeme posoudit rozpor a určit logické důsledky?
normy, které na něčem závisí
pravidla o pravidlech
jak vyjádřit jednání, když není splněna povinnost nebo je porušen zákaz ?
mnoho pravidel z
modální logiky nelze použít v deontické logice
[ upřesnit ]
Zdroje
- ↑ 1 2 Archivovaná kopie . Získáno 6. října 2017. Archivováno z originálu 6. října 2017. (neurčitý)
- ↑ 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 - efektivní kontrola modelu mu-kalkulu. V O. Grumberg, editor, International Conference on Computer-Aided Verification (CAV'97), číslo 1254 v Lecture Notes in Computer Science, strany 468-471. Copyright © 1997 Springer-Verlag
- ↑ Deontická logika (Stanfordská encyklopedie filozofie) . Získáno 6. října 2017. Archivováno z originálu dne 29. dubna 2018. (neurčitý)
Literatura
- Ivin A. A. Logic (učebnice). - Moskva: Znalosti, 1998. - S. Kapitola 3. Neklasická logika § 4. Logika odhadů a logika norem. — ISBN 5-07-002820-0 .
- Ivin A. A. Logic (učebnice). - Moskva: Oniks Publishing House, Mir and Education Publishing House, 2008. - S. Kapitola 5. MODÁLNÍ LOGIKA § 4. Logika norem, s. 103. - ISBN 978-5-488-01800-6 , 978- 5- 94666-487-5.
- Lisanyuk E. N. Deontická logika / Mikirtumov I. B., Migunov A. I., Fedorov B. I. (ed.). — Logika (učebnice). - Moskva: Prospekt, 2011. - S. 377-424 (část II. kapitola 3).
- Lisanyuk EN Rozvoj představ o normách v deontické logice. — Bulletin Novosibirské státní univerzity. Seriál Filosofie. Svazek 8 (2010). Číslo 1. S. 147-152., 2010.
Logika
- Lisanyuk E. N. Ernst Mally a jeho "Deontika" // Bulletin Uralské federální univerzity. Ser. 3, Společenské vědy. - 2012. - č. 4 (109) . - S. 31-44 .
Počítačová věda
- Mikov AI Informační procesy a normativní systémy v IT: Matematické modely. Problémy s designem. Nové přístupy. — URSS. 2013. - 256 s. Měkký obal. - ISBN 978-5-397-03452-4. (Kapitola 7 Regulační systémy)
Odkazy
- Paul McNamara. Deontická logika // The Stanford Encyclopedia of Philosophy / Edward N. Zalta. — Metaphysics Research Lab, Stanford University, 2019.