We’re pleased to announce that Stephan’s paper “That’s It! Hyperintensional Total Logic” has been accepted for publication 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.
A penultimate version can be downloaded here, but the final version will be available open access soon.