Some Remarks on the Finite Theory of Revision

The Revision theory of truth is known, in its full (transfinite) form, as one way of dealing with circular concepts (see Gupta and Belnap 1993). The restriction of this approach which is obtained by limiting it to arbitrary, but finite steps of revision is less known, and less studied instead. In this paper we try to assess it, both from the point of view of its motivations, and of those properties which are relevant for establishing a connection with the logical investigation. Finally, we try to see how much of this approach can we make use of in the case of truth.