Counterfactuals er betingede sætninger af formen: "Hvis det havde været tilfældet at p, så ville det have været tilfældet at q", hvor p og q er udsagn, og p udtrykker noget, som faktisk ikke er tilfældet. Fx: "Hvis jeg havde været flittigere, så ville jeg have bestået prøven".