Decir lo imposible: paradojas, funciones y niveles de realidad

                                                                                    Dr. Victor Oxley

En mis reflexiones en torno a la paradoja de Banach-Tarski, abrí una perspectiva que, desarrollada con cuidado, permite iluminar no solo un sorprendente resultado matemático, sino la naturaleza misma de las paradojas lógicas y su relación con los modelos formales que operamos, muchas veces sin conciencia de ello. Lo que comenzó como una indagación sobre una esfera que puede duplicarse por reordenamiento de sus partes derivó hacia una tesis de mayor alcance, las paradojas no son contradicciones en el lenguaje ni errores de razonamiento, sino síntomas de un choque entre ontologías de distinto nivel que el hablante mezcla sin advertirlo.

Recordemos brevemente en qué consiste la paradoja de Banach-Tarski. Demostrada por Stefan Banach y Alfred Tarski en 1924, afirma que es posible descomponer una esfera sólida en un número finito de partes y, reordenándolas mediante movimientos rígidos (rotaciones y traslaciones, sin estirar ni deformar), obtener dos esferas idénticas a la original, del mismo tamaño. El resultado es matemáticamente impecable, se sigue de los axiomas de la teoría de conjuntos, en particular del axioma de elección. Y sin embargo, choca frontalmente con nuestra intuición más elemental, en el mundo físico, la materia no se duplica por mucho que la cortemos y reordenemos sus pedazos.

¿Qué ocurre aquí? La tentación habitual es decir que nos enfrentamos a una paradoja, es decir, a una contradicción entre lo que la matemática demuestra y lo que la intuición nos dicta. Pero esa caracterización es insuficiente. No hay contradicción lógica alguna en Banach-Tarski; el resultado es perfectamente consistente dentro del sistema axiomático en el que se demuestra. La tensión no es interna al formalismo, sino entre el formalismo y otra cosa. ¿Qué otra cosa? Nuestra comprensión ingenua del espacio, del volumen, de la materia. Dicho de otro modo, la tensión se da entre dos ontologías distintas. La ontología del sentido común concibe el espacio como un receptáculo de objetos materiales que tienen volumen, que están formados por partes que también tienen volumen, y que no pueden duplicarse por simple reordenamiento. La ontología del continuo matemático, en cambio, concibe el espacio como un conjunto de puntos sin dimensión, donde existen subconjuntos tan intrincados que carecen de volumen definido (los llamados conjuntos no medibles), y donde el axioma de elección permite operaciones que desafían toda intuición física. Banach-Tarski es verdadero en la segunda ontología, pero inaplicable en la primera. La "paradoja" no está en el teorema, sino en el cruce ilegítimo de ambas ontologías, cuando alguien escucha el resultado y lo proyecta sobre el espacio físico, experimenta un choque.

Esta idea puede generalizarse, y para hacerlo resulta útil acudir a la teoría de funciones como modelo de comprensión de las relaciones de dependencia. Las funciones son el instrumento más elemental para representar cómo un objeto depende de otro, o cómo a cada elemento de un conjunto se le asigna un elemento de otro conjunto. Su comportamiento está regulado por teoremas precisos que anticipan, en el dominio abstracto, las posibilidades y límites de cualquier dominio que modelemos con ellas.

Consideremos la función más simple del mundo: M(x) = la madre de x. A cada persona x le asignamos su madre. Formalmente, tenemos una función M: P → P, donde P es el conjunto de las personas. Esta función tiene propiedades interesantes. Es unívoca: cada persona tiene una sola madre, lo que significa que M(x) tiene un único valor para cada x. No es sobreyectiva: no todas las personas son madres de alguien, esto es, existen y ∈ P tales que no hay ningún x con M(x) = y. Carece de puntos fijos: no existe x tal que M(x) = x, pues nadie es su propia madre. Formalmente, ¬∃x (M(x) = x).

Ahora bien, esta función puede servir para modelar no solo el parentesco, sino cualquier relación de dependencia unidireccional. Por ejemplo, podemos definir una función C(x) = el creador de x, donde C: E → E y E es el conjunto de las entidades creadas y creadoras. Trasladamos a ella las preguntas que antes nos hacíamos sobre la madre: ¿tiene esta función un punto fijo? Es decir, ¿existe un x tal que C(x) = x? Esto equivaldría a una entidad que se crea a sí misma. ¿Tiene la función un punto de partida? Esto es, ¿existe un x que no esté en la imagen de C, un creador no creado? Formalmente, ¿existe x ∈ E tal que para todo y, C(y) ≠ x? ¿Puede la cadena de creadores retroceder infinitamente? Esto es, ¿existe una sucesión infinita …, x₃, x₂, x₁ tal que C(x₁) = x₂, C(x₂) = x₃, …?

