Un estudio a la lógica modal con complejos simpliciales
"La lógica modal fue estudiada por primera vez de manera formal por filósofos griegos Platón y Aristóteles motivados con el fin de dar coherencia a razonamientos lógicos, pensamientos, argumentos e ideas. Con el tiempo distintos personajes históricos como Avicena, Guillermo de Ockham, Dun Scotu...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2025 |
| País: | México |
| Institución: | Benemérita Universidad Autónoma de Puebla |
| Repositorio: | Repositorio Institucional de Acceso Abierto RIAA-BUAP |
| Idioma: | español |
| OAI Identifier: | oai:repositorioinstitucional.buap.mx:20.500.12371/30216 |
| Acceso en línea: | https://hdl.handle.net/20.500.12371/30216 |
| Access Level: | acceso abierto |
| Palabra clave: | CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA Matemáticas--Filosofía--Lógica matemática--Sistemas formales no clásicos--Lógica modal Matemáticas--Geometría--Topología--Topología algebra Matemáticas--Geometría--Topología--Topología combinatoria |
| Sumario: | "La lógica modal fue estudiada por primera vez de manera formal por filósofos griegos Platón y Aristóteles motivados con el fin de dar coherencia a razonamientos lógicos, pensamientos, argumentos e ideas. Con el tiempo distintos personajes históricos como Avicena, Guillermo de Ockham, Dun Scotus, Gottfried Leibniz, entre otros más, desarrollaron observaciones del trabajo de Aristóteles particularmente de su libro El Órganon. Con el tiempo, Saul Kripke motivado por el trabajo de Gottfried Leibniz sobre los mundos posibles, género una semántica para la lógica modal. Por otro lado, los complejos simpliciales son objetos de estudio de la topología algebraica y la topología combinatoria, que nos ayudan a entender ciertos espacios topológicos mediante el pegado de puntos, segmentos de línea, triángulos, tetraedros y otras formas de mayor dimensión. Nuestro objetivo en esta tesis es estudiar la conexión de los complejos simpliciales como semántica de ciertas lógicas, a saber, la lógica epistémica de multi-agentes y la lógica de accesibilidad. Esta tesis está organizada en cuatro capítulos que expondremos en breve". |
|---|