Logica deontică
Versiunea actuală a paginii nu a fost încă revizuită de colaboratori experimentați și poate diferi semnificativ de
versiunea revizuită pe 16 septembrie 2015; verificările necesită
34 de modificări .
Logica deontică (din altă greacă δέον - datorie și logică ; logica normelor , logica normativă ) - o secțiune a logicii modale .
Funcționează cu concepte: obligație , permisiune , normă .
„Trebuie să o faci” („Datoria ta să o faci”) sau „Poți să o faci”
Ei au încercat să introducă aceste concepte cu destul de mult timp în urmă ( Aristotel , Leibniz , Mally , Jörgensen, Jörgen [1] , Alf Ross ), dar numai Georg von Wright a avut un rezultat semnificativ în Deontic Logic, Mind, New Series, Vol. 60, nr. 237. (ian. 1951), pp. 1-15. [2]
Lucrare din 2007 despre implementarea logicii deontice cu o abordare care trebuie făcută . Un limbaj formal pentru contractele electronice [3] folosind µ-calcul și implementarea mu-cke a lui A. Biere [4]
Toate normele utile trebuie să fie încălcate de cineva. Potrivit lui Gerardo Schneider :
obligații contrare datoriei
încălcarea datoriei
contrar-interdicţiilor
încălcarea interdicțiilor
În lumea reală, ambele duc la un fel de consecință.
Aplicație
- remarcat ca un limbaj bun pentru exprimarea sistemelor informaționale în general [1]
- pentru a compara starea dorită cu cea reală
Exemple de expresii normative
când persoana C împrumută cartea K, trebuie să o returneze în termen de 2 săptămâni
[(împrumutat(H, R))]O(retur(R, R)) ≤ 2 săptămâni
Logica deontică standard
Cel mai studiat model se bazează pe logica propozițională .
Abordări
ar trebui să facă - expresiile respectă numele de acțiuni
utilizatorul trebuie să introducă o parolă
cineva trebuie să închidă fereastra
ar trebui să fie - expresiile țin cont de rezultatul dorit
parola trebuie să aibă mai mult de 20 de caractere
fereastra trebuie să fie închisă
pulsul nu trebuie să depășească 200 de bătăi pe minut
Dezavantaje
- un număr semnificativ de paradoxuri și mistere [5]
- posibile rezultate contradictorii
Critici și dificultăți de aplicare
Lista incompletă.
Dilema lui Jørgensen Jørgen — normele nu sunt adevărate sau false
atunci cum putem judeca contradicția și determina consecințele logice?
norme care depind de ceva
reguli despre reguli
cum se exprimă acțiuni atunci când obligația nu este îndeplinită sau interdicția este încălcată?
multe reguli din
logica modală nu sunt aplicabile în logica deontică
[ clarifica ]
Surse
- ↑ 1 2 Copie arhivată . Consultat la 6 octombrie 2017. Arhivat din original pe 6 octombrie 2017. (nedefinit)
- ↑ 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 - verificare eficientă a modelului mu-calcul. În O. Grumberg, editor, International Conference on Computer-Aided Verification (CAV'97), numărul 1254 în Lecture Notes in Computer Science, paginile 468-471. Copyright © 1997 Springer-Verlag
- ↑ Logica deontică (Stanford Encyclopedia of Philosophy) . Consultat la 6 octombrie 2017. Arhivat din original la 29 aprilie 2018. (nedefinit)
Literatură
- Ivin A. A. Logica (manual). - Moscova: Knowledge, 1998. - S. Capitolul 3. Logica neclasică § 4. Logica estimărilor și logica normelor. — ISBN 5-07-002820-0 .
- Ivin A. A. Logica (manual). - Moscova: Editura Oniks, Editura Mir și Educație, 2008. - P. Capitolul 5. LOGICA MODALĂ § 4. Logica normelor, p. 103. - ISBN 978-5-488-01800-6 , 978- 5- 94666-487-5.
- Lisanyuk E. N. Logica deontică / Mikirtumov I. B., Migunov A. I., Fedorov B. I. (ed.). — Logica (manual). - Moscova: Prospekt, 2011. - S. 377-424 (Partea II. Capitolul 3).
- Lisanyuk RO Dezvoltarea ideilor despre norme în logica deontică. — Buletinul Universității de Stat din Novosibirsk. Seria Filosofie. Volumul 8 (2010). Numărul 1. S. 147-152., 2010.
Logica
- Lisanyuk E. N. Ernst Mally și „Deontika” lui // Buletinul Universității Federale Ural. Ser. 3, Științe sociale. - 2012. - Nr 4 (109) . - S. 31-44 .
Informatica
- Mikov AI Procese informaționale și sisteme normative în IT: Modele matematice. Probleme de proiectare. Abordări noi. — URSS. 2013. - 256 p. Husă moale. - ISBN 978-5-397-03452-4. (Capitolul 7 Sisteme de reglementare)
Link -uri
- Paul McNamara. Logica deontică // The Stanford Encyclopedia of Philosophy / Edward N. Zalta. — Laboratorul de cercetare în metafizică, Universitatea Stanford, 2019.