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.
Item Type: | Journal article |
---|---|
EU Funded Grant Agreement Number: | 675415 |
EU Projects: | Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Innovative Training Networks > 675415: Diaphora: Philosophical Problems, Resilience and Persistent Disagreement |
Faculties: | Philosophy, Philosophy of Science and Religious Science > Chair of Logic and Philosophy of Language |
Subjects: | 100 Philosophy and Psychology > 120 Epistemology 100 Philosophy and Psychology > 160 Logic |
URN: | urn:nbn:de:bvb:19-epub-69277-2 |
ISSN: | 1468-0068 |
Language: | English |
Item ID: | 69277 |
Date Deposited: | 25. Oct 2019, 08:34 |
Last Modified: | 04. Nov 2020, 13:51 |