A Nontransitive Theory of Truth over PA

• Dittrich, Jonathan ^[1]
  1. [1] Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität, Munich, Germany
• Localización: Análisis Filosófico, ISSN 0326-1301, ISSN-e 1851-9636, Vol. 41, Nº. 2, 2021, págs. 273-283
• Idioma: inglés
• Títulos paralelos:
  • Una teoría no transitiva de la verdad sobre PA
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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. 

  • English

    David Ripley has argued extensively for a nontransitive theory of truth by dropping the rule of Cut in a sequent calculus setting in order to get around triviality caused by paradoxes such as the Liar. However, comparing his theory with a wide range of classical approaches in the literature is problematic because formulating it over an arithmetical background theory such as Peano Arithmetic is non-trivial as Cut is not eliminable in Peano Arithmetic. Here we make a step towards closing this gap by providing a suitable restriction of the Cut rule, which allows for a nontransitive theory of truth over Peano Arithmetic that is proof-theoretically as strong as the strongest known classical theory of truth.