Conditional assertions are a peculiar language structure that manifests a specific cognitive operation. In order to express it, different languages have found different ways of using verb forms. Primary conditionals are here defined as those that presuppose the possibility of the falsity of both the antecedent and the consequent. In them, the truth of the antecedent appears as a sufficient condition for the truth of the consequent. The truth condition of primary conditionals is defined as the impossibility of the conjunction of the truth of the antecedent with the falsity of the consequent. The demand for a connection between antecedent and consequent, expressed by Chrysippus as the incompatibility between the affirmation of the antecedent and the denial of the consequent, is thus satisfied. Counterfactuals are conditionals that speak of some aspect of reality through the imagination of an unreal situation.
Conditionals; counterfactuals; thought; language