«قد يكون إذا كان الشيء حيوانا كان إنسانا»
In some cases, when something is an animal, it is human.
Qad yakūn limits the judgment to some suppositions rather than all animal cases. Being human is found within the category of animals but does not follow for every animal.
Universal versus particular is determined by the scope of the conditional judgment, not merely by the words composing its antecedent.
Opening interactive controls...
Further Conditional Divisions, Quantification and Conditional Quantifiers
«قد يكون إذا كان الشيء حيوانا كان إنسانا»
In some cases, when something is an animal, it is human.
Qad yakūn limits the judgment to some suppositions rather than all animal cases. Being human is found within the category of animals but does not follow for every animal.
Universal versus particular is determined by the scope of the conditional judgment, not merely by the words composing its antecedent.