La sensibilidad lógica de los diagramas aristotélicos en lógicas modales no normales
Autores: Demey, Lorenz
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
La sensibilidad lógica de los diagramas aristotélicos en lógicas modales no normales
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Diagramas aristotélicos
Lógicas modales normales
Sistemas no normales
Sensibilidad lógica
Modelos de Kripke
Semántica de vecindarios
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 24
Citaciones: Sin citaciones
Los diagramas aristotélicos, como el cuadrado de oposición, son bien conocidos en el contexto de lógicas modales normales (es decir, sistemas de lógica modal que pueden recibir una semántica relacional en términos de modelos de Kripke). Este artículo estudia los diagramas aristotélicos para sistemas no normales de lógica modal (basados en semántica de vecindad, una generalización inspirada topológicamente de la semántica relacional). En particular, investigamos el fenómeno de la sensibilidad lógica de los diagramas aristotélicos. Distinguimos entre cuatro tipos diferentes de sensibilidad lógica, a saber, con respecto a (i) familias aristotélicas, (ii) equivalencia lógica de fórmulas, (iii) contingencia de fórmulas y (iv) subfamilias booleanas de una familia aristotélica dada. Proporcionamos ejemplos concretos de diagramas aristotélicos que ilustran estos cuatro tipos de sensibilidad lógica en el ámbito de la lógica modal normal. A continuación, discutimos ejemplos más sutiles de diagramas aristotélicos, que no son sensibles con respecto a lógicas modales normales, pero que resultan ser altamente sensibles a la lógica una vez que nos dirigimos a sistemas no normales de lógica modal.
Descripción
Los diagramas aristotélicos, como el cuadrado de oposición, son bien conocidos en el contexto de lógicas modales normales (es decir, sistemas de lógica modal que pueden recibir una semántica relacional en términos de modelos de Kripke). Este artículo estudia los diagramas aristotélicos para sistemas no normales de lógica modal (basados en semántica de vecindad, una generalización inspirada topológicamente de la semántica relacional). En particular, investigamos el fenómeno de la sensibilidad lógica de los diagramas aristotélicos. Distinguimos entre cuatro tipos diferentes de sensibilidad lógica, a saber, con respecto a (i) familias aristotélicas, (ii) equivalencia lógica de fórmulas, (iii) contingencia de fórmulas y (iv) subfamilias booleanas de una familia aristotélica dada. Proporcionamos ejemplos concretos de diagramas aristotélicos que ilustran estos cuatro tipos de sensibilidad lógica en el ámbito de la lógica modal normal. A continuación, discutimos ejemplos más sutiles de diagramas aristotélicos, que no son sensibles con respecto a lógicas modales normales, pero que resultan ser altamente sensibles a la lógica una vez que nos dirigimos a sistemas no normales de lógica modal.