Lo fascinante es que estas preguntas, que parecen metafísicas o teológicas, tienen una formulación precisa en teoría de funciones, y las respuestas que esta proporciona iluminan la naturaleza de los problemas que plantean. La teoría de funciones nos dice que una cadena definida recursivamente necesita un punto de partida para estar bien fundada, pero también admite cadenas infinitas sin punto inicial si la función está definida sobre un conjunto infinito en ambas direcciones, como ocurre con los números enteros y la función sucesor S(n) = n + 1, que permite retroceder indefinidamente: …, -3, -2, -1, 0, 1, 2, 3, … Nos dice que los puntos fijos existen bajo ciertas condiciones, como establece el teorema del punto fijo de Brouwer para funciones continuas en dominios compactos y convexos: toda función continua f: D → D con D homeomorfo a un disco cerrado tiene al menos un punto x tal que f(x) = x. Pero este teorema no garantiza puntos fijos en dominios discretos como el de las personas o las entidades creadas. Nos dice que la pregunta por la regresión infinita no es en sí misma falaz, hay regresiones benignas, como la sucesión 1, 1/2, 1/4, 1/8, … que tiende a 0 y tiene un límite, y regresiones malignas, como la sucesión 1, 2, 3, 4, … que no tiene límite. La teoría de funciones proporciona criterios para distinguir unos casos de otros.

Lo que la teoría de funciones hace, en suma, es convertir preguntas metafísicas en preguntas sobre estructuras formales. Cuando alguien pregunta "¿quién creó a Dios?", la teoría de funciones responde, "Estás preguntando si la función 'creador' tiene un punto fijo o un punto inicial. Dime cómo está definida la función, cuál es su dominio y qué propiedades tiene, y te diré si puede tenerlos." La pregunta no es ilegítima en sí misma, pero su respuesta depende enteramente del modelo que adoptemos, y ese modelo implica una ontología que debe ser explicitada.

Esta manera de proceder revela algo profundo, la teoría de funciones no es solo una herramienta técnica, sino un espejo anticipatorio de la estructura del lenguaje y el pensamiento. Si los argumentos y razonamientos se modelan mediante funciones, entonces cada teorema sobre funciones es una predicción estructural sobre cómo pueden (o no) funcionar nuestros actos lingüísticos. Las funciones son la sintaxis del sentido. Los teoremas sobre funciones son teoremas sobre lo que puede y no puede hacerse con el lenguaje.

Consideremos un ejemplo sencillo. El teorema de Cantor demuestra que no existe una función biyectiva entre los números naturales y los números reales. Esto es, no hay una función f: ℕ → ℝ que sea simultáneamente inyectiva (a cada natural le corresponde un real distinto) y sobreyectiva (todo real es alcanzado por algún natural). La demostración construye un número diagonal que difiere de cada f(n) en la n-ésima cifra decimal, mostrando que siempre queda un real fuera de la lista. Esta misma estructura es la que aparece en la paradoja del mentiroso, un enunciado que dice de sí mismo que es falso genera una situación donde ningún valor de verdad puede asignarse establemente. La función diagonal de Cantor anticipa, en el dominio de los números, la estructura de lo que luego será una paradoja semántica.

Otro ejemplo: el teorema de punto fijo de Kleene en teoría de la computabilidad muestra que para cualquier función computable f, existe un número e tal que el programa con código e se comporta como f(e). Esto es, existe un punto fijo en el espacio de los programas. Este teorema anticipa que la autorreferencia no es intrínsecamente patológica; puede ser constructiva (como en "esta oración tiene cinco palabras") o destructiva (como en el mentiroso), dependiendo de las condiciones del sistema. La función de Ackermann, definida recursivamente por A(0, n) = n + 1, A(m + 1, 0) = A(m, 1), A(m + 1, n + 1) = A(m, A(m + 1, n)), crece más rápido que cualquier función recursiva primitiva. Esto anticipa que hay verdades inalcanzables por métodos limitados, lo que luego Gödel demostraría en el ámbito de la lógica, existen enunciados verdaderos pero indemostrables en sistemas formales consistentes y suficientemente expresivos. El teorema de Rice, que establece que cualquier propiedad no trivial del comportamiento de un programa es indecidible, anticipa el desfase entre sintaxis y semántica que Tarski formalizaría en su teorema de la indefinibilidad de la verdad, no hay un criterio puramente sintáctico para determinar la verdad semántica.

