King's College London

Research portal

Hypatia's silence: Truth, justification, and entitlement.

Research output: Contribution to journalArticle

Martin Fischer, Leon Horsten, Carlo Nicolai

Original languageEnglish
JournalNOUS
Early online date9 May 2019
DOIs
Accepted/In press28 Mar 2019
E-pub ahead of print9 May 2019

King's Authors

Abstract

Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical treatment.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454