Eduardo Alejandro Barrio (IIF-Conicet – UBA)

Martes 7 de junio de 2016, 11.00 hs.

En el marco del Seminario IIF-SADAF (cuarto encuentro)

Resumen:

En este trabajo, propongo diversos condicionales diseñados para expresar vínculos referenciales entre oraciones. Es bien conocido que si una oración A dice de sí misma que cumple una cierta condición φ(x), entonces A debe ser un punto fijo de  φ(x), esto es A debe ser equivalente a φ(A) (en un sentido a especificar). El Teorema de Tarski impide que esa condición sea el predicado veritativo para el caso que la equivalencia sea expresada mediante un condicional material. La oración del mentiroso, la oración de McGee, las secuencias de Yablo muestran que eso es imposible. Al mismo tiempo, cualquier condicional que capture esa equivalencia debería ser compatible con la posibilidad de expresar las oraciones de Gödel, Henkin y otras en las cuales la condición mencionada capture el predicado de prueba. Los condicionales que presento, cuyas lógicas no son triviales, permiten hablar de las pruebas y de la verdad de las oraciones del propio lenguaje evitando todo tipo de jerarquías de lenguajes.