Fixed-Point Posets in Theories of Truth
- 8 Downloads
We show that any coherent complete partial order (ccpo) is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.
KeywordsTruth Paradox Fixed-point theories Coherent complete partial order
Unable to display preview. Download preview PDF.
My warmest thanks go to Anil Gupta, an excellent teacher and mentor, for his extensive comments on this manuscript. He caught my worst mistakes and clarified the argument considerably. I would also like to thank two anonymous referees for their very helpful comments.