In Section 1, we informally sketched the central thought of the RTT, namely, that we can use the T-biconditionals to generate a revision rule — a rule for revising a hypothesis about the extension of the truth predicate.
The main formal notions of the RTT are the notion of a revision rule (Definition 3.2), i.e., a rule for revising hypotheses; and a revision sequence (Definition 3.7), a sequence of hypotheses generated in accordance with the appropriate revision rule.
The semantic value is a revision rule.
In the terminology of the revision theory, τ is a revision rule.
The jth agent updates its strategy according to a revision rule. .
The revision rule explains the behavior, both ordinary and extraordinary, of a circular concept.
First, they suggest that the signification of T, given a ground model M, is the revision rule τM itself.
Let \(\delta\) be the revision rule yielded by a definition, and let \ V\) be an arbitrary hypothetical interpretation of the defined term.
Objects on which the process does not yield a categorical verdict are said to be pathological (relative to the revision rule, the definition, or the defined concept).
