Analyticity, Balance and Non-admissibility of Cut in Stoic Logic

Studia Logica 107 (2):375-397 (2019)

Authors
Susanne Bobzien
Oxford University
Abstract
This paper shows that, for the Hertz–Gentzen Systems of 1933, extended by a classical rule T1 and using certain axioms, all derivations are analytic: every cut formula occurs as a subformula in the cut’s conclusion. Since the Stoic cut rules are instances of Gentzen’s Cut rule of 1933, from this we infer the decidability of the propositional logic of the Stoics. We infer the correctness for this logic of a “relevance criterion” and of two “balance criteria”, and hence that a particular derivable sequent has no derivation that is “normal” in the sense that the first premiss of each cut is cut-free. We also infer that Cut is not admissible in the Stoic system, based on the standard Stoic axioms, the T1 rule and the instances of Cut with just two antecedent formulae in the first premiss.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-018-9797-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,238
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Remark on Hereditarily Nonparadoxical Sets.Péter Komjáth - 2016 - Archive for Mathematical Logic 55 (1-2):165-175.
Cofinality of the Laver Ideal.Miroslav Repický - 2016 - Archive for Mathematical Logic 55 (7-8):1025-1036.
$$I_0$$ I 0 and Combinatorics at $$\Lambda ^+$$ Λ +.Nam Trang & Xianghui Shi - 2017 - Archive for Mathematical Logic 56 (1-2):131-154.
Models of Weak Theories of Truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5-6):453-474.
Isomorphic and Strongly Connected Components.Miloš S. Kurilić - 2015 - Archive for Mathematical Logic 54 (1-2):35-48.
Minimal Elementary End Extensions.James H. Schmerl - 2017 - Archive for Mathematical Logic 56 (5-6):541-553.
Σ1-Wellorders Without Collapsing.Peter Holy - 2015 - Archive for Mathematical Logic 54 (3-4):453-462.
Set Theory Without Choice: Not Everything on Cofinality is Possible.Saharon Shelah - 1997 - Archive for Mathematical Logic 36 (2):81-125.
Square Principles with Tail-End Agreement.William Chen & Itay Neeman - 2015 - Archive for Mathematical Logic 54 (3-4):439-452.
Some Properties of R-Maximal Sets and Q 1,N -Reducibility.R. Sh Omanadze - 2015 - Archive for Mathematical Logic 54 (7-8):941-959.
A Covering Lemma for $${K}$$.Daniel W. Cunningham - 2007 - Archive for Mathematical Logic 46 (3):197-221.

Analytics

Added to PP index
2020-02-03

Total views
2 ( #1,296,446 of 2,285,893 )

Recent downloads (6 months)
2 ( #572,399 of 2,285,893 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature