November 2019 Noncontractive Classical Logic
Lucas Rosenblatt
Notre Dame J. Formal Logic 60(4): 559-585 (November 2019). DOI: 10.1215/00294527-2019-0020
Abstract

One of the most fruitful applications of substructural logics stems from their capacity to deal with self-referential paradoxes, especially truth-theoretic paradoxes. Both the structural rules of contraction and the rule of cut play a crucial role in typical paradoxical arguments. In this paper I address a number of difficulties affecting noncontractive approaches to paradox that have been discussed in the recent literature. The situation was roughly this: if you decide to go substructural, the nontransitive approach to truth offers a lot of benefits that are not available in the noncontractive account. I sketch a noncontractive theory of truth that has these benefits. In particular, it has both a proof- and a model-theoretic presentation, it can be extended to a first-order language, and it retains every classically valid inference.

Copyright © 2019 University of Notre Dame
Lucas Rosenblatt "Noncontractive Classical Logic," Notre Dame Journal of Formal Logic 60(4), 559-585, (November 2019). https://doi.org/10.1215/00294527-2019-0020
Received: 6 July 2017; Accepted: 24 March 2018; Published: November 2019
JOURNAL ARTICLE
27 PAGES

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

Vol.60 • No. 4 • November 2019
Back to Top