Review of Symbolic Logic 8 (3):467-487 (2015)

Authors
Shawn Standefer
University of Melbourne
Abstract
We present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay’s completeness theorem forGLusing arithmetical interpretations. We adapt our proof to a special class of circular definitions as well as to the first-order case.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020314000458
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,759
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

Truth and Paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
The Revision Theory of Truth.Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
Notes on Naive Semantics.Hans G. Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.

View all 21 references / 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.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.
Paradoxes and Contemporary Logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
When is Circularity in Definitions Benign?J. A. Burgess - 2007 - Philosophical Quarterly 58 (231):214–233.
Charting the Labyrinth of Bell-Type Theorems.Tomasz Placek - 1997 - Logic and Logical Philosophy 5:93-120.
Meaning and Circular Definitions.Francesco Orilia - 2000 - Journal of Philosophical Logic 29 (2):155-169.
Why Solovay Real Produces Cohen Real.Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (4):957-968.
The Scope and Generality of Bell’s Theorem.James Owen Weatherall - 2013 - Foundations of Physics 43 (9):1153-1169.
Non-Circular Proofs and Proof Realization in Modal Logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.
Circular Definitions and Analyticity.Setsuo Saito - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):158 – 162.
On a Spector Ultrapower for the Solovay Model.Vladimir Kanovei & Michiel van Lambalgen - 1997 - Mathematical Logic Quarterly 43 (3):389-395.

Analytics

Added to PP index
2015-02-04

Total views
44 ( #235,426 of 2,432,623 )

Recent downloads (6 months)
2 ( #294,790 of 2,432,623 )

How can I increase my downloads?

Downloads

My notes