Non-Classical Circular Definitions

Australasian Journal of Logic 14 (1) (2017)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v14i1.4030

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Comparing inductive and circular definitions: Parameters, complexity and games.Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch - 2005 - Studia Logica 81 (1):79 - 98.
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 - 2007 - Philosophical Quarterly 58 (231):214–233.
Circular definitions, circular explanations, and infinite regresses.Claude Gratton - 1994 - Argumentation 8 (3):295-308.
Nonstandard Runs And Program Verification.Laszlo Csirmaz - 1981 - Bulletin of the Section of Logic 10 (2):68-77.
Truth and Circular Definitions. [REVIEW]Francesco Orilia & Achille C. Varzi - 1996 - Minds and Machines 6 (1):124–129.
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 D. Lee - 1998 - Pacific Philosophical Quarterly 79 (4):314-328.
Meaning and circular definitions.Francesco Orilia - 2000 - Journal of Philosophical Logic 29 (2):155-169.
Building asymmetry into circular distributions.D. Umbach & S. R. Jammalamadaka - unknown
Aristotle on Circular Proof.Marko Malink - 2013 - Phronesis 58 (3):215-248.
Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.
Alfreda Tarskiego schemat T jako równość definicyjna.Robert Kublikowski - 2005 - Roczniki Filozoficzne 53 (1):143-154.
Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.

Analytics

Added to PP
2017-04-11

Downloads
42 (#368,825)

6 months
13 (#185,110)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shawn Standefer
National Taiwan University

Citations of this work

Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.

View all 29 references / Add more references