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 条
12345