📣 Help Shape the Future of UKRI's Gateway to Research (GtR)

We're improving UKRI's Gateway to Research and are seeking your input! Tell us what works, what doesn't, and how we can make GtR more user-friendly, impactful, and effective for the Research and Innovation community. Please send your feedback to gateway@ukri.org by 11 August 2025.

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as DummettÕs, that verification-truth is not compatible with the theory of meaning, are mistaken. The answer is t

First Author: Rahman, Shahid; Primiero, Giuseppe; Marion, Mathieu
Attributed to:  Foundations of Logical Consequence funded by AHRC

Abstract

No abstract provided

Bibliographic Information

Type: Book Chapter

Book Title: The Realism-Antirealism Debate in the Age of Alternative Logics (2011)

Page Reference: 17

ISBN: 9789400719224