Translator Disclaimer
2018 On the Status of Reflection and Conservativity in Replacement Theories of Truth
Jeffrey R. Schatz
Notre Dame J. Formal Logic 59(3): 437-454 (2018). DOI: 10.1215/00294527-2018-0004

Abstract

This article examines Kevin Scharp’s formal solution to the alethic paradoxes, ADT, which stands for ascending and descending truth. One of the main supposed benefits of ADT over its competitors is that it alone can validate the uses of truth concepts in theoretical contexts, such as truth-theoretic semantics. The appendixes contain a new consistency proof for ADT, and additionally show that it is conservative. As a result of its conservativity, the article argues that ADT faces a problem in accounting for certain mathematical uses of truth. Thus, Scharp’s theory needs to be amended in order to fulfill its aim of replicating all substantive uses of truth.

Citation

Download Citation

Jeffrey R. Schatz. "On the Status of Reflection and Conservativity in Replacement Theories of Truth." Notre Dame J. Formal Logic 59 (3) 437 - 454, 2018. https://doi.org/10.1215/00294527-2018-0004

Information

Received: 2 February 2016; Accepted: 11 May 2016; Published: 2018
First available in Project Euclid: 26 June 2018

zbMATH: 06939330
MathSciNet: MR3832091
Digital Object Identifier: 10.1215/00294527-2018-0004

Subjects:
Primary: 03Axx

Rights: Copyright © 2018 University of Notre Dame

JOURNAL ARTICLE
18 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.59 • No. 3 • 2018
Back to Top