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
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
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.
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.