logo móvil
Contáctanos

La lógica deóntica como extensiones axiomáticas de la lógica de predicados de primer orden: un enfoque inspirado en la ontología formal de situaciones de Wolniewicz

Autores: Malec, Andrzej

Idioma: Inglés

Editor: MDPI

Año: 2019

Descargar PDF

Acceso abierto

Artículo científico
2019

La lógica deóntica como extensiones axiomáticas de la lógica de predicados de primer orden: un enfoque inspirado en la ontología formal de situaciones de Wolniewicz


Categoría

Matemáticas

Subcategoría

Análisis matemático

Palabras clave

Artículo
Lógicas deónticas
Teorías axiomáticas
Eventos legales
Actos
Reglas legales

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 47

Citaciones: Sin citaciones


Descripción
El objetivo de este artículo es presentar un método para crear lógicas deónticas como teorías axiomáticas construidas sobre la lógica de predicados de primer orden con identidad. En el artículo, estas teorías se construyen como teorías de eventos legales o como teorías de actos. Los eventos legales se entienden como secuencias (cadenas) de situaciones elementales en el sentido de Wolniewicz. Por otro lado, los actos se entienden como eventos legales de dos elementos: el primer elemento de una secuencia es una situación de elección (una situación que será modificada por un acto), y el segundo elemento de esta secuencia es una situación elegida (una situación que surge como resultado de ese acto). En este enfoque, las reglas legales (es decir, órdenes, prohibiciones, permisos) se tratan como conjuntos de eventos legales. El artículo presenta cuatro sistemas deónticos para eventos legales: AEP, AEPF, AEPOF, AEPOFI. En el primer sistema, todos los eventos legales están permitidos; en el segundo, están permitidos o prohibidos; en el tercero, están permitidos, ordenados o prohibidos; y en el cuarto, están permitidos, ordenados, prohibidos o irrelevantes. Luego, presentamos una lógica deóntica para actos (AAPOF), en la que cada acto está permitido, ordenado o prohibido. Los teoremas de esta lógica reflejan las relaciones deónticas entre actos, así como entre actos y sus partes. La inspiración directa para desarrollar el enfoque presentado en el artículo fue el libro de Boguslaw Wolniewicz, e indirectamente, Wittgenstein.

Otros recursos que podrían interesarte

Temas Virtualpro