Lo que estos ejemplos muestran es que las funciones revelan la estructura profunda de lo que puede y no puede hacerse con el lenguaje. Cada vez que un lógico demuestra algo sobre funciones, está, sin saberlo, escribiendo un capítulo de una futura pragmática. Cantor no pensaba en el mentiroso, pero su diagonal es la misma que luego Gödel usaría para construir G, y que Tarski usaría para mostrar que la verdad no es definible. La función ya contenía todo.

Ahora bien, esta reflexión sobre las funciones y su capacidad para modelar relaciones de dependencia nos conduce de vuelta al problema ontológico planteado por Banach-Tarski. Pues lo que allí ocurre es que estamos modelando el espacio material (finito, intuible, discreto a escala humana) con el infinito continuo matemático (puramente abstracto, no intuible, denso). Y ese desajuste entre modelo y realidad es lo que produce el vértigo. Cuando afirmamos Banach-Tarski, estamos diciendo algo como, "El espacio material se comporta así." Pero el espacio material no se comporta así. Lo que se comporta así es el modelo matemático. El acto falla porque confundimos el mapa con el territorio, o más precisamente, porque pretendemos que el territorio tenga propiedades que solo tiene el mapa.

Esta misma estructura se reproduce en otros casos. En la paradoja del mentiroso, modelamos el lenguaje cotidiano (que opera con una ontología ingenua de referencia y verdad) con una semántica formal cerrada (que exige metalenguaje y prohíbe la autorreferencia total). En la paradoja de Russell, modelamos la definición ingenua de conjuntos (donde toda propiedad define un conjunto) con una teoría axiomática (que restringe la existencia para evitar contradicciones). En la pregunta por el creador, modelamos la cadena causal (que en el mundo físico tiene siempre un término anterior) con una función recursiva (que puede tener puntos fijos o regresiones infinitas). En todos los casos, el problema es el mismo, aplicamos un modelo formal a un dominio que no es el suyo, y el choque ontológico resultante lo experimentamos como paradoja.

La realidad está estratificada en niveles (físico, químico, biológico, social, etc.), y cada nivel tiene sus propias leyes, propiedades y categorías. El error categorial —o error de referencia— ocurre cuando se atribuyen propiedades de un nivel a objetos de otro nivel. Lo que aquí se propone es que las paradojas lógico-lingüísticas son un caso particular de ese error de referencia entre niveles ontológicos, solo que en este caso los niveles en conflicto no son solo los de la realidad material, sino también los de la realidad formal y la del lenguaje cotidiano.

Formalicemos esta idea. Sean O₁, O₂, …, Oₙ distintos niveles ontológicos, cada uno con su propio dominio de objetos Dₖ y su propio conjunto de propiedades Pₖ admisibles. Un acto de habla que predica la propiedad π ∈ Pⱼ sobre un objeto o ∈ Dₖ es ontológicamente bien formado si y solo si j = k, esto es, si la propiedad pertenece al mismo nivel ontológico que el objeto. Un acto de habla para el cual j ≠ k es un cruce ilegítimo de niveles, y su resultado será, o bien un sinsentido, o bien una paradoja, o bien una afirmación que, aunque formalmente correcta en algún sistema, resulta inaplicable o incomprensible en el nivel del objeto.

La paradoja del mentiroso puede verse entonces como un cruce entre el nivel del lenguaje cotidiano (donde las frases refieren a estados de cosas) y el nivel de la semántica formal (donde la verdad se define mediante predicados de verdad). La paradoja de Russell cruza el nivel de la definición ingenua de conjuntos con el nivel de la teoría axiomática. Banach-Tarski cruza el nivel del espacio físico intuible con el nivel del continuo matemático. La pregunta por la primera causa cruza el nivel de la causalidad empírica con el nivel de las funciones recursivas.

Lo que llamamos "paradoja" no es, entonces, una contradicción en el lenguaje ni un error de razonamiento. Es el síntoma de un salto ontológico no advertido. El hablante opera un modelo formal sin saberlo, y lo aplica a un dominio que no es el suyo. La paradoja es el momento en que el modelo se revela como modelo, chocando contra el límite de lo modelado.

