Non-Classical Circular Definitions

  • 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.

Author Biography

Shawn Standefer, University of Melbourne

Postdoctoral researcher 

School of Historical and Philosophical Studies, Philosophy

Published
2017-04-11
How to Cite
STANDEFER, Shawn. Non-Classical Circular Definitions. The Australasian Journal of Logic, [S.l.], v. 14, n. 1, apr. 2017. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4030>. Date accessed: 12 dec. 2018. doi: https://doi.org/10.26686/ajl.v14i1.4030.