Una teoría no transitiva de la verdad sobre PA

David Ripley ha argumentado extensamente a favor de una teoría no-transitiva de la verdad que abandona la regla de Corte para así evitar las pruebas de trivialidad causadas por paradojas como la del mentiroso. Sin embargo, es problemático comparar su teoría con varias teorías clásicas que se han ofrecido en la bibliografía. La tarea de formular esta teoría sobre la aritmética de Peano no es trivial, ya que Corte no es eliminable en la aritmética de Peano. En este artículo intento cerrar esta brecha proponiendo una restricción adecuada para la regla de Corte. La restricción nos permite formular una teoría no-transitiva de la verdad sobre la aritmética de Peano que es, desde el punto de vista de la teoría de la prueba, tan fuerte como la teoría clásica de la verdad más fuerte conocida hasta el momento.