Skip to content

Rethinking Revision

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)1-18
Number of pages18
JournalJournal of Philosophical Logic
Early online date15 Sep 2018
DateAccepted/In press - 9 Mar 2017
DateE-pub ahead of print (current) - 15 Sep 2018


We sketch a broadening of the Gupta-Belnap notion of a circular or revision theoretic definition into that of amore generalized formincorporating ideas of Kleene’s generalized or higher type recursion.

This thereby connects the philosophically motivated, and derived, notion of a circular definition with an older form of definition by recursion using functionals, that is functions of functions, as oracles. We note that Gupta and Belnap’s notion of ‘categorical in L’ can be formulated in at least one of these schemes.

    Research areas

  • revision theory, spector class, kleene recursion, theory of definition

Download statistics

No data available



  • Full-text PDF (final published version)

    Rights statement: This is the final published version of the article (version of record). It first appeared online via Springer at . Please refer to any applicable terms of use of the publisher.

    Final published version, 877 KB, PDF document

    Licence: CC BY


View research connections

Related faculties, schools or groups