Open AccessNon-Classical Circular Definitions
Author(s) -
Shawn Standefer
Publication year - 2017
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v14i1.4030
Subject(s) - class (philosophy) , scheme (mathematics) , mathematics , algebra over a field , pure mathematics , calculus (dental) , computer science , mathematical analysis , artificial intelligence , medicine , dentistry
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.