Читать книгу En sayos analíticos - Alberto Moretti - Страница 9

Un modo de apreciar la importancia que puede revestir el análisis de la forma lógica de las oraciones y, consecuentemente, de sus predicados componentes, se tiene al observar el tratamiento de las paradojas contenido en PM.

La paradoja de Russell tiene una versión relativa a las clases y otra relativa a las funciones proposicionales (nociones descendientes, respectivamente, de las ideas fregeanas de extensiones conceptuales y conceptos). La primera se centra en lo que parece ser la definición de una clase posible: la clase de las clases que no son elementos de sí mismas. Si existe entonces, o bien pertenece a sí misma o no lo hace. En cualquier caso se llega a una contradicción (en los sistemas clásicos de lógica). La definición parece correcta pero, si tiene sentido, los conceptos de clase y de pertenecer a una clase son contradictorios. Sin embargo, según el modelo de análisis filosófico russelliano, ese sentido depende de la forma lógica que les atribuyamos (o les descubramos) a las afirmaciones de pertenencia entre clases; esto es, la forma lógica de las oraciones del tipo “F pertenece a G” (con simbología habitual “F ∈ G”). La segunda versión de la paradoja resulta de preguntarse si la función proposicional ser una función proposicional que no se autoaplica se aplica o no se aplica a sí misma. Una contradicción espera en ambos casos. Pero, otra vez, el desenlace depende de cuál sea la forma lógica de afirmaciones como “La función G se aplica a la función F” (con simbología habitual “G(F)”). La paradoja del mentiroso, por otra parte, queda planteada por oraciones comunes del tipo “Esta oración es falsa” que también parecen acarrear contradicciones. Pero ¿cuál es la forma profunda de una oración como “La oración P es falsa” (su forma genuina o, al menos, integrable a un análisis consistente del lenguaje al que pertenece)?

La teoría simple de los tipos, de 1903, y la teoría ramificada de los tipos presentada en 1908 y desarrollada en PM, solucionan la versión sobre clases de la paradoja de Russell. Más aún, luego de adoptada en general la teoría de las descripciones (Russell, 1905), su aplicación a los nombres de clase los hace desaparecer, como primitivos del lenguaje, en favor de las funciones proposicionales y con ello disuelve el problema de esa paradoja. Estas funciones, ya recordamos, también presentan una dificultad similar pero, nuevamente, las teorías simple o ramificada de los tipos lo resuelven. La teoría ramificada, además, es suficiente para solucionar las paradojas del tipo de la del mentiroso¹¹. Observemos algunos detalles.

Apelando a consideraciones metafísicas (lógico-metafísicas) que no se originaron en el intento de evitar estas paradojas y que fueron iniciadas por Platón y Aristóteles, Russell se convenció de que toda función proposicional (por ejemplo “x es impar” o “x es pariente de y”) tiene un rango de significación, y que cada rango forma un tipo. Es decir, para cada función tal hay asociada una totalidad formada por los objetos a los que la función puede aplicarse significativamente, totalidad que podrá verse como una clase pero que nunca podrá ser una clase universal. Leemos (Russell, 1908: p. 161; MLBTT, en adelante):

[…] si la función deja de ser significativa cuando la variable cae fuera de cierto rango, entonces, ipso facto, la variable queda confinada a ese rango, sin necesidad de establecerlo explícitamente. […] “todo hombre es mortal” significa […] “Si x es un hombre, x es mortal, para todos los valores de la función ‘si x es un hombre, x es mortal’”. Esta es una limitación interna sobre x, dada por la naturaleza de la función; y es una limitación que no requiere ser explícitamente enunciada, porque es imposible que una función sea verdadera con más generalidad que la determinada por todos sus valores.

Esta opinión se opone directamente a lo que Frege pensaba es un principio lógico: que todo objeto es capaz de saturar cualquier función de primer nivel y, consecuentemente, de todo objeto es verdadero o falso que pertenece a la extensión de la función. Lo que, en términos russellianos, equivale a sostener que el rango de toda función proposicional que sea aplicable a objetos es la totalidad de los objetos. Principio que aparentemente el propio Russell había adoptado en su libro de 1903, donde dice que las variables “[…] tienen un rango absolutamente irrestricto”. Desde este nuevo punto de vista resulta que ningún miembro de un tipo pertenece a otro tipo y, en consecuencia, la pertenencia es una relación entre objetos de diferente tipo (de diferencia mínima entre sí). Por ende la precisa forma lógica de “F ∈ G” es “La entidad F, de tipo n, pertenece a la entidad G, de tipo n+1”; en simbología usual: “Fⁿ ∈ Gⁿ⁺¹”. Y de ese modo no puede formularse la afirmación paradójica.

El planteo global de la cuestión de las paradojas presentado en PM (desarrollando tesis russellianas expuestas entre 1903 y 1908), junto con algunas de sus consecuencias, puede resumirse como sigue:

