Abstract

Stoicism was one of the major Hellenistic philosophies, renowned not only for its ethical teachings but also for pioneering work in logic and epistemology. The Stoic school, particularly under Chrysippus of Soli (c. 279–206 BCE), developed a formal propositional logic that in some ways foreshadowed aspects of modern logical systems. This paper provides a rigorous comparative examination of Stoic reasoning and logic vis-à-vis modern logic traditions. We focus on the structure of Stoic logic (including its syllogistic forms and inference rules; the Stoics’ treatment of logical paradoxes such as the Sorites (the “heap” paradox) and the Liar, and the philosophical presuppositions underlying Stoic logic (notably its integration with ontology and determinism). In contrast, modern logic—particularly as developed by Frege, Russell, and the logical positivists of the 20th century—emphasizes formal abstraction and symbolic rigor. The analysis highlights how Stoic logic, though formulated over two millennia ago using ordinary language, anticipates certain ideas found in modern symbolic logic, while nevertheless differing significantly in purpose and context. In doing so, we shall see how key Stoic logicians like Chrysippus innovated logical theory, and how these innovations compare to the work of modern figures such as Gottlob Frege, Bertrand Russell, and the logical positivist school. Throughout the paper, a formal academic tone is maintained. Where appropriate, we include footnote references for further explication or sources, and a complete bibliography is provided at the end. It should be noted that our knowledge of Stoic logic comes from fragmentary sources and later reports, since no complete Stoic logical texts survive from antiquity. Nevertheless, scholarship has reconstructed a coherent picture of Stoic logical theory which we draw upon. The goal is to illuminate both the continuities and divergences between the Stoic logical tradition and the modern logical paradigms that dominate contemporary philosophical logic.