Stoic Sequent Logic and Proof Theory

History and Philosophy of Logic:1-32 (forthcoming)

Susanne Bobzien
Oxford University
This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness.
Keywords Stoic logic  Sequent calculus  Proof theory  Substructural logic  Connexive logic  Decidability  Gentzen  Propositional logic  Ancient logic
Categories (categorize this paper)
DOI 10.1080/01445340.2019.1579624
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
Through your library

References found in this work BETA

Proof Analysis in Intermediate Logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
Introduction to Metamathematics.Stephen Cole Kleene - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
The Development of Logic.A. R. Lacey, W. Kneale & M. Kneale - 1964 - Journal of Hellenic Studies 84:194.

View all 19 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Logic: The Stoics (Part Two).Susanne Bobzien - 1999 - In Keimpe Algra, Jonathan Barnes & et al (eds.), The Cambridge History of Hellenistic Philosophy. Cambridge University Press.
2-Sequent Calculus: A Proof Theory of Modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
Sequent Reconstruction in LLM—A Sweepline Proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
Canonical Proof Nets for Classical Logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
Sequents for Non-Wellfounded Mereology.Paolo Maffezioli - 2016 - Logic and Logical Philosophy 25 (3):351-369.
An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
Proof Theory of Finite-Valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
A Proof-Search Procedure for Intuitionistic Propositional Logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.


Added to PP index

Total views
18 ( #421,424 of 2,327,887 )

Recent downloads (6 months)
18 ( #37,524 of 2,327,887 )

How can I increase my downloads?


My notes

Sign in to use this feature