1. Un diagnóstico común. Todas las paradojas (conocidas hasta ese momento) derivan de la violación de un principio general contra la formación de círculos viciosos: toda entidad cuya existencia presuponga la totalidad de una colección de entidades no puede ser una de las entidades de esa colección. Violar este principio es caer en impredicatividad (error que implica presuponer ya definida x al definir x).

2. Toda función proposicional presupone la existencia de la totalidad de sus valores. Porque todos los valores de una función φx tienen que ser entidades bien determinadas, pero si, por ejemplo, la buena determinación de φa requiere que φx esté determinada, entonces φa no puede ser un valor de φx.¹² Por tanto,

3. Para toda función proposicional hay argumentos para los que la función no está definida (contra Frege). Y,

4. ‘φ(φx)’ no tiene sentido. Esto excluye la paradoja derivada de la presunta propiedad de ser una propiedad que no se autoaplica (el análogo intensional de la paradoja de Russell sobre clases).

5. La restricción impuesta por el principio contra círculos viciosos también parece implicar lo siguiente. Considérese la función de x definida como (φ) F(φ,x). Una función como esta es un ejemplo de función de primer tipo (porque sus únicos argumentos, los valores de ‘x’, son individuos) pero de segundo orden (porque involucra una variable, ‘φ’, cuyos valores son funciones de primer orden). Puesto que esta función presupone la totalidad de los valores de φ, ella no puede ser uno de estos valores. Por lo tanto, la totalidad de las funciones de x recorridas por φ no puede ser la totalidad de las funciones de x. Por tanto, no existe la totalidad de las funciones de x.¹³ Esto excluye las paradojas semánticas del tipo de las de Berry, Richard o del mentiroso. Tomemos el caso del mentiroso: la oración “Esta oración es falsa” utiliza la función “es falsa”, función que supone una totalidad de oraciones como sus argumentos, pero entre los que no puede estar la oración “Esta oración es falsa”. Porque la significatividad de “Esta oración es falsa” requiere que esté determinada la totalidad de los argumentos del predicado “es falsa”, que la compone, “antes” (conceptualmente antes) de que “Esta oración es falsa” adquiera significatividad. Explica Russell:

Cuando un hombre dice “Estoy mintiendo” debemos interpretarlo como queriendo decir: “Hay una proposición de orden n que estoy afirmando y que es falsa”. Esta es una proposición de orden n+1 [porque involucra una cuantificación sobre una totalidad de proposiciones de cierto tipo, n]; por tanto, el hombre no está afirmando ninguna proposición de orden n, por tanto su enunciado es falso, pero la falsedad de este enunciado no implica que esté haciendo un enunciado verdadero, a diferencia de la falsedad de “Estoy mintiendo” que parecía hacerlo. Esto soluciona la paradoja del mentiroso. (MLBTT)

6. Sin embargo, las restricciones impuestas por el principio adoptado impiden la demostración de afirmaciones matemáticas que se consideran verdades fundamentales, como el teorema de que todo conjunto no vacío de números reales acotado superiormente tiene una cota superior mínima, e impiden, en general, legitimar numerosos conceptos usuales cuya definición es impredicativa. Entonces,

7. Para lograr la demostración de teoremas como ese, PM incorpora un axioma que no se había pensado antes, el Axioma de Reducibilidad, que asegura que siempre habrá una función predicativa satisfecha por los mismos valores que satisfagan una función dada. Simbólicamente (F)(∃G)(x)[Fx⟺G!x]. Donde G!x es una función predicativa, lo que implica que es del orden más bajo compatible con el orden de los argumentos que tiene (i. e.: no presupone ninguna otra totalidad distinta de la totalidad de sus argumentos o de las totalidades que sus argumentos presupongan).

8. Por otra parte, la teoría de tipos impide definir una infinitud de números del modo como Frege había enseñado. Porque: sea 0 el conjunto de todos los conjuntos equivalentes al determinado por la función x ≠ x, y 1 el conjunto de todos los conjuntos equivalentes al conjunto {0}. Entonces 1 es de un tipo más alto que 0 y, en consecuencia, no existe ningún conjunto que los tenga a ambos como elementos, por tanto no existe 2, si se quisiera que 2, a la manera de Frege, fuera el conjunto de todos los conjuntos equivalentes a, precisamente, {0,1}. De modo que,

9. Para lograr que haya infinitos números, PM postula (en cada nivel de la jerarquía de tipos) otro axioma adicional, el Axioma de Infinitud. Por ejemplo: existen infinitas entidades de tipo 0.

