 In this section we run quickly through al-Fārābī’s formal systems of logic. We assume some knowledge of Aristotle’s syllogistics, as in Smith (2018). Al-Fārābī discusses four logical systems: (a) Categorical syllogisms, (b) hypothetical syllogisms, (c) modal syllogisms, (d) demonstrative syllogisms. 