 It is Stoic logic and Boethius’s relations to it which give his treatise On hypothetical syllogisms its special interest. A syllogism is ‘hypothetical’ when one of its premisses is a molecular sentence which uses ‘if’ or ‘or’ (understood as exclusive disjunction) as a connective. So, for example, the following syllogism is hypothetical: