We’re pleased to announce that Stephan’s paper “That’s It! Hyperintensional Total Logic” (open access) has been published in the Journal of Philosophical Logic.
Abstract: Call a truth complete with respect to a subject matter if it entails every truth about that subject matter. One attractive way to formulate a complete truth is to state all the relevant positive truths, and then add: and that’s it. When the subject matters under consideration are non-contingent, a non-trivial conception of completeness must invoke
a hyperintensional conception of entailment, and of the completion operation denoted by ‘that’s it’. This paper develops two complementary hyperintensional conceptions of completion using the framework of truthmaker semantics and determines the resulting logics of totality.