Contextual-hierarchical reconstructions of the strengthened liar problem (Q253127)

Two problems are addressed in this paper: what are the common philosophical intuitions of current contextual-hierarchical reconstruction (ch-reconstruction) approaches regarding the relation between the various truth predicates interpretations, and whether there are any new alternative plausible assumptions regarding this relation. The author defines the notion of `ch-reconstruction of the strengthened liar problem' and of a `solution to the strengthened liar problem', and concentrates on two types of ch-reconstructions leading to two essentially different types of solutions: the standard one, dominant in the contemporary literature, and the alternative one, original and new, proposed by her in this paper. The standard solution based on an iteration of Kripke's strong Kleene jump operator, leading to a hierarchy of models and truth predicates, is used as the ground for the instance of an alternative solution obtained by a slight modification of the iterated Kripke-Feferman axiom system and of the iterated strong Kleene jump operator. The advantages of the alternative solution over the standard one are discussed and reasoned as well.