El determinismo lógico es la opinión de que una proposición sobre el futuro es necesariamente verdadera o su negación es necesariamente verdadera. El argumento para esto es el siguiente. Por medio excluido , la proposición en tiempo futuro ("Mañana habrá una batalla naval") es verdadera ahora o su negación es verdadera. Pero lo que hace que esto (o su negación) sea verdadero es la existencia actual de un estado de cosas : un hacedor de verdad . [1] Si es así, entonces el futuro está determinado en el sentido de que la forma en que son las cosas ahora – es decir, el estado de cosas que hace que “mañana habrá una batalla naval” o su negación sea verdadera – determina la forma en que serán las cosas. . Además, si el pasado es necesario, en el sentido de que no se puede alterar un estado de cosas que existía ayer, entonces el estado de cosas que hizo verdadera la proposición "Mañana habrá una batalla naval" no se puede cambiar, y por tanto el La proposición o su negación es necesariamente cierta, y es necesariamente cierto que habrá una batalla naval mañana, o necesariamente no es el caso.
El término "determinismo lógico" ( Logischer Determinismo ) fue introducido por Moritz Schlick . [2]
El determinismo lógico parece presentar un problema para la concepción del libre albedrío que requiere que sean posibles diferentes cursos de acción, ya que el argumento de la batalla naval sugiere que sólo un curso es posible, porque es necesario. Al tratar de resolver el problema, el filósofo del siglo XIII Duns Escoto argumentó en una de sus primeras obras que una proposición futura puede entenderse de dos maneras: o como que significa algo en realidad que hace que algo sea verdadero en el futuro, o simplemente como que significa que algo será el caso. El segundo sentido es más débil en el sentido de que no nos compromete a ningún estado de cosas presente que haga verdadera la proposición futura, sino sólo a un estado de cosas futuro . [3]