- #1
nomadreid
Gold Member
- 1,668
- 203
- TL;DR 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, Cn* =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?
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?