Jc Beall’s off-topic interpretation of Weak Kleene logic offers a logic of ‘true-and-topic’ preservation. However, Nissim Francez has recently argued that being ‘off-topic’ is a relational and not an _absolute_ semantic property; as such, it fails to satisfy the conditions of truth-functionality. For Francez, this means that it ‘cannot serve as an interpretation of a truth-value’. In this paper, I propose a two-layered _re_interpretation of Beall’s off-topic semantics. This two-layered framework has two crucial features: a sentential topic-tagging device and a (...) two-layered evaluation tool. I show that this framework results in a logic that preserves Beall’s key insight and addresses Francez’s concerns. (shrink)

Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any closure requirements on justification. In this paper, we argue that for some applications they should subject justification to closure under some variety of logical consequence. Specifically, we argue, building on ideas from Beall, that the non-classical logic FDE offers a particularly attractive notion of consequence for this purpose and define a justification logic where justification is closed under FDE consequence. We (...) show the resulting logic to be sound and complete. Lastly, we discuss how the closure of justification under FDE ontrasts closure under related non-classical logics and how our approach contrasts with some alternatives. (shrink)

This paper presents a sound and complete five-sided sequent calculus for first-order weak Kleene valuations which permits not only elegant representations of four logics definable on first-order weak Kleene valuations, but also admissibility of five cut rules by proof analysis.