Expresabilidad, validez y recursos lógicos
| Autor | Eduardo Alejandro Barrio |
| Cargo | Universidad de Buenos Aires, CONICET |
Page 3
CRÍTICA, Revista Hispanoamericana de Filosofía. Vol. 46, No. 138 (diciembre 2014): 3–36
EXPRESABILIDAD, VALIDEZ Y RECURSOS LÓGICOS
EDUARDO ALEJANDRO BARRIO
Universidad de Buenos Aires
CONICET eabarrio@gmail.com
RESUMEN: El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.
PALABRAS CLAVE: la paradoja de la validez, lenguajes de orden superior, verdad transparente, autorreferencia, lógica no clásica
SUMMARY: The aim of this paper is to investigate various limitative results about the concept of validity. In particular, I argue that higher-order logic with the standard semantics cannot be sufficiently expressive to capture its own concept of validity. Moreover, I show that the logic of transparent truth recently developed by Hartry Field leads to similar limitative results.
KEY WORDS: validity paradox, higher-order languages, transparent truth, self-reference, non-classical logic
El teorema de indefinibilidad de la verdad (Tarski 1935) muestra que, bajo la lógica clásica, ninguna teoría consistente capaz de expresar la aritmética puede probar todas las instancias del esquema-T y, por lo tanto, definir su propio predicado veritativo. Una manera frecuente de interpretar este resultado es que la verdad es inexpresable dentro de esas teorías usando simplemente esos recursos lógico-aritméticos. El propósito de este artículo es investigar cuáles son los resultados limitativos correspondientes al concepto de validez. Dados los tradicionales vínculos entre este concepto y el de verdad, podría pensarse que hay una extensión directa desde el resultado de Tarski a cualquier intento de expresar validez adoptando los mismos recursos necesarios para la prueba del mencionado teorema. Sin embargo, puede probarse (Ketland 2012) que, a diferencia de lo que sucede con verdad, la aritmética de Peano tiene recursos suficientes para capturar validez lógica para las teorías de primer orden. Esto es, si se contrasta con el caso de la paradoja del mentiroso, no hay una paradoja de la validez adoptando recursos lógico-aritméticos dentro de lenguajes de primer orden (Ketland 2012, Cook 2014). No obstante, en este trabajo argumento que este resultado no basta para mostrar que no existen paradojas alrededor de la validez lógica. En particular, sostengo que
Page 4
4 EDUARDO ALEJANDRO BARRIO
si se adoptan más recursos expresivos que los correspondientes a la lógica clásica de primer orden, el predicado de validez, al igual que el predicado veritativo, no puede expresarse consistentemente usando recursos aritméticos. Así, ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes para capturar su propio concepto de validez. Esto significa que, para estas teorías, la pretensión de extender los recursos dentro del lenguaje para expresar validez produce trivialidad: hay una paradoja, de estructura similar a la paradoja de Curry, que nos impide expresar el mencionado concepto lógico. Tal paradoja ha recibido el nombre de paradoja de validez (V-Curry). Por último, recientemente muchos han sido los intentos por modificar la lógica clásica a la luz de las paradojas semánticas. Quizá, el más importante es el enfoque de Hartry Field (2008). Defiendo que la pretensión de extender los recursos de esa “lógica de la verdad transparente” para expresar validez dentro del lenguaje conduce a resultados limitativos similares.
1 . La paradoja de la validez
La idea de desarrollar lenguajes semánticamente cerrados, i.e., que contengan todas sus nociones semánticas sin obtener trivialidad, incluye la necesidad de expresar validez lógica (la cual es obviamente distinta del condicional material). Claro que la paradoja del mentiroso ha provocado todo tipo de intentos para revisar las leyes lógicas, en especial aquellas vinculadas a la negación. Los más conocidos son los enfoques paracompletos (Kripke 1975, Field 2008), que básicamente rechazan el principio del tercero excluido, adoptando modelos kripkeanos de punto fijo, y los enfoques paraconsistentes (Priest 2006, Beall 2009), que en esencia rechazan la ley de explosión, adoptando modelos que permiten dialetheias.1 También es ampliamente conocido que ambas estrategias tienen dificultades para expresar el concepto de negación y evitar las revanchas: esto es, nuevas paradojas que surgen al incorporar conceptos semánticos como resultado de una solución tentativa a la paradoja original.
En los últimos años, la paradoja de Curry ha permitido darnos cuenta de que la revisión de la lógica de la negación no es suficiente para la solución a los problemas expresivos vinculados a las paradojas semánticas. Hace falta, además, producir modificaciones vinculadas a las leyes del condicional material. Es claro que uno de los desafíos actuales más importantes para aquellos que trabajan en el proyecto de
1 Los dialetheias son oraciones que reciben un “cúmulo” de valores de verdad: son verdaderas y falsas.
Crítica , vol. 46, no. 138 (diciembre 2014)
Page 5
EXPRESABILIDAD, VALIDEZ Y RECURSOS LÓGICOS 5 revisar la lógica a la luz de las paradojas semánticas es encontrar una lógica con un condicional apropiado que no permita derivar la paradoja de Curry. En cualquier caso, sea este proyecto posible o no, los vínculos entre validez y transmisión de verdad nos hacen sospechar que la tarea de desarrollar una lógica dentro de un lenguaje capaz de expresar validez podría no ser sencilla. Veámoslo detenidamente.
Diversos autores han argumentado que validez, al igual que verdad, es un concepto contaminado con paradojas (Whittle 2004, Field 2008, Shapiro 2011, Beall y Murzi 2013, Murzi 2014, Murzi y Shapiro en prensa).2 Para apreciar el punto, sea L un lenguaje de primer orden capaz de expresar la aritmética (PA), lo cual resulta conveniente por la necesidad de expresar oraciones autorreferenciales. Por lo general, usamos diagonalización a tales efectos. La estrategia que propone capturar validez en forma predicativa tiene diversas opciones de acuerdo con la aridad del predicado de validez. Un modo simple de plantear el problema es tomar el caso en el cual tenemos una sola premisa. Sea L+ el resultado de agregar a L un predicado de validez diádico Val(. . . , . . . ), tal que Val( , ) valga si y sólo si el argumento que parte de y concluye es lógicamente válido.3 La
idea es que ese predicado sea primitivo. Por supuesto, requerimos dar una explicación del comportamiento “lógico” de esa expresión en el lenguaje. Aquí, VS1 y VS2 cumplen esta función:
VS1: Para toda fórmula y :
Si:
Entonces: Val( , )
VS1 codifica de manera natural la idea según la cual si tenemos una prueba de desde , entonces el argumento con como premisa y como conclusión es válido.
VS2: Para toda fórmula y :
2 Sin embargo, no todos los que aceptan la existencia de V-Curry han sacado las mismas conclusiones a partir de la derivación de trivialidad. Whittle, por ejemplo, argumenta que la paradoja muestra que los dialetheistas necesitarán recurrir a una jerarquía de tipo tarskiana para expresar los predicados de validez lógica. Field, en cambio, usa la paradoja para afirmar que validez lógica no es preservación de verdad. Shapiro, Beall y Murzi sostienen que la paradoja nos conduce a abandonar la regla estructural de contracción.
3 Al ser una extensión de L, L+ contiene un código para cada fórmula de L+. Lo usual es que se utilicen códigos de Gödel para generar tales nombres dentro de teorías que contienen PA.
Crítica , vol. 46, no. 138 (diciembre 2014)
Page 6
6 EDUARDO ALEJANDRO BARRIO
Val( , ) ( )
VS2 expresa que si un argumento es válido y aceptamos sus premisas, entonces aceptamos su conclusión.
Debe notarse que en ambas reglas, la noción de “ ” intenta capturar la noción de prueba de la lógica correspondiente al lenguaje L+. Con todos estos requisitos, que parecen admisibles, estamos en condiciones de formular la primera paradoja de la validez. En primer lugar, dado que hemos adoptado un L+ capaz de expresar la aritmética, aplicamos el lema de diagonalización al predicado:
Val(x, )
para obtener una oración tipo Curry tal que:
K Val( K , )
En este punto, usando principios intuitivos para la validez, podemos derivar una paradoja que, por su semejanza con la de Curry, denominamos V-Curry:
[1 ] K Suposición para la aplicación de VS1
[2 ] Val( K , ) 1, diagonalización
[3 ] K 2, VS2
[4 ] 1, 3
[5 ] Val( K , ) 1–4, VS1
[6 ] K 5, VS2
[7 ] K 5, diagonalización
[8 ] 6, 7
Ésta es la paradoja que se describe en Beall y Murzi (2013). Los recursos asumidos para obtener trivialidad son:
i) Lógica
ii) Aritmética de primer orden
iii) VS1 y VS2
Crítica , vol. 46, no. 138 (diciembre 2014)
Page 7
EXPRESABILIDAD, VALIDEZ Y RECURSOS LÓGICOS 7 Nótese que esta versión de V-Curry presenta semejanzas con la paradoja de Curry tradicional. Al igual que lo que sucede en este último caso, en esta versión se pone en evidencia el uso de las reglas lógicas del condicional. Así, VS2 parece requerir que Val cumpla la versión correspondiente de Seudo Modus Ponens:
SMP Val( , ) (Val( ) Val( ))
ya que deberíamos esperar que si Val( , ), entonces siempre que sea Val( , también será Val( ). Y VS1 parece requerir que Val cumpla con la siguiente versión restringida del teorema de la deducción:
TD Si , entonces Val( , )
ya que deberíamos esperar que, si cumple que hay una prueba de a partir de , tiene que cumplirse que hay una prueba sin el uso de ningún supuesto adicional de que Val( , ). Por supuesto, dados los recursos “lógicos” que...
Para continuar leyendo
Solicita tu pruebaCOPYRIGHT GALE, Cengage Learning. All rights reserved.