10. La paradoja de Russell acerca de las clases se elimina de manera especial, acudiendo a la teoría de las descripciones, con la tesis de que los nombres de clase son símbolos incompletos, esto es, símbolos que per se no tienen referencia pero son tales que, sin embargo, la funciones proposicionales en las que aparecen (en el límite, las proposiciones en que aparecen) son equivalentes a otras en que esos nombres no aparecen (y en “su lugar” aparecen las funciones proposicionales aludidas en esos nombres de clase). Esto se logra mediante paráfrasis apropiadas; por ejemplo, ‘x ∈ A’ se transforma en ‘A!x’. Así, usar nombres de clase es un modo de hablar de funciones proposicionales pero sin distinguir entre las que sean coextensivas. Tiempo después, Russell resumiría este procedimiento (1914b):

La máxima suprema del filosofar científico es esta: siempre que sea posible deben reemplazarse por construcciones lógicas las entidades inferidas. […] El método por el cual se obtienen las construcciones es estrechamente análogo en este y en casos similares.¹⁴ Dado un conjunto de proposiciones que nominalmente conciernen a supuestas entidades inferidas, observamos cuáles son las propiedades que se requiere tengan las supuestas entidades para hacer verdaderas esas proposiciones. Entonces, mediante algo de ingenio lógico, construimos alguna función lógica entre entidades menos hipotéticas que tenga las propiedades requeridas. Reemplazamos las entidades inferidas supuestas por la función así construida, y de este modo obtenemos una interpretación nueva y menos dudosa del cuerpo de proposiciones en cuestión.

El análisis particular desarrollado en PM presenta dos importantes dificultades lógico-filosóficas. Por una parte, se presentan serias dudas acerca del carácter puramente lógico de los axiomas de reducibilidad y de infinitud. La existencia de infinitas entidades no parece una necesidad lógica, pero entonces el axioma de infinitud carece de justificación lógica. Y el axioma de reducibilidad parece un caso típico de postulación justificada únicamente porque ofrece una solución al problema atendido, rasgo que no garantiza su carácter de verdad lógica. Ambas observaciones sugieren que PM no logra fundamentar la tesis logicista. Pero, observemos otra vez, esta dificultad no pone en cuestión la legitimidad del tipo de análisis ejemplificado por PM. En cierto modo, el análisis ofrecido podría usarse para, precisamente, refutar esa tesis. Por otra parte, como el propio Russell pareció advertir en su texto de 1908 y como fue señalado luego por otros, entre ellos Wittgenstein, cualquier intento por exponer rigurosamente la teoría de tipos debería recurrir a un lenguaje cuya estructura viola lo establecido por esa misma teoría. Lo cual, para muchos, puede constituir una reductio ad absurdum de esa teoría. Aunque esta segunda dificultad puede tener un alcance mayor del que parece cuando se la confina al ámbito de la fundamentación de la matemática, ambas dificultades fueron reconocidas sólo en este ámbito y no disminuyeron la enorme influencia de PM en el desarrollo de la filosofía analítica del siglo XX. PM brindó, a la vez, un ejemplo de la ductilidad de los instrumentos de la nueva lógica para la tarea de clarificación del lenguaje del conocimiento, y un ejemplo de la fertilidad del método analítico para la comprensión y la teorización sobre los problemas filosóficos.

Como consecuencia, pronto se desarrollaron proyectos de clarificación que siguieron estos lineamientos. Entre los primeros, el intento russelliano de establecer la constitución de los objetos de la física a partir de los datos sensoriales (Russell, 1914a); los esfuerzos de Whitehead por obtener el espacio y el tiemplo relativistas a partir de un concepto no fenomenista de los sucesos, entendidos como el campo de la relación de extensión (Whitehead, 1922); y la muy influyente obra de Carnap, tanto su programa para la reconstrucción lógica de conceptos empíricos, su teoría de la constitución y su intento de reducción de todos los objetos de conocimiento empírico a una base formada por las vivencias de un sujeto percipiente (Carnap, 1928), como también su propuesta de análisis de la estructura general del lenguaje (Carnap, 1934). También se inserta en esta línea la célebre investigación de Tarski (1936) acerca del concepto de verdad, y uno de sus efectos principales, el vuelco decidido de Carnap (1942) hacia el análisis semántico del lenguaje del conocimiento.

Algunos de los rasgos característicamente asociados a PM fueron perdiendo importancia a medida que se desarrolló ese renovado esfuerzo analítico. Entre ellos, el privilegio del análisis sintáctico, el fundacionismo, la centralidad de la lógica clásica, el atomismo. Desde la segunda mitad del siglo XX se produjo un paulatino descrédito de los proyectos fundacionistas more geometrico; fue creciente la importancia de los abordajes semánticos y metateóricos. Por influencia de Wittgenstein, muchos analíticos rechazaron el marco de la lógica cuantificacional como clave de comprensión del significado. Por influencia de Quine se deterioró la confianza en ciertas categorías, como las dispuestas por la distinción analítico/sintético, y el holismo teórico ocupó un lugar junto a los análisis aislados.