Truthmaker Equivalence

Truthmaker semantics provides a powerful framework for the study of hyperintensional operators: operators that distinguish between some pairs of intensionally equivalent contents. Even under a truthmaker based account though, an operator will not distinguish between truthmaker equivalent contents. This paper determines the propositional logics of truthmaker equivalence for a range of related conceptions of truthmaking, supplementing previous results on this topic obtained by Kit Fine and Fabrice Correia.