La lógica modal es una excelente manera de hacer pruebas que hablan de cosas en “mundos diferentes posibles”.
Diferentes mundos posibles son excelentes para probar una afirmación hecha en un experimento mental (por ejemplo, “Suponga en un mundo posible diferente, en lugar de”.
La lógica modal se usa mucho cuando se juega con la idea del libre albedrío. Creo que es fascinante poner la lógica modal en el medio de un artículo de filosofía; La lógica es una forma clara y distinta de impartir una idea y alguien en el camino pensó que sería prudente insertar la lógica en una discusión sobre el tema a menudo complicado del libre albedrío. Eso es brillante.
De todos modos, leí que el realismo modal simplemente suponía que estos mundos posibles diferentes son tan reales como el nuestro. El propósito de esto es menos extraño o genial de lo que parece en su valor nominal (ya que, a primera vista, parece ser una declaración metafísica profunda sobre las condiciones y características de la realidad).
- ¿Cómo es posible que una cantidad escalar pueda tener una derivada vectorial?
- Si tuviera un mapa de carreteras de los EE. UU. Continentales de manera que el ancho de un camino fuera el ancho de un trazo de pluma, ¿qué volumen ocuparía, doblado?
- ¿Qué significa 'estadística / información de primer, segundo, k-ésimo orden'? ¿Cuáles son las diferencias entre ellos y cómo los calculo?
- ¿Por qué hay tanta ambigüedad con respecto al número total de dimensiones en las que vivimos?
- ¿Cuál es el momento de inercia de un medio anillo?
El realismo modal es una forma de hacer que esas suposiciones re: diferentes mundos posibles en experimentos de pensamiento más robustos. Si los diferentes mundos posibles son tan reales como el nuestro, podemos decir mejor que sus afirmaciones hechas en dicho mundo posible diferente tienen más probabilidades de mantenerse en este mundo.