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

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

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. 1 2 Copie arhivată . Consultat la 6 octombrie 2017. Arhivat din original pe 6 octombrie 2017.
  2. http://links.jstor.org/sici?sici=0026-4423(195101)2:60:237%3C1:DL%3E2.0.CO;2-C
  3. doi : 10.1007/978-3-540-72952-5_11
  4. 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
  5. Logica deontică (Stanford Encyclopedia of Philosophy) . Consultat la 6 octombrie 2017. Arhivat din original la 29 aprilie 2018.

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

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.