Variations on the collapsing lemma

Abstract

Graham Priest has frequently employed a construction in which a classical first-order model U may be collapsed into a three-valued model U~ suitable for interpretations in Priest’s logic of paradox (LP). The source of this construction’s utility is Priest’s Collapsing Lemma, which guarantees that a formula true in the model U will continue to be true in U~ (although the formula may also be false in U~). In light of the utility and elegance of the Collapsing Lemma, extending variations of the lemma to other deductive calculi becomes very attractive. The aim of this paper is to map out some of the frontiers of the Collapsing Lemma by describing the types of expansions or revisions to LP for which the Collapsing Lemma continues to hold and a number of cases in which the lemma cannot be salvaged. Among what is shown is that the lemma holds for a strictly more expressive form of LP including nullary truth and falsity constants, that any conditional connective that can be added to LP without inhibiting the lemma must be theoremhood-preserving, and that the Collapsing Lemma extends to the paraconsistent weak Kleene logic PWK as well.