Necesidad y posibilidad física: A través del espejo de Kripke y lo que Kuhn encontró allí

Resumo

Se codifican los operadores modales de necesidad y posibilidad física como nociones derivadas en términos de los homónimos modales clásicos. Se demuestra la definición mutua de las nuevas nociones modales físicas. Usando la semántica de Kripke, se prueba la validez de la interdefinición. Como aplicación, se construye un modelo de Kripke donde la relación de accesibilidad se entiende como una relación entre pares de alternativas científicas que explican un mismo fenómeno. En particular, se consideran en el modelo las teorías alternativas: el geocentrismo de Aristóteles-Ptolomeo, el geocentrismo de Tycho Brahe y el heliocentrismo de Copérnico, Galileo y Kepler. Para finalizar, se discute la propuesta de la inconmensurabilidad entre teorías de Kuhn en el país de las maravillas de Kripke.