Rethinking Revision

被引：0

作者：

Welch, P. D. ^{[1
]}

机构：

[1] Univ Bristol, Sch Math, Bristol BS8 1TW, Avon, England

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2019年 / 48卷 / 01期

关键词：

Revision theory; Spector class; Kleene recursion; Theory of definition; TRUTH;

D O I：

10.1007/s10992-018-9482-1

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

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.

引用

页码：137 / 154

页数：18

共 50 条

[1] Rethinking Revision
P. D. Welch
[J]. Journal of Philosophical Logic, 2019, 48 : 137 - 154
[2] RETHINKING BELIEF REVISION BY TRUTHLIKENESS
Niiniluoto, Ilkka
[J]. REVUE ROUMAINE DE PHILOSOPHIE, 2012, 56 (02): : 247 - 249
[3] Rethinking common belief, revision, and backward induction
Rich, Patricia
[J]. MATHEMATICAL SOCIAL SCIENCES, 2015, 75 : 102 - 114
[4] Getting restless: Rethinking revision in writing instruction
Fulkerson, R
[J]. COLLEGE COMPOSITION AND COMMUNICATION, 1998, 50 (01) : 101 - 115
[5] Getting restless: Rethinking revision in writing instruction
不详
[J]. COLLEGE COMPOSITION AND COMMUNICATION, 1997, 48 (04) : 590 - 591
[6] Secondary revision: On rethinking the analytic process and analytic technique
Jacobs, TJ
[J]. PSYCHOANALYTIC INQUIRY, 2002, 22 (01) : 3 - 28
[7] Rethinking how to teach C++ - Part 8: An interesting revision
Koenig, A
Moo, BE
[J]. JOOP-JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 2001, 14 (02): : 43 - 47
[8] Rethinking the nature of fibrolamellar bone: an integrative biological revision of sauropod plexiform bone formation
Stein, Koen
Prondvai, Edina
[J]. BIOLOGICAL REVIEWS, 2014, 89 (01) : 24 - 47
[9] Rethinking Brain Death-Why "Dead Enough" Is Not Good Enough The UDDA Revision Series
Sulmasy, Daniel P.
DeCock, Christopher A.
[J]. NEUROLOGY, 2023, 101 (07) : 320 - 325
[10] Rethinking form: Stravinsky's eleventh-hour revision of the third movement of his Violin Concerto
Rogers, L
[J]. JOURNAL OF MUSICOLOGY, 1999, 17 (02): : 272 - 303

← 1 2 3 4 5 →