Journal of Philosophical Logic 51 (1):75-98 (2022)

Authors
Eduardo Alejandro Barrio
Universidad de Buenos Aires (UBA)
Federico Pailos
Universidad de Buenos Aires (UBA)
Abstract
It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. and Pailos recovers classical logic, either in the sense that every classical inferential validity is valid at some point in the hierarchy ), or because a logic of a transfinite level defined in terms of the hierarchy shares its validities with classical logic. Each of these logics is consistent with transparent truth—as is shown in Pailos —, and this suggests that, contrary to standard opinions, transparent truth is after all consistent with classical logic. However, Scambler presents a major challenge to this approach. He argues that this hierarchy cannot be identified with classical logic in any way, because it recovers no classical antivalidities. We embrace Scambler’s challenge and develop a new logic based on these hierarchies. This logic recovers both every classical validity and every classical antivalidity. Moreover, we will follow the same strategy and show that contingencies need also be taken into account, and that none of the logics so far presented is enough to capture classical contingencies. Then, we will develop a multi-standard approach to elaborate a new logic that captures not only every classical validity, but also every classical antivalidity and contingency. As a€truth-predicate can be added to this logic, this result can be interpreted as showing that, despite the claims that are extremely widely accepted, classical logic does not trivialize in the context of transparent truth.
Keywords Validity  Anti-validity  Contingency  Multi-standard logics  Metainferential logics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-021-09610-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,307
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.

View all 26 references / Add more references

Citations of this work BETA

Beyond Mixed Logics.Joaquín Toranzo Calderón & Federico Pailos - forthcoming - Logic and Logical Philosophy:1-28.

Add more citations

Similar books and articles

Empty Logics.Federico Pailos - forthcoming - Journal of Philosophical Logic:1-29.
Supervaluations and the Strict-Tolerant Hierarchy.Brian Porter - forthcoming - Journal of Philosophical Logic:1-20.
Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - forthcoming - Journal of Philosophical Logic:1-27.
A Family of Metainferential Logics.Federico Matias Pailos - 2019 - Journal of Applied Non-Classical Logics 29 (1):97-120.
CWA Extensions to Multi-Valued Logics.Jinzhao Wu - 2003 - Journal of Applied Non-Classical Logics 13 (2):133-164.
One Step is Enough.David Ripley - forthcoming - Journal of Philosophical Logic:1-27.
Logics for Multi-Subset Spaces.Bernhard Heinemann - 2010 - Journal of Applied Non-Classical Logics 20 (3):219-240.
Validity in Intensional Languages: A New Approach.William H. Hanson & James Hawthorne - 1985 - Notre Dame Journal of Formal Logic 26 (1):9-35.
Resolution-Based Methods for Modal Logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Validity, Legal.John O. Tyler Jr - 2014 - Internet Encyclopedia of Philosophy.
Some Multi-Conclusion Modal Paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.

Analytics

Added to PP index
2021-07-05

Total views
14 ( #732,420 of 2,507,866 )

Recent downloads (6 months)
11 ( #66,829 of 2,507,866 )

How can I increase my downloads?

Downloads

My notes