Federico Pailos (IIF-Conicet – UBA)

Martes 5 de julio de 2016, 11 hs.

En el marco del seminario IIF-SADAF (quinto encuentro)

Abstract: In Beall 2009 ("Spandrels of truth") and Beall & Murzi 2013 ("Two flavors of Curry's paradox"), the authors claimed that dialetheism was unable to express the concept of naive validity. We will show both that LP can be non-trivially expanded with a naive validity predicate, and that that predicate can express LP’s own consequence relation. One important thing about the resulting theory, LPVal, that explains its non-triviality, is that it uses a weak self-referential procedure. We will also show that LPVal is sound and complete with respect to the three-side sequent calculus SLPVal. Finally, we will show how LPVal can be safely expanded with a transparent truth predicate.

Resumen: En Beall 2009 y Beall y Murzi 2013, los autores afirman que el dialeteísmo es incapaz de expresar el concepto ingenuo de validez. Voy a mostrar que esto no es así, y que LP puede ser expandido con un predicado de validez de este estilo. Una nota destacada de la teoría resultante, LPVal, y que explica que evita que devenga trivial, es que usa un procedimiento débil de autorreferencia. Otras propiedades interesantes de LPVal es que es correcta y completa con respecto al cálculo de trisecuentes disyuntivos SLPVal. Finalmente, mostraré que LPVal puede ser expandida con un predicado de verdad transparente.