Vol. 41 Núm. 2 (2021)
Sección temática

Una teoría no transitiva de la verdad sobre PA

Jonathan Dittrich
Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität, Munich, Germany

Publicado 2021-11-01

Palabras clave

  • Cut,
  • Paradox,
  • Liar,
  • Truth
  • Corte,
  • Paradojas,
  • Mentiroso,
  • Verdad

Resumen

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. 

Citas

  1. Boolos, G. (1984). Don’t eliminate cut. Journal of Philosophical Logic, 13(4), 373-378.
  2. Halbach, V. (2011). Axiomatic theories of truth. Cambridge University Press.
  3. Halbach, V., & Horsten, L. (2006). Axiomatizing Kripke’s theory of truth. Journal of Symbolic Logic, 71(2), 677-712.
  4. Halbach, V., & Nicolai, C. (2018). On the costs of nonclassical logic. Journal of Philosophical Logic, 47(2), 227-257.
  5. Negri, S., von Plato, J., & Ranta, A. (2001). Structural proof theory. Cambridge University Press.
  6. Picollo, L. (2020). Truth in a logic of formal inconsistency: How classical can it get? Logic Journal of the IGPL, 28(5), 771-806. https://doi.org/10.1093/jigpal/jzy059
  7. Picollo, L., & Schindler, T. (2018). Deflationism and the function of truth. Philosophical Perspectives, 32, 326-351. https://doi.org/10.1111/phpe.12113
  8. Ripley, D. (2012). Conservatively extending classical logic with transparent truth. Review of Symbolic Logic, 5(2), 354-378.
  9. Ripley, D. (2013a). Paradoxes and failures of cut. Australasian Journal of Philosophy, 91(1), 139-164.
  10. Ripley, D. (2013b). Revising up: Strengthening classical logic in the face of paradox. Philosophers’ Imprint, 13.
  11. Ripley, D. (2018). Uncut. Manuscript.
  12. Schindler, T. (2015). A disquotational theory of truth as strong as Z2. Journal of Philosophical Logic, 44(4), 395-410.
  13. Schindler, T. (2018). Some notes on truths and comprehension. Journal of Philosophical Logic, 47, 449-479. https://doi.org/10.1007/s10992-017-9434-1
  14. Smith, P. (2012). An Introduction to Gödel’s Theorems. Cambridge University Press.
  15. Troelstra, A. S., & Schwichtenberg, S. (2000). Basic Proof Theory. Cambridge University Press.
  16. von Plato, J. (2014). Elements of Logical Reasoning. Cambridge University Press.