Esta tesis tiene consecuencias importantes. En primer lugar, disuelve la pretensión de "resolver" las paradojas mediante ajustes sintácticos o semánticos. Las paradojas no se resuelven, se diagnostican, mostrando el cruce de niveles que las genera. En segundo lugar, explica por qué los matemáticos conviven pacíficamente con Banach-Tarski mientras que el público se escandaliza, los matemáticos saben qué ontología están usando, mientras que el público la desconoce y proyecta la ontología cotidiana sobre el resultado formal. En tercer lugar, abre una vía para comprender otros fenómenos contraintuitivos, como los de la mecánica cuántica o la relatividad, donde los resultados formales chocan con la intuición del sentido común precisamente porque cruzan niveles ontológicos.

La potencia explicativa de esta perspectiva se manifiesta también en su capacidad para diagnosticar falsos problemas. Cuando alguien pregunta "¿Dios puede crear una piedra tan pesada que ni él pueda levantarla?", la tradición teológica se enreda. Nuestro marco permite decir, estás mezclando la ontología de la omnipotencia (donde todo es posible) con la ontología de la física (donde las piedras tienen peso y las fuerzas tienen límites). La pregunta no tiene respuesta porque no hay un solo mundo donde ambas ontologías coexistan. No es que la pregunta sea estúpida, sino que presupone una ontología mixta que no existe.

Lejos de ser un artificio retórico, esta interpretación pragmática y ontológica de las paradojas constituye una auténtica ampliación del horizonte comprensivo. No se limita a renombrar el fenómeno, sino que revela su estructura subyacente como fenómeno de la acción y del cruce de niveles. La lógica dice qué falla (la consistencia, la verdad, la definibilidad). La pragmática dice cómo falla (el acto se bloquea a sí mismo). La ontología dice por qué falla, porque se han mezclado niveles que no debían mezclarse.

La mente humana puede reconocer esos límites y, desde fuera del sistema, comprender por qué el acto falla. Esa comprensión no elimina la paradoja, pero la disuelve como problema, transformándola en revelación. Las paradojas no son errores que haya que extirpar, sino síntomas necesarios de los límites de nuestras prácticas lingüísticas y de la estratificación de la realidad que el lenguaje, en su potencia unificadora, tiende a ignorar.

Así entendido, el enfoque aquí esbozado no es un juego de palabras, sino una propuesta filosófica que, al conectar la tradición analítica con la filosofía del lenguaje ordinario, con la teoría de funciones y con la ontología de niveles, promete iluminar aspectos de las paradojas que hasta ahora habían permanecido en la penumbra.

Referencias

Ackermann, W. (1928). Zum Hilbertschen Aufbau der reellen Zahlen. Mathematische Annalen, 99(1), 118-133. https://doi.org/10.1007/BF01459088

Austin, J. L. (1962). How to Do Things with Words. Oxford University Press.

Banach, S., & Tarski, A. (1924). "Sur la décomposition des ensembles de points en parties respectivement congruentes". Fundamenta Mathematicae, 6, 244-277.

Bunge, M. (1977). Treatise on Basic Philosophy. Vol. 3: Ontology I: The Furniture of the World. Reidel.

Bunge, M. (1979). Treatise on Basic Philosophy. Vol. 4: Ontology II: A World of Systems. Reidel.

Cantor, G. (1891). "Über eine elementare Frage der Mannigfaltigkeitslehre". Jahresbericht der Deutschen Mathematiker-Vereinigung, 1, 75-78.

Gödel, K. (1931). "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I". Monatshefte für Mathematik und Physik, 38, 173-198.

Kleene, S. C. (1938). "On Notation for Ordinal Numbers". The Journal of Symbolic Logic, 3(4), 150-155.

Rice, H. G. (1953). "Classes of Recursively Enumerable Sets and Their Decision Problems". Transactions of the American Mathematical Society, 74(2), 358-366.

Russell, B. (1902). Carta a Frege, 16 de junio. En J. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (pp. 124-125). Harvard University Press.

Tarski, A. (1936). "Der Wahrheitsbegriff in den formalisierten Sprachen". Studia Philosophica, 1, 261-405.

Wandschneider, D. (1993). "Explaining the Paradoxes of Logic – The Nub of the Matter and its Pragmatics". En PRAGMATIK, Vol. IV. Hamburg.

Decir y fracasar: las paradojas como actos de habla imposibles

Dr. Victor Oxley

 

