News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

14 December 2021, The Utrecht Logic in Progress Series (TULIPS), Marcus Rossberg

Speaker: Marcus Rossberg (Connecticut)
Title: An Inferentialist Redundancy Theory of Truth
Date: Tuesday 14 December 2021
Time: 16:00-17:15
Location: Online

Abstract: 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. Thus, arguably, 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 strictly purely logical, and indeed eliminable since they are logically definable. Deflationism appears to collapse into a redundancy theory of truth.

Please note that this newsitem has been archived, and may contain outdated information or links.