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.

中文翻译：

---

就是这样！超内涵全逻辑

如果一个真理包含关于该主题的所有真理，则称该真理关于该主题是完整的。形成完整真理的一种有吸引力的方法是陈述所有相关的积极真理，然后添加：就是这样。当所考虑的主题是非偶​​然的时，一个非平凡的完整性概念必须调用一个超内涵的蕴涵概念，以及由“就是这样”表示的完成操作的概念。本文使用 truthmaker 语义学框架发展了两个互补的超内涵完成概念，并确定了总体性的逻辑。