La tradición filosófica ha abordado las paradojas lógicas —esa especie de vértigo del pensamiento que emerge en enunciados como "esta afirmación es falsa" o en la definición del conjunto de todos los conjuntos que no se pertenecen a sí mismos— desde dos grandes perspectivas. La primera, de índole semántica, las diagnostica como contradicciones en el nivel del significado: una frase que no puede ser ni verdadera ni falsa sin generar un círculo vicioso, o una definición que parece designar un objeto y sin embargo conduce a una antinomia. La segunda, de carácter sintáctico, las atribuye a una construcción defectuosa del lenguaje, proponiendo remedios como la prohibición de la autorreferencia o la jerarquización de tipos lógicos para extirpar de raíz la posibilidad misma de tales anomalías. Ambas aproximaciones, sin embargo, tratan las paradojas como enunciados problemáticos, algo anda mal con lo que se dice, o con el modo en que se dice. Esta distinción entre el producto lingüístico (la oración) y el proceso que lo genera (el acto de enunciación) remite a la clásica diferenciación trazada por Strawson entre una oración y su uso en contextos particulares. Pero cabe preguntarse si esta focalización en el producto lingüístico no descuida precisamente el proceso del que emerge.

Para fundamentar esta tesis resulta ineludible acudir a la teoría de los actos de habla desarrollada por John Langshaw Austin en su obra póstuma Cómo hacer cosas con palabras. Las ideas centrales de esta obra habían sido anticipadas por Austin en sus conferencias de la BBC de 1958, posteriormente publicadas como "Performative Utterances".

Austin parte de una constatación tan sencilla como revolucionaria, decir algo es, con frecuencia, hacer algo. Cuando en las circunstancias apropiadas pronuncio "sí, acepto" en una ceremonia nupcial, no estoy describiendo un matrimonio, sino contrayéndolo; cuando digo "te prometo que vendré", no estoy informando sobre una promesa, sino ejecutándola. A estos enunciados los denomina realizativos o performativos, y su rasgo distintivo es que no se evalúan en términos de verdad o falsedad, sino de felicidad o infelicidad. Un acto de habla es feliz cuando se cumplen ciertas condiciones procedimentales, contextuales y de sinceridad; es infeliz o desafortunado cuando alguna de esas condiciones se quebranta. Austin distingue además tres dimensiones en todo acto de habla, el acto locutivo (el acto de decir algo, con un sentido y una referencia), el acto ilocutivo (la acción que realizamos al decir algo, como prometer, ordenar o afirmar) y el acto perlocutivo (los efectos que producimos por decir algo, como convencer, asustar o irritar). Esta arquitectura conceptual nos proporciona las herramientas para abordar las paradojas desde una perspectiva pragmática. El enfoque se inscribe en la tradición inaugurada por Grice, quien mostró que el significado no se agota en el contenido semántico de las expresiones, sino que involucra principios de racionalidad comunicativa que regulan la interacción lingüística. Sin embargo, mientras Grice se ocupó de los mecanismos ordinarios de la conversación, aquí nos adentramos en sus límites patológicos.

Sea ⟨A,p⟩ la representación de un acto de habla, donde A es el tipo de acto ilocutivo (afirmar, definir, demostrar, etc.) y p es la proposición que constituye su contenido locutivo. Definimos una función de éxito F(A,p,c) que toma el valor 1 si el acto se realiza felizmente en el contexto c, y 0 en caso contrario. Las condiciones de felicidad de Austin pueden expresarse como un conjunto de requisitos R1, R2, …, Rn tales que:

F(A,p,c) = 1 ⟺ ⋀ i = 1ⁿ i=1 Ri(A,p,c)

donde cada Ri especifica una condición procedimental, contextual o de sinceridad. Un acto fallido es aquel en que F(A,p,c) = 0 por violación de al menos una de las condiciones. Este marco general será aplicado a continuación a cada paradoja, especificando las condiciones particulares que cada tipo de acto debe satisfacer.

Consideremos en primer lugar la paradoja del mentiroso, formulada en el enunciado "esta afirmación es falsa". Desde la semántica, nos encontramos ante un callejón sin salida, si es verdadera, es falsa; si es falsa, es verdadera. Pero si atendemos al acto de habla que se ejecuta, la cuestión se ilumina de otro modo. Quien emite ese enunciado pretende realizar un acto ilocutivo de afirmación, esto es, sostener algo como verdadero. Sin embargo, el contenido de su afirmación se refiere al valor de verdad del propio acto que está ejecutando. Es como si alguien dijera "te prometo que no estoy prometiendo nada", la fuerza ilocutiva se anula a sí misma. El acto no puede completarse porque las condiciones de felicidad de la afirmación —entre ellas, la posibilidad de que lo afirmado sea verdadero o falso sin interferir con el acto mismo de afirmar— resultan violadas. No estamos, pues, ante una proposición contradictoria, sino ante un acto fallido, la pretensión de afirmar se estrella contra su propia autorreferencia.

