Rethinking Revision

Philip D Welch

doi:10.1007/s10992-018-9482-1

Rethinking Revision

Philip D Welch

Research output: Contribution to journal › Article (Academic Journal) › peer-review

210 Downloads (Pure)

Abstract

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.

Original language	English
Pages (from-to)	1-18
Number of pages	18
Journal	Journal of Philosophical Logic
Early online date	15 Sept 2018
DOIs	https://doi.org/10.1007/s10992-018-9482-1
Publication status	E-pub ahead of print - 15 Sept 2018

Keywords

revision theory
spector class
kleene recursion
theory of definition

Access to Document

10.1007/s10992-018-9482-1

Full-text PDF (final published version)
This is the final published version of the article (version of record). It first appeared online via Springer at https://link.springer.com/article/10.1007%2Fs10992-018-9482-1 . Please refer to any applicable terms of use of the publisher.
Final published version, 877 KBLicence: CC BY

Handle.net

Persistent link

Embargoed Document

Full-text PDF (accepted author manuscript)
Accepted author manuscript, 377 KB
Request copy

Cite this

@article{f823f48982ae4e4bbad7c863e6e57e79,

title = "Rethinking Revision",

abstract = "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{\textquoteright}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{\textquoteright}s notion of {\textquoteleft}categorical in L{\textquoteright} can be formulated in at least one of these schemes.",

keywords = "revision theory, spector class, kleene recursion, theory of definition",

author = "Welch, {Philip D}",

year = "2018",

month = sep,

day = "15",

doi = "10.1007/s10992-018-9482-1",

language = "English",

pages = "1--18",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Rethinking Revision

AU - Welch, Philip D

PY - 2018/9/15

Y1 - 2018/9/15

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

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

KW - revision theory

KW - spector class

KW - kleene recursion

KW - theory of definition

U2 - 10.1007/s10992-018-9482-1

DO - 10.1007/s10992-018-9482-1

M3 - Article (Academic Journal)

SN - 0022-3611

SP - 1

EP - 18

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

ER -

Rethinking Revision

Abstract

Keywords

Access to Document

Handle.net

Embargoed Document

Fingerprint

Cite this