¿Cuál es la diferencia entre la necesidad lógica y la necesidad causal?

La diferencia proviene de la distinción entre leyes lógicas y leyes de la naturaleza. Se puede decir que una oración es lógicamente necesaria en caso de que sea cierta en todos los mundos que satisfagan las leyes lógicas, es decir, en todos los mundos posibles. Se puede decir que una oración es causal o físicamente necesaria en caso de que sea cierta en todos los mundos que satisfacen esas leyes de la naturaleza.

En cuanto a la dirección de implicación entre la necesidad lógica y causal: lo que es lógicamente necesario es cierto en todos los mundos posibles, por lo que es cierto en todos los mundos físicamente posibles y, por lo tanto, también es causal o físicamente necesario.

Lo contrario, sin embargo, no es cierto: no es el caso de que lo que es física o causalmente necesario también sea lógicamente necesario. Lo que es cierto es que si dejamos que N sea el conjunto de leyes de la naturaleza y S sea una oración causal o físicamente necesaria, entonces el condicional (N [matemáticas] \ rightarrow [/ matemáticas] S) será lógicamente necesario.

La diferencia no está tanto en la necesidad de las relaciones, sino en su dirección. La inferencia lógica tiende a ir de atrás hacia adelante, mientras que la causalidad tiende a ir de adelante hacia atrás. La necesidad o suficiencia de la relación simplemente confunde la pregunta.

Por ejemplo, sabemos que las nubes (más otras condiciones) causan lluvia. Entonces, la dirección causal es nubes [math] \ rightarrow [/ math] lluvia. Sin embargo, la inferencia lógica correcta es nubes de lluvia [matemáticas] \ rightarrow [/ matemáticas] (si está lloviendo, entonces está nublado).

Si la relación causal es o no necesaria o si depende de si todas las condiciones son necesarias o simplemente al menos una. Las nubes no son suficientes para causar lluvia, pero son necesarias. Sin embargo, cuando hablamos de la causa de la lluvia (versus una causa), generalmente nos referimos a todas las condiciones necesarias y suficientes para la lluvia (y generalmente anterior) (por ejemplo, nubes más cualquier otra condición requerida).

En inferencia lógica, la necesidad y la suficiencia pueden determinarse por la posición de la variable en la inferencia. Tome A [math] \ rightarrow [/ math] B. Decimos que B necesariamente se sigue de A porque si A es verdadero, B no puede ser falso. Como en el ejemplo anterior, si A = df lluvia y B = df nubes, entonces si está lloviendo, no puede ser falso que esté nublado. Pero, usando la dirección inversa, decimos que B es suficiente para A porque si B es verdadero, no importa si A es verdadero o falso. Y eso es, curiosamente, donde la relación inferencial difiere de la relación causal. Estar nublado no es causalmente suficiente para la lluvia. Lógicamente, A (lluvia) es suficiente para determinar que B (está nublado). No es necesario observar las nubes, solo la lluvia, para determinar si está nublado.

Como regla general, generalmente puede convertir los términos en [math] \ rightarr0w [/ math] entre inferencia lógica y causalidad. Esta regla es útil si desea convertir su observación de algún evento causal en lógica. Sin embargo, hay muchas complicaciones en esta regla, como cuando se introducen modales como la necesidad y la posibilidad (una distinción similar a la que se hace en física entre potencial y real / cinética introducida inicialmente como Aristóteles y esencial para las teorías de Newton) ) Entonces, por supuesto, si agrega física cuántica a la mezcla, una serie de soluciones anteriores (como la localidad de correlaciones proximales de Hume) ya no funcionan.

Entonces, si está buscando una relación lógica robusta correspondiente a la causalidad, no encontrará una que funcione para todas las ciencias e incluya la observación. La regla general (si A causa B, entonces expréselo lógicamente como B [math] \ rightarrow [/ math] A) funciona en su mayor parte para observaciones. Modelar la causalidad sigue siendo un desafío muy difícil, si no imposible, para los lógicos en filosofía de la ciencia, tanto que la tendencia moderna tiende a ser ignorarlo como una tontería metafísica. ¡Cállate y calcula! El énfasis en la predicción de los efectos en lugar de la postulación de las causas parece ser un enfoque mucho más sensato y pragmático para muchos.

En el sentido más amplio, las declaraciones lógicamente necesarias deben ser ciertas en todos los mundos. El ejemplo más fácil de necesidad lógica es la ley de no contradicción ‘(P v ~ P)’: es el caso de que ‘P = verdadero’ o ‘no P = verdadero’. No puede dejar de ser cierto bajo ninguna circunstancia y en todos los mundos.

La necesidad causal generalmente pertenece al mundo real. En el mundo real, si sostengo una piedra mientras estoy en el planeta tierra, la fuerza de la gravedad hará que caiga necesariamente. Sin embargo, es posible imaginar un mundo lógicamente posible donde la fuerza de la gravedad opera de manera diferente que en el mundo real. Entonces, es solo una necesidad causal que la fuerza de la gravedad haga que la piedra caiga en este mundo, pero no es una necesidad lógica.

Por supuesto, estoy asumiendo una semántica muy básica.

Si utiliza la necesidad como “implicación” (estrictamente), ninguno de ellos se sigue del otro.

Ejemplos: “Una pelota cae sobre una enana blanca más rápido que sobre una estrella más ligera del mismo diámetro”. Eso es necesario en la naturaleza (todo lo demás es igual, por ejemplo, sin atmósfera), pero la aceleración podría deberse al diámetro, no a la masa. Por lo tanto, no es lógicamente necesario.

Por otro lado, a implica antes que a implica ~ b. Pero en la naturaleza, muchas cosas no implican otra declaración o su negación. Especialmente si no pueden influenciarse entre sí, por ejemplo, debido a la distancia.

Si lo pones en palabras, nadie diría “llueve en Barcelona, ​​por lo que el tranvía en Hawai llega tarde” o “llueve en Barcelona para que el tranvía en Hawai no llegue tarde” es cierto. Uno diría que los dos están causalmente desconectados.