Details

Autor(en) / Beteiligte

• Krämer, Stephan

Titel

That’s It! Hyperintensional Total Logic

Ist Teil von

• Journal of philosophical logic, 2023-08, Vol.52 (4), p.963-1004

Ort / Verlag

Dordrecht: Springer Netherlands

Erscheinungsjahr

2023

Link zum Volltext

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• 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.