¡Nos trasladamos! E-Prints cerrará el 7 de junio.

En las próximas semanas vamos a migrar nuestro repositorio a una nueva plataforma con muchas funcionalidades nuevas. En esta migración las fechas clave del proceso son las siguientes:

Es muy importante que cualquier depósito se realice en E-Prints Complutense antes del 7 de junio. En caso de urgencia para realizar un depósito, se puede comunicar a docta@ucm.es.

The Final Cut



Downloads per month over past year

Zardini, Elia (2022) The Final Cut. Journal of Philosophical Logic . ISSN 0022-3611

[thumbnail of s10992-022-09682-4.pdf]
Creative Commons Attribution.


Official URL: https://doi.org/10.1007/s10992-022-09682-4


In a series of works, Pablo Cobreros, Paul Egré, David Ripley and Robert van Rooij have proposed a nontransitive system (call it ‘K3LP’) as a basis for a solution to the semantic paradoxes. I critically consider that proposal at three levels. At the level of the background logic, I present a conception of classical logic on which K3LP fails to vindicate classical logic not only in terms of structural principles, but also in terms of operational ones. At the level of the theory of truth, I raise a cluster of philosophical difficulties for a K3LP-based system of naive truth, all variously related to the fact that such a system proves things that would seem already by themselves repugnant, even in the absence of transitivity. At the level of the theory of validity, I consider an extension of the K3LP-based system of naive validity that is supposed to certify that validity in that system does not fall short of naive validity, argue that such an extension is untenable in that its nontriviality depends on the inadmissibility of a certain irresistible instance of transitivity (whence the advertised “final cut”) and conclude on this basis that the K3LP-based system of naive validity cannot coherently be adopted either. At all these levels, a crucial role is played by certain metaentailments and by the extra strength they afford over the corresponding entailments: on the one hand, such strength derives from considerations that would seem just as compelling in a general nontransitive framework, but, on the other hand, such strength wreaks havoc in the particular setting of K3LP.

Item Type:Article
Additional Information:

CRUE-CSIC (Acuerdos Transformativos 2022)

Uncontrolled Keywords:Classical logic, Naive truth, Naive validity, Nontransitive logics
Subjects:Humanities > Philosophy > Logic
ID Code:75680
Deposited On:21 Nov 2022 10:46
Last Modified:21 Nov 2022 10:47

Origin of downloads

Repository Staff Only: item control page