In antiquity, two rival theories of the syllogism existed: Aristotelian syllogistic and Stoic syllogistic [REF].
Within academic contexts, the syllogism was superseded by first-order predicate logic following the work of Gottlob Frege, in particular his Begriffsschrift (Concept Script) (1879), but syllogisms remain useful in some circumstances, and for general-audience introductions to logic [REF].