#### nomadreid

Gold Member

- 1,288

- 103

- Summary
- What justifies saying that a fixed point for Kripke's process exists?

If I understand correctly (dubious), given a consistent theory C (collection of sentences), Kripke proposes to add a predicate T so that, if K = the collection of all sentences T("S") for every sentence S in C, ("." being some appropriate coding) then the closure of K∪C forms a new theory C*; one reiterates this until a fixed point is reached, C

Two questions:

(a) is this a proper statement of Kripke's truth predicate? If not, please correct.

(b) If so, what justifies the statement that such a fixed point exists?

^{n*}=C^{(n+1)*}. Then T is suitable as a truth predicate for this final theory.Two questions:

(a) is this a proper statement of Kripke's truth predicate? If not, please correct.

(b) If so, what justifies the statement that such a fixed point exists?