Lógica deóntica
La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la
versión revisada el 16 de septiembre de 2015; las comprobaciones requieren
34 ediciones .
Lógica deóntica (del otro griego δέον - deber y lógica ; lógica de normas , lógica normativa ) - una sección de lógica modal .
Opera con conceptos: obligación , permiso , norma .
"Debes hacerlo" ("Tu deber de hacerlo") o "Puedes hacerlo"
Intentaron introducir estos conceptos hace bastante tiempo ( Aristóteles , Leibniz , Mally , Jörgensen, Jörgen [1] , Alf Ross ), pero solo Georg von Wright tuvo un resultado significativo en Deontic Logic, Mind, New Series, vol. 60, núm. 237. (enero de 1951), págs. 1-15. [2]
Documento de 2007 sobre la implementación de la lógica deóntica con un enfoque de deber-hacer . Un lenguaje formal para contratos electrónicos [3] utilizando µ-calculus y la implementación mu-cke de A. Biere [4]
Todas las normas útiles deben ser rotas por alguien. Según comparte Gerardo Schneider :
obligaciones contrarias al deber
incumplimiento del deber
contrario a las prohibiciones
violación de prohibiciones
En el mundo real, ambos conducen a algún tipo de consecuencia.
Aplicación
- señalado como un buen lenguaje para expresar los sistemas de información en general [1]
- comparar el estado deseado con el real
Ejemplos de expresiones normativas
cuando la persona C toma prestado el libro K, debe devolverlo dentro de 2 semanas
[(pedir prestado(H, R))]O(devolver(R, R)) ≤ 2 semanas
Lógica deóntica estándar
El modelo más estudiado se basa en la lógica proposicional .
Aproximaciones
ought-to-do - las expresiones respetan los nombres de las acciones
el usuario debe ingresar una contraseña
alguien tiene que cerrar la ventana
ought-to-be - las expresiones tienen en cuenta el resultado deseado
la contraseña debe tener más de 20 caracteres
la ventana debe estar cerrada
el pulso no debe ser más de 200 latidos por minuto
Desventajas
- un número significativo de paradojas y misterios [5]
- posibles resultados contradictorios
Críticas y dificultades de aplicación
Lista incompleta.
El dilema de Jørgensen Jørgen — las normas no son verdaderas o falsas
¿cómo podemos entonces juzgar la contradicción y determinar las consecuencias lógicas?
normas que dependen de algo
reglas sobre reglas
¿Cómo expresar acciones cuando no se cumple la obligación o se viola la prohibición ?
muchas reglas de
la lógica modal no son aplicables en la lógica deóntica
[ aclarar ]
Fuentes
- ↑ 1 2 Copia archivada . Consultado el 6 de octubre de 2017. Archivado desde el original el 6 de octubre de 2017. (indefinido)
- ↑ 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 - verificación eficiente del modelo mu-cálculo. En O. Grumberg, editor, International Conference on Computer-Aided Verification (CAV'97), número 1254 en Lecture Notes in Computer Science, páginas 468-471. Copyright © 1997 Springer-Verlag
- ↑ Lógica deóntica (Enciclopedia de Filosofía de Stanford) . Consultado el 6 de octubre de 2017. Archivado desde el original el 29 de abril de 2018. (indefinido)
Literatura
- Ivin A. A. Lógica (libro de texto). - Moscú: Knowledge, 1998. - S. Capítulo 3. Lógica no clásica § 4. La lógica de las estimaciones y la lógica de las normas. — ISBN 5-07-002820-0 .
- Ivin A. A. Lógica (libro de texto). - Moscú: Editorial Oniks, Editorial Mir y Educación, 2008. - P. Capítulo 5. LÓGICA MODAL § 4. Lógica de las normas, Pág. 103. - ISBN 978-5-488-01800-6 , 978- 5- 94666-487-5.
- Lisanyuk E. N. Lógica deóntica / Mikirtumov I. B., Migunov A. I., Fedorov B. I. (ed.). — Lógica (libro de texto). - Moscú: Prospekt, 2011. - S. 377-424 (Parte II. Capítulo 3).
- Lisanyuk ES Desarrollo de ideas sobre normas en lógica deóntica. — Boletín de la Universidad Estatal de Novosibirsk. Serie Filosofía. Volumen 8 (2010). Edición 1. S. 147-152., 2010.
Lógica
- Lisanyuk E. N. Ernst Mally y su "Deontika" // Boletín de la Universidad Federal de los Urales. Ser. 3, Ciencias Sociales. - 2012. - Nº 4 (109) . - S. 31-44 .
Informática
- Mikov AI Procesos de información y sistemas normativos en TI: Modelos matemáticos. Problemas de diseño. Nuevos enfoques. — URSS. 2013. - 256 págs. Tapa blanda. - ISBN 978-5-397-03452-4. (Capítulo 7 Sistemas regulatorios)
Enlaces
- Pablo McNamara. Lógica deóntica // La Enciclopedia de Filosofía de Stanford / Edward N. Zalta. — Laboratorio de Investigación de Metafísica, Universidad de Stanford, 2019.