Synthese 107 (2):167 - 204 (1996)
Authors |
|
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) |
Categories | (categorize this paper) |
DOI | 10.1007/BF00413605 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
View all 14 references / Add more references
Citations of this work BETA
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch - 2005 - Studia Logica 81 (1):79 - 98.
Similar books and articles
Presentence, Revision, Truth, and Paradox. [REVIEW]Nuel Belnap - 2006 - Philosophy and Phenomenological Research 73 (3):705–712.
Revision Rules: An Investigation Into Non-Monotonic Inductive Definitions.G. Aldo Antonelli - 1992 - Dissertation, University of Pittsburgh
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.
Gupta's Rule of Revision Theory of Truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
Book Review: Anil Gupta and Nuel Belnap. The Revision Theory of Truth. [REVIEW]Robert C. Koons - 1994 - Notre Dame Journal of Formal Logic 35 (4):606-631.
A Revision-Theoretic Analysis of the Arithmetical Hierarchy.Gian Aldo Antonelli - 1994 - Notre Dame Journal of Formal Logic 35 (2):204-218.
Analytics
Added to PP index
2009-01-28
Total views
56 ( #204,606 of 2,517,863 )
Recent downloads (6 months)
1 ( #409,482 of 2,517,863 )
2009-01-28
Total views
56 ( #204,606 of 2,517,863 )
Recent downloads (6 months)
1 ( #409,482 of 2,517,863 )
How can I increase my downloads?
Downloads