Lógica Modal y Mundos Posibles en Filosofía
25 - Lógica modal y mundos posibles.
La lógica modal y la noción de mundos posibles han desempeñado un papel crucial en el desarrollo de semánticas para sistemas más allá de la lógica clásica. La lógica modal alética, que aborda las nociones de necesidad y posibilidad, se centra en cómo los mundos posibles ofrecen interpretaciones para validar fórmulas modales, considerando su verdad en varios escenarios posibles. Esta idea, que comenzó a tomar forma en las décadas de los 50 y 60 con figuras como Kanger, Hintikka y Kripke, busca modelar situaciones alternas de realidad, estableciendo una relación de accesibilidad entre mundos que sirve para definir la necesidad y la posibilidad.
La aplicación de la lógica modal ha generado debates sobre principios lógicos clásicos como la sustituibilidad de la identidad y la generalización existencial, los cuales a veces fallan en contextos modales. La noción de mundos posibles también ha planteado problemas filosóficos, como la identidad transmundana y la existencia de objetos no reales, cuestionando cómo se puede mantener la consistencia ontológica sin asumir la existencia de entidades no actuales. Mientras algunos, como Quine, critican estas ideas por su falta de claridad, otros intentan reconciliar estas teorías con una ontología que no invoque objetos inexistentes, dando lugar a enfoques como el actualismo.
Autor: Castrillo, Pilar
Título original: Lógica modal y mundos posibles.
Participante: Eloy Rada Profesor
Participante: Pilar Castrillo Profesora de Lógica
Participante: Quine Filósofo
Participante: Kanger Lógico
Participante: Hintikka Lógico
Participante: Kripke Lógico
Documentación adjunta
