Verdad, prueba y papel tornasol

Resumen

En el presente artículo se analiza la cuestión de si la verdad matemática o, en general, la
verdad en las ciencias formales puede identificarse con la prueba que permite la aseveración
de contenidos en estas ciencias. La respuesta que se defiende es negativa, y se
argumenta explicitando el significado de la noción de verdad de acuerdo con la teoría
prooracional. Las oraciones en las que ocurren términos veritativos como “verdad” o
“verdadero” funcionan como variables proposicionales complejas del lenguaje natural.
A estas oraciones las llamamos prooraciones. Los actos de habla en los que las prooraciones
ocurren carecen de contenido en aislamiento y solo lo adquieren por referencia
anafórica o catafórica a un acto de habla asertivo realizado con éxito. En el artículo se
distingue entre los criterios que dan derecho para aseverar un contenido matemático y el
significado de la noción de verdad aplicada a un contenido matemático. La prueba es un
criterio de aseveración, uno entre otros como asumen filósofos como Putnam o Maddy.
El significado de la noción de verdad es independiente de los criterios y se mantiene
estable en todos sus usos.