INVESTIGADORES
DA RE Bruno
congresos y reuniones científicas
Título:
Teorías de la verdad omega-inconsistentes: el caso de PALTr
Autor/es:
BRUNO DA RE
Lugar:
Buenos Aires
Reunión:
Seminario; WIP; 2015
Resumen:
El objetivo de la presentación es discutir la posibilidad de adoptar PALTr. Las motivaciones se vinculan con el hecho de que nuestro objetivo es representar el predicado veritativo dentro de una teoría consistente. En otras palabras, hablar de la verdad de las oraciones de una teoría dentro de la teoría. Para ello, necesitamos una teoría de base que permita representar su propia sintaxis: en general, cuando intentamos representar el predicado veritativo, al necesitar autorreferencia se utiliza la aritmética como teoría de base. Nuestro fin es tener una teoría de la verdad naïve consistente. Por otro lado, PAŁTr es una teoría de la verdad naïve omega inconsistente. ¿Es plausible adoptarla, a pesar de ello?