logo móvil
Contáctanos

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

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro