Arabic logic from al-fārābī to averroes : A study of the early arabic categorical, modal, and hypothetical syllogistics.