Analytic Calculi for Circular Concepts by Finite Revision

Studia Logica 101 (5):915-932 (2013)
Abstract
The paper introduces Hilbert– and Gentzen-style calculi which correspond to systems ${\mathsf{C}_{n}}$ from Gupta and Belnap [3]. Systems ${\mathsf{C}_{n}}$ were shown to be sound and complete with respect to the semantics of finite revision. Here, it is shown that Gentzen-style systems ${\mathsf{GC}_{n}}$ admit a syntactic proof of cut elimination. As a consequence, it follows that they are consistent.
Keywords Circular concepts  The revision theory of truth  Analytic calculi
Categories (categorize this paper)
DOI 10.1007/s11225-012-9402-2
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: 35,865
Through your library

References found in this work BETA

The Undecidability of Grisin's Set Theory.Andrea Cantini - 2003 - Studia Logica 74 (3):345 - 368.

Add more references

Citations of this work BETA

Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
Contraction and Revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - forthcoming - Journal of Philosophical Logic:1-9.

View all 6 citations / Add more citations

Similar books and articles

When is Circularity in Definitions Benign?J. A. Burgess - 2008 - Philosophical Quarterly 58 (231):214–233.
Meaning and Circular Definitions.Francesco Orilia - 2000 - Journal of Philosophical Logic 29 (2):155-169.
The Rationale Behind Revision-Rule Semantics.Lionel Shapiro - 2006 - Philosophical Studies 129 (3):477 - 515.

Analytics

Added to PP index
2012-07-22

Total downloads
36 ( #178,200 of 2,293,801 )

Recent downloads (6 months)
4 ( #137,650 of 2,293,801 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature