In terms of contemporary logic, Stoic syllogistic is best understood as a substructural backwards-working Gentzen-style natural-deduction system that consists of five kinds of axiomatic arguments (the indemonstrables) and four inference rules, called themata. An argument is a syllogism precisely if it either is an indemonstrable or can be reduced to one by means of the themata (D. L. 7.78). Thus syllogisms are certain kinds of formally valid arguments. The Stoics explicitly acknowledged that the