Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

Las condiciones necesarias no expresan una relación causal entre antecedente y consecuente: la presencia de oxígeno no es causa de vida, sino un requisito necesario. Las condiciones suficientes pueden expresar una relación causal, pero no necesariamente:existe una relación de causa y efectoentre comer pescado en malas condiciones y enfermar, pero no entre los fenómenos que se indican en la frase «si sale el sol iremos de paseo». Las condiciones que son a la vez necesarias y suficientes se interpretan como causales. Al menos una de sus interpretaciones define causa como «el conjunto de condiciones necesarias y suficientes para que algo se produzca».

La lógica interpreta la relación causal ideal como un único conjunto de condiciones que determinan un acontecimiento: Si a, b, c, y d son las condiciones únicas de un suceso, E, diremos que a, b, c y d son causa del efecto E si y sólo si a, b, c, y d son sus condiciones necesarias y suficientes al mismo tiempo, de modo que si [math](a\wedge b\wedge c \wedge d)\rightarrow{E}[/math] y si [math]¬(a\wedge b\wedge c \wedge d)\rightarrow{¬E}[/math], entonces [math](a\wedge b\wedge c \wedge d) \leftrightarrow{E}[/math].