Synthese 107 (2):167 - 204 (1996)
|Abstract||In this paper we argue that Revision Rules, introduced by Anil Gupta and Nuel Belnap as a tool for the analysis of the concept of truth, also provide a useful tool for defining computable functions. This also makes good on Gupta's and Belnap's claim that Revision Rules provide a general theory of definition, a claim for which they supply only the example of truth. In particular we show how Revision Rules arise naturally from relaxing and generalizing a classical construction due to Kleene, and indicate how they can be employed to reconstruct the class of the general recursive functions. We also point at how Revision Rules can be employed to access non-minimal fixed points of partially defined computing procedures.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Nuel Belnap (2006). Presentence, Revision, Truth, and Paradox. [REVIEW] Philosophy and Phenomenological Research 73 (3):705–712.
Robert C. Koons (1994). Book Review: Anil Gupta and Nuel Belnap. The Revision Theory of Truth. [REVIEW] Notre Dame Journal of Formal Logic 35 (4):606-631.
C. M. Asmus (2013). Vagueness and Revision Sequences. Synthese 190 (6):953-974.
P. D. Welch (2003). On Revision Operators. Journal of Symbolic Logic 68 (2):689-711.
Nuel D. Belnap (1982). Gupta's Rule of Revision Theory of Truth. Journal of Philosophical Logic 11 (1):103-116.
P. D. Welch (2001). On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set. Bulletin of Symbolic Logic 7 (3):345-360.
Philip Kremer (2010). How Truth Behaves When There's No Vicious Reference. Journal of Philosophical Logic 39 (4):344 - 367.
G. Aldo Antonelli (1992). Revision Rules: An Investigation Into Non-Monotonic Inductive Deﬁnitions. Dissertation, University of Pittsburgh
G. Aldo Antonelli (1994). A Revision-Theoretic Analysis of the Arithmetical Hierarchy. Notre Dame Journal of Formal Logic 35 (2):204-218.
Added to index2009-01-28
Total downloads3 ( #213,250 of 722,813 )
Recent downloads (6 months)0
How can I increase my downloads?