Rethinking Revision.
We sketch a broadening of the Gupta-Belnap notion of a circular or revision theoretic definition into that of a more generalized form incorporating ideas of Kleene's generalized or higher type recursion. This thereby connects the philosophically motivated, and derived, notion of a circular definitio...
| Publicado en: | Journal of Philosophical Logic Vol. 48; no. 1; pp. 137 - 155 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Feb2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=134996811&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 134996811 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Feb2019 vid: 48 iid: 1 pid: 237 pub: Springer Nature artinfo: ui: 134996811 10.1007/s10992-018-9482-1 ppf: 137 ppct: 18 formats: fmt: @attributes: type: P size: 888KB tig: atl: Rethinking Revision. aug: au: Welch, P. D. affil: School of Mathematics, University of Bristol, BS8 1TW, Bristol, England su: Recursion theory Functionals Oracles Arithmetic Predicate (Logic) sug: subj: Recursion theory Functionals Oracles Arithmetic Predicate (Logic) keyword: Kleene recursion Revision theory Spector class Theory of definition ab: We sketch a broadening of the Gupta-Belnap notion of a circular or revision theoretic definition into that of a more generalized form incorporating 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2019. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2019 holdings: @attributes: islocal: N |
|---|