Counterfactual conditional
Counterfactual conditionals are conditional sentences that describe what would have been true if circumstances had been different, typically when the antecedent is taken to be false or incompatible with what actually happened.
Connections1
Logical basis for Molinist middle knowledge
Molinism relies on the existence of true counterfactuals of freedom, which are propositions about what agents would do in hypothetical situations.