Zoom Talk: Marcus Rossberg (University of Connecticut)
Meeting ID: 925-6562-2309
29.04.2021 16:00 – 18:00
Please contact email@example.com 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.