The Logics of Strict-Tolerant Logic
Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP.
KeywordsTransparent truth Strict-tolerant logic Semantic paradoxes Transitivity Substructural logic
We owe thanks to Norbert Gratzl, Ole Hjortland, Francesco Paoli, Lavinia Picollo, Dave Ripley, Thomas Schindler, and Johannes Stern for very helpful comments on previous versions of this paper. Some of this material was presented at conferences in Barcelona (Logos), Munich (MCMP) and Buenos Aires (Buenos Aires Logic Group). We are very grateful to the members of these audiences for their valuable feedback. We are also specially grateful to Jose Martinez and Elia Zardini for organizing the Substructural Approaches to Paradox Workshop and to Thomas Meier for organizing the 1st MCMP Munich-Buenos Aires Workshop.
- 1.Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57.Google Scholar
- 3.Baaz, M., Fermüller, C., Zach, R. (1993). Systematic construction of natural deduction systems for many-valued logics. In 23rd international symposium on multiple valued logic, Sacramento, (pp. 208–213). Los Alamitos: IEEE Press.Google Scholar
- 8.Cobreros, P., Egré, P., Ripley, D., van Rooij, R. (2014). Vagueness, truth and permissive consequence. In T. Achourioti et al. (Eds.), Unifying the philosophy of truth. Springer. (forthcoming).Google Scholar
- 11.Hjortland, O. (2014). Verbal disputes in logic: against minimalism for logical connectives. Logique et Analyse, 277, 463–486.Google Scholar
- 13.Kripke, S. (1975). Outine of a theory of truth. Journal of Philosophy, 690–716(19).Google Scholar
- 19.Priest, G. (2006). In contradiction: a study of the transconsistent: Oxford University Press.Google Scholar
- 20.Restall, G. (2000). An introduction to substructural logic . Routledge.Google Scholar
- 23.Rousseau, G. (1967). Sequents in many-valued logic I. Fundamenta Mathematicae, 60, 23–131.Google Scholar