Aplicando formalismos anteriores, sea Afirmar(p) el acto ilocutivo de afirmar la proposición p. La condición de felicidad específica para la afirmación, que debe incorporarse al conjunto {Ri} para este tipo de acto, incluye:

RAf: V(p) ∈ {verdadero, falso} y p ≠ “Afirmar(p)”

donde V(p) es el valor de verdad de p. En la paradoja del mentiroso, p = “V(p) = falso”. La autorreferencia semántica hace que la evaluación de V(p) dependa del propio acto de afirmación, generando:

V(p) = verdadero ⇒ V(p) = falso

V(p) = falso ⇒ V(p) = verdadero

 

Lo que viola RAf al impedir una asignación estable de valor de verdad. Por tanto, F(Afirmar,p,c) = 0 : el acto es fallido. Esta imposibilidad de asignación estable no es sino la manifestación pragmática del teorema de Tarski sobre la indefinibilidad de la verdad, ningún lenguaje semánticamente cerrado puede contener su propio predicado de verdad sin generar contradicción. La paradoja del mentiroso es, desde esta óptica, el síntoma de esa imposibilidad estructural, y el fracaso del acto de afirmar es su correlato pragmático.

Algo análogo ocurre con la paradoja de Russell. La definición "sea R el conjunto de todos los conjuntos que no se pertenecen a sí mismos" parece impecable desde un punto de vista descriptivo. Pero si la consideramos como un acto de habla, específicamente como un acto de definición, advertimos su carácter problemático. Definir es un acto ilocutivo mediante el cual estipulamos el significado de un término o, en el contexto de la teoría de conjuntos, postulamos la existencia de un objeto con ciertas propiedades. En este caso, la propiedad definitoria ("no pertenecerse a sí mismo") se aplica al propio objeto que se está definiendo. La definición intenta construir un conjunto cuyas condiciones de pertenencia incluyen al conjunto mismo, generando una circularidad que impide que el acto definicional se complete. El fracaso no es del conjunto R —que simplemente no existe—, sino del acto que pretendía definirlo. La paradoja de Russell revela así los límites pragmáticos de la definición, no toda propiedad bien formada lingüísticamente puede servir de base para un acto definicional exitoso.

Retomando ideas de los formalismos anteriores, sea Definir(R, φ(x)) el acto de definir un conjunto R mediante la propiedad φ(x), con la condición existencial:

RDef : ∃R∀x(x ∈ R ↔ φ(x))

En la paradoja de Russell, φ(x) = x ∉ x. Si el acto fuera exitoso, existiría R tal que: ∀x(x ∈ R ↔ x ∉ x) Instanciando x = R obtenemos:

R ∈ R ↔ R ∉ R

Lo que constituye una contradicción lógica ⊥. Por tanto, la condición existencial no puede satisfacerse: ¬∃R∀x(x ∈ R ↔ x ∉ x). El acto definicional falla porque la propiedad φ es impredicativa respecto del acto mismo. Formalmente, F(Definir,R, φ) = 0. Nótese la analogía estructural que se da con lo que formalizamos lineas atrás, la autorreferencia (semántica en el mentiroso, definicional en Russell) impide que el acto satisfaga sus condiciones de felicidad, aunque la naturaleza del acto sea diferente.

El caso de los teoremas de incompletitud de Kurt Gödel es, sin duda, el más sutil y revelador. En su artículo fundacional de 1931, Gödel construyó mediante una ingeniosa numeración un enunciado que afirma su propia indemostrabilidad, demostrando así que todo sistema formal consistente y lo suficientemente expresivo es necesariamente incompleto. El enunciado G, construido mediante la ingeniosa técnica de la numeración de Gödel, afirma de sí mismo "no soy demostrable". Desde una perspectiva semántica, G resulta ser verdadero pero indemostrable dentro del sistema, no hay paradoja, sino incompletitud. Ahora bien, si adoptamos la óptica pragmática, G se nos presenta como un enunciado que versa sobre la posibilidad de realizar un acto determinado, el acto de demostrar. G afirma que el acto de demostrarlo a él mismo no puede ejecutarse. Y en efecto, cualquier intento de demostración conduce a una contradicción, si se demostrara, entonces sería falso, violando la condición de que solo lo verdadero es demostrable en un sistema consistente. El acto de demostración, aplicado a G, es imposible. Gödel no ha construido una paradoja, sino que ha exhibido un límite intrínseco de la acción demostrativa. Su teorema demuestra que, en todo sistema formal lo suficientemente expresivo, existe al menos un acto de demostración que no puede realizarse con éxito, y ese acto es precisamente aquel que el enunciado G describe como imposible. La incompletitud se revela entonces como un fenómeno pragmático, la acción de demostrar tiene límites internos que ningún refinamiento del sistema puede eliminar.

Extendiendo las ideas formales anteriores al ámbito metamatemático, sea S un sistema formal que cumple las condiciones del primer teorema de incompletitud (consistente, recursivamente axiomatizable y que contiene suficiente aritmética). Definimos el acto de demostración DemostrarS(ψ) como la existencia de una prueba formal de ψ en S. Gödel construye un enunciado G tal que:

G ↔ ¬DemostrarS(G)

Por el teorema, si S es consistente, entonces G es verdadero pero no demostrable:

V(G) = verdadero y ¬DemostrarS(G)

Desde la perspectiva pragmática, G es un enunciado que afirma la imposibilidad de realizar el acto de demostrarlo. Cualquier intento de ejecutar DemostrarS(G) conduce a una contradicción con la consistencia de S. Luego:

F(DemostrarS,G) = 0 por necesidad estructural.

El teorema demuestra que ¬∃S∀ψ(V(ψ) → DemostrarS(ψ)). Esto es, no existe sistema alguno en el que todos los actos de demostración de enunciados verdaderos sean realizables. A diferencia de lo expuesto líneas atrás, donde el fracaso era local (un acto específico falla), aquí el teorema muestra un fracaso universal, ningún sistema puede garantizar el éxito de todos sus actos demostrativos. La incompletitud es, por tanto, la expresión formal de un límite pragmático necesario de la acción demostrativa.

Esta lectura pragmática de las paradojas permite trazar una distinción fundamental entre tipos de autorreferencia. Siguiendo la sistematización de Searle, que desarrolló y formalizó la teoría austiniana distinguiendo entre reglas constitutivas y regulativas de los actos de habla, podemos entender las condiciones de felicidad como reglas constitutivas cuya violación no produce un acto imperfecto, sino la ausencia misma del acto.

La autorreferencia semántica —aquella en la que un enunciado predica sobre su propio valor de verdad— genera paradoja y conduce al fracaso del acto ilocutivo de afirmar, como se formalizó anteriormente. La autorreferencia sintáctica —como en "esta oración tiene cinco palabras", donde el enunciado describe su propia forma— es perfectamente inocua, pues no interfiere con la fuerza ilocutiva. La autorreferencia pragmática, por último, es aquella en la que un acto de habla se refiere a la posibilidad de ejecutar ese mismo tipo de acto; cuando las condiciones de esa referencia generan circularidad, el resultado es el fracaso del acto, como se ejemplificaron en formalismos anteriores. Esta tipología muestra que la peligrosidad de la autorreferencia no reside en una propiedad mística de la circularidad, sino en el tipo de acción que se ve afectada y en las condiciones que la rigen.

Llegados a este punto, es preciso enfrentar una objeción que podría formularse contra toda esta construcción, ¿no estaremos ante un mero ardid letrístico, un juego de palabras que se limita a rebautizar las paradojas como "actos fallidos" sin aportar verdadera comprensión? ¿No será que simplemente hemos cambiado la etiqueta "contradicción semántica" por la de "acto ilocutivo infeliz", dejando intacto el misterio? La objeción es seria y merece una respuesta concluyente. Una refutación contundente de esta acusación se encuentra en el trabajo del filósofo Dieter Wandschneider, quien ha analizado en profundidad la estructura pragmática de las antinomias lógicas.

Wandschneider demuestra que el núcleo de las paradojas reside en lo que denomina un "autocondicionamiento negativo", una estructura en la que un concepto posee, desde el punto de vista semántico, un carácter negativo, pero desde su estatus pragmático como concepto, un carácter positivo. En su análisis, Wandschneider muestra que esta ambivalencia no es una mera curiosidad lógica, sino que revela una estructura ontológica fundamental, "la paradoja no es un error, sino la manifestación necesaria de un límite constitutivo de la racionalidad discursiva" (Wandschneider, 1993, p. 245). Esta ambivalencia es irresoluble si se permanece en el nivel semántico, pero se vuelve comprensible cuando se incorpora la dimensión pragmática. Como vimos en formalismos anteriores estos han exhibido precisamente esta ambivalencia, en cada caso, la autorreferencia genera una estructura en la que el contenido semántico (lo que se dice) y la fuerza pragmática (lo que se hace) entran en conflicto, haciendo que el acto fracase necesariamente. No se trata, por tanto, de un simple cambio de vocabulario, sino de la identificación de una estructura ontológica de la acción lingüística que las aproximaciones puramente lógicas no pueden capturar.

La potencia explicativa de esta perspectiva se manifiesta en varios frentes. En primer lugar, explica por qué la autorreferencia no es intrínsecamente patológica, solo lo es cuando afecta a las condiciones de éxito del acto que se ejecuta, como mostramos formalmente en contraste con la autorreferencia sintáctica inocua. En segundo lugar, permite comprender por qué las soluciones puramente sintácticas (como la teoría de tipos de Russell) logran evitar las paradojas pero no explicarlas, son técnicas profilácticas, no diagnósticos. El formalismo aquí desarrollado, al incorporar explícitamente la dimensión pragmática en la función F(A,p,c), proporciona un diagnóstico estructural que la mera sintaxis no puede ofrecer. En tercer lugar, y esto es quizá lo más relevante, abre una vía de conexión entre la lógica matemática y la filosofía del lenguaje que hasta ahora había permanecido inexplorada. Los teoremas de Gödel, leídos desde esta óptica, no son solo resultados sobre la verdad y la demostrabilidad, sino sobre la naturaleza de la acción demostrativa misma, sobre sus límites constitutivos. Hemos formalizado esta conexión, mostrando que el teorema de incompletitud puede interpretarse como la demostración de que, para todo sistema S, existe al menos un acto demostrativo F(DemostrarS, G) = 0. La mente humana puede reconocer esos límites y, desde fuera del sistema, comprender por qué el acto falla; la máquina, que solo ejecuta reglas sintácticas, choca con el límite sin poder trascenderlo. Esta diferencia, que apunta a lo más profundo de la cognición, no sería accesible sin el cambio de marco conceptual que aquí se propone.

Lejos de ser un artificio retórico, la interpretación pragmática de las paradojas constituye, pues, una auténtica ampliación del horizonte comprensivo. No se limita a renombrar el fenómeno, sino que revela su estructura subyacente como fenómeno de la acción. Las paradojas dejan de ser vistas como anomalías del lenguaje que es necesario extirpar, y pasan a ser comprendidas como síntomas necesarios de los límites de nuestras prácticas lingüísticas. La lógica dice qué falla (la consistencia, la verdad); la pragmática dice cómo falla (el acto se bloquea a sí mismo). El aparato formal introducido a lo largo de este escrito ha permitido articular esta distinción con precisión, la función F y las condiciones Ri especifican las condiciones de éxito; la imposibilidad de satisfacerlas para ciertos actos autorreferentes revela la estructura del fracaso. Ambas perspectivas son necesarias, y la segunda no sustituye a la primera, sino que la complementa y la fundamenta. Así entendido, el enfoque aquí esbozado no es un juego de palabras, sino una propuesta filosófica sustantiva que, al conectar la tradición analítica con la filosofía del lenguaje ordinario, promete iluminar aspectos de las paradojas que hasta ahora habían permanecido en la penumbra.

La mente humana puede reconocer esos límites y, desde fuera del sistema, comprender por qué el acto falla; la máquina, que solo ejecuta reglas sintácticas, choca con el límite sin poder trascenderlo. Esta diferencia remite a la distinción trazada por Brandom entre seguir una regla ciegamente y comprender su normatividad, la máquina se limita a ejecutar el algoritmo; el agente humano puede evaluar la regla misma y reconocer sus limitaciones constitutivas. Esta diferencia, que apunta a lo más profundo de la cognición, no sería accesible sin el cambio de marco conceptual que aquí se propone.

Referencias

Austin, J. L. (1962). How to Do Things with Words. Oxford University Press.

Austin, J. L. (1979). "Performative Utterances". En Philosophical Papers (3ª ed.). Oxford University Press.

Brandom, R. (1994). Making It Explicit: Reasoning, Representing, and Discursive Commitment. Harvard University Press.

Gödel, K. (1931). "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I". Monatshefte für Mathematik und Physik, 38, 173-198.

Grice, H. P. (1975). "Logic and Conversation". En P. Cole & J. Morgan (eds.), Syntax and Semantics, Vol. 3: Speech Acts. Academic Press.

Searle, J. R. (1969). Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press.

Strawson, P. F. (1950). "On Referring". Mind, 59(235), 320-344.

Tarski, A. (1936). "Der Wahrheitsbegriff in den formalisierten Sprachen". Studia Philosophica, 1, 261-405.

Wandschneider, D. (1993). "Explaining the Paradoxes of Logic – The Nub of the Matter and its Pragmatics". En PRAGMATIK, Vol. IV. Hamburg.