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


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.

Author Profiles

Leon Horsten
Universität Konstanz
Martin Fischer
Ludwig Maximilians Universität, München
Carlo Nicolai
King's College London


Added to PP

324 (#57,028)

6 months
70 (#74,799)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?