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

Abstract

Abstract: The modal operators of the physical need and possibility are coded as notions originated in terms of the classical modal homonymous. The mutual definition of the new physical modal notions is herein demonstrated. By using Kripke’s semantics, the validity of the inter-definition is proved. It is created a Kripke’s model as application, in which the relation of accessibility is un- derstood as a relation between pairs of scientific choices explaining the same phenomenon. In this model, the alternative theories are particularly considered: Aristotle-Ptolemy’s geocentrism; Tycho Brahe’s geocentrism and Copernicus, Galileo and Kepler’s heliocentricity. To end with, the proposal of immensity between Kuhn’s theories in Kripke’s wonderland is discussed thereof. Keywords: Modal operators, geocentrism, heliocentricity. 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. Usan- do 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 accesibili- dad 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 fina- lizar, se discute la propuesta de la inconmensurabilidad entre teorías de Kuhn en el país de las maravillas de Kripke.