Premium
Hypatia's silence
Author(s) -
Fischer Martin,
Horsten Leon,
Nicolai Carlo
Publication year - 2021
Publication title -
noûs
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.574
H-Index - 66
eISSN - 1468-0068
pISSN - 0029-4624
DOI - 10.1111/nous.12292
Subject(s) - entitlement (fair division) , epistemology , wright , pragmatic theory of truth , argument (complex analysis) , logical truth , silence , philosophy , coherence theory of truth , computer science , mathematics , mathematical economics , aesthetics , biochemistry , chemistry , programming language
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.