Non-Classical Circular Definitions

Authors
Shawn Standefer
University of Melbourne
Abstract
Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions in the Strong Kleene and supervaluation schemes and provide complete proof systems for them. One class of denitions, the intrinsic denitions, naturally arises in both schemes. I survey some of the features of this class of denitions.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v14i1.4030
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: 36,586
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

Add more citations

Similar books and articles

Finite Circular Definitions.Anil Gupta - 2006 - In Thomas Bolander, Vincent F. Hendricks & Stig Andur Andersen (eds.), Self-Reference. CSLI Publications. pp. 79-93.
When is Circularity in Definitions Benign?J. A. Burgess - 2008 - Philosophical Quarterly 58 (231):214–233.
Nonstandard Runs And Program Verification.Laszlo Csirmaz - 1981 - Bulletin of the Section of Logic 10 (2):68-77.
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
The Paradox of Belief Instability and a Revision Theory of Belief.Byeong Lee - 1998 - Pacific Philosophical Quarterly 79 (4):314–328.
Meaning and Circular Definitions.Francesco Orilia - 2000 - Journal of Philosophical Logic 29 (2):155-169.
Aristotle on Circular Proof.Marko Malink - 2013 - Phronesis 58 (3):215-248.
Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.

Analytics

Added to PP index
2017-04-11

Total downloads
2 ( #961,372 of 2,303,776 )

Recent downloads (6 months)
1 ( #428,577 of 2,303,776 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature