Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Zoom Talk: Marcus Rossberg (University of Connecticut)

Meeting ID: 925-6562-2309

29.04.2021 16:00  – 18:00 

Please contact for the password.


An Inferentialist Redundancy Theory of Truth


I present a “fully schematic”, proof-theoretic account of higher-order logic. The framework allows for the explicit definition of truth predicates for arbitrarily strong theories formulated in the framework. Accordingly, for any reasonable language, a truth predicate is explicitly definable with purely logical, proof-theoretic means. Enough "truth" should thus be available to the inferentialist to do the theoretical work that opponents claim is wanting. Furthermore, deflationists claim that the truth-predicate does not express a substantive property, but is only required to express generalizations (and such like). On the account presented here, truth-predicates are purely logical, and indeed eliminable since they are logically definable. Deflationism appears to collapse into a redundancy theory of truth.