Deontikus logika
Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2015. szeptember 16-án áttekintett
verziótól ; az ellenőrzések 34 szerkesztést igényelnek .
Deontikus logika ( más görög szóból δέον - kötelesség és logika ; normák logika , normatív logika ) - a modális logika egy része .
Fogalmakkal operál: kötelezettség , engedély , norma .
"Meg kell tenned" ("A kötelességed megtenni") vagy "Meg tudod csinálni"
Ezeket a fogalmakat elég régen próbálták bevezetni ( Arisztotelész , Leibniz , Mally , Jörgensen , Jörgen [1] , Alf Ross ), de csak Georg von Wright ért el jelentős eredményt a Deontic Logic, Mind, New Series, Vol. 60, sz. 237. (1951. jan.), pp. 1-15. [2]
2007-es tanulmány a deontikus logika megvalósításáról a kötelező megközelítéssel . Formális nyelv az elektronikus szerződésekhez [3] a µ-kalkulus és A. Biere mu-cke implementációjával [4]
Valakinek minden hasznos normát meg kell szegnie. Gerardo Schneider megosztása
szerint :
kötelességgel ellentétes kötelezettségeket
kötelességszegés
tiltásokkal ellentétes
tilalmak megszegése
A való világban mindkettő valamilyen következménnyel jár.
Alkalmazás
- jó nyelvként tartják számon az információs rendszerek általános kifejezésére [1]
- összehasonlítani a kívánt állapotot a ténylegesvel
Példák normakifejezésekre
amikor C személy kölcsönkéri a K könyvet, 2 héten belül vissza kell küldenie
[(kölcsön(H, R))]O(visszaküldés(R, R)) ≤ 2 hét
Szabványos deontikus logika
A legtöbbet vizsgált modell propozicionális logikán alapul .
Megközelítések
tennivaló – a kifejezések tiszteletben tartják a cselekvésneveket
a felhasználónak meg kell adnia egy jelszót
valakinek be kell zárnia az ablakot
kellene - a kifejezések figyelembe veszik a kívánt eredményt
a jelszónak 20 karakternél hosszabbnak kell lennie
ablakot be kell zárni
az impulzus nem haladhatja meg a 200 ütést percenként
Hátrányok
- számos paradoxon és rejtély [5]
- lehetséges ellentmondó eredmények
Kritika és alkalmazási nehézségek
Hiányos lista.
Jørgensen dilemmája Jørgen – a normák nem igazak vagy hamisak
hogyan ítélhetjük meg az ellentmondást és határozhatjuk meg a logikai következményeket?
valamitől függő normák
szabályok a szabályokról
hogyan fejezzük ki tetteiket, ha a kötelezettséget nem teljesítik, vagy a tilalmat megszegik?
A modális logikából származó számos szabály nem alkalmazható a deontikus logikában
[ pontosítás ]
Források
- ↑ 1 2 Archivált másolat . Letöltve: 2017. október 6. Az eredetiből archiválva : 2017. október 6.. (határozatlan)
- ↑ 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 - hatékony mu-calculus modellellenőrzés. In O. Grumberg, szerkesztő, International Conference on Computer-Aided Verification (CAV'97), 1254. szám, Lecture Notes in Computer Science, 468-471. oldal. Copyright © 1997 Springer-Verlag
- ↑ Deontikus logika (Stanford Encyclopedia of Philosophy) . Letöltve: 2017. október 6. Az eredetiből archiválva : 2018. április 29. (határozatlan)
Irodalom
- Ivin A. A. Logika (tankönyv). - Moszkva: Tudás, 1998. - S. 3. fejezet. Nem klasszikus logika 4. § A becslések logikája és a normák logikája. — ISBN 5-07-002820-0 .
- Ivin A. A. Logika (tankönyv). - Moszkva: Oniks Kiadó, Mir és Education Publishing House, 2008. - P. 5. fejezet. MODAL LOGIKA 4. § Normák logikája, 103. o. - ISBN 978-5-488-01800-6 , 978-5- 94666-487-5.
- Lisanyuk E. N. Deontikus logika / Mikirtumov I. B., Migunov A. I., Fedorov B. I. (szerk.). — Logika (tankönyv). - Moszkva: Prospekt, 2011. - S. 377-424 (II. rész, 3. fejezet).
- Lisanyuk HU Normák kidolgozása a deontikus logikában. — A Novoszibirszki Állami Egyetem értesítője. Sorozat filozófiája. 8. kötet (2010). 1. szám. S. 147-152., 2010.
Logika
- Lisanyuk E. N. Ernst Mally és "Deontikája" // Az Uráli Szövetségi Egyetem közleménye. Ser. 3, Társadalomtudományok. - 2012. - 4. szám (109) . - S. 31-44 .
Számítástechnika
- Mikov AI Információs folyamatok és normatív rendszerek az informatikában: Matematikai modellek. Tervezési problémák. Új megközelítések. — URSS. 2013. - 256 p. Puha borítás. - ISBN 978-5-397-03452-4. (7. fejezet Szabályozási rendszerek)
Linkek
- Paul McNamara. Deontikus logika // The Stanford Encyclopedia of Philosophy / Edward N. Zalta. – Metafizikai Kutatólaboratórium, Stanford Egyetem, 2019.