Skillnad "counterfactual dependence" och "NS condition"?

Vad är det för skillnad mellan begreppen (inom studier av kausalitet) "counterfactual dependence" och "NS condition"? Stötte på begreppen i en bok om metafysik "An Introduction To Metaphysics (Carroll, Markosian)".

NS Condition
c causes e if and only if c is a nessesary condition for e.

Counterfactual Dependence
c causes e if and only if, if c weren’t to occur, then e wouldn’t occur.


För mig ser definitionerna synonyma ut. Förklara gärna vari skillnaden ligger!

Skillnaden är att ”Närhelst P är sann så är Q också sann” inte är samma sak som ”Om P hade sprungit lite fortare så hade Q överlevt”. Vi kan skriva om det som följande:

1) P orsakar Q om och endast om ”Närhelst P är sann så är Q också sann”.

2) P orsakar Q om och endast om ” 'Om P hade sprungit lite fortare så hade Q överlevt' är sann”.

”Om P hade sprungit lite fortare så hade Q överlevt” är en 'counterfactual' medan ”Närhelst P är sann så är Q också sann” är ett 'nessesary condition'.

Så här i efterhand skulle jag nog egentligen ha skrivit ”P = (om x hade sprungit lite fortare) så Q = (hade y överlevt)”.

Du borde läsa David Lewis om du inte redan gjort det. Jag tänker mest på ”Counterfactual Dependence and Time's Arrow”.