  Thus the Stoics concerned themselves with several issues we would place under the heading of predicate logic; but their main achievement was the development of a propositional logic, i.e. of a system of deduction in which the smallest substantial unanalyzed expressions are propositions, or rather, assertibles.