logic-COUNTERFACTUALS/indicatives -by Marius Manci
Indicative conditional= indicates what is (in fact) the case if its antecedent is (in fact) true
Counterfactual Conditional (or "if-then") statement= indicating what would be the case if its antecedent were true.
Here's a problem I sense with counterfactuals/indicatives in Logic.
2 Examples Conditionals/indicative+Counterfactual
#1.If I had not proposed to Lavi, then someone else would have.
#2.If Marius did not propose to Lavi, then someone else did.
The first example assumes that had the proposal not be done by me someone else would have. However this is clearly not necessarily true; perhaps no one else would have proposed to Lavi(exageration.
Yet despite the indicative in the second example (Marius did not propose) we don't have a clear evidence that Lavi has been proposed to. A ring is not a sufficient evidence that someone has been proposed to. If this is so, it follows that it is not necessarily true that when it comes to an *indicative counterfactual* we can confidently say that it is intuitively true that this is the case. Thus the antecedent is true (Marius did propose to Lavi) but it does not entail that this is in fact the case-namely that if I didn't propose then someone else certainly did.