Compromiso ontológico y niveles de realidad

                                                                                  Dr. Victor Oxley

Cuando afirmo que las paradojas no son contradicciones internas del lenguaje ni meros errores de razonamiento, sino síntomas de un cruce ilegítimo entre niveles ontológicos distintos, no estoy proponiendo una metáfora, sino una tesis estructural susceptible de formalización rigurosa. Mi punto de partida es que la realidad —y correlativamente nuestros discursos sobre ella— está estratificada en dominios relativamente autónomos. Cada nivel ontológico O_k puede representarse como una estructura:

O_k = (D_k, P_k, R_k)

donde:

D_k es el dominio de entidades propias del nivel k,

P_k es el conjunto de propiedades bien formadas aplicables exclusivamente a elementos de D_k,

R_k es el conjunto de relaciones internas admisibles entre miembros de ese dominio.

Un acto de predicación es ontológicamente correcto si y solo si satisface la condición de tipificación:

∀o ∈ D_k, ∀p ∈ P_k    ⇒    p(o) es bien formado

Por el contrario, existe cruce ilegítimo de niveles —y, por tanto, germen de paradoja— cuando:

∃j ≠ k, ∃o ∈ Dj, ∃_p ∈ P_k   tal que    p(o)

En términos simples: se predica de un objeto una propiedad que pertenece a otro nivel ontológico.

Ramsey y la desontologización de la proposición

En Facts and Propositions, Ramsey (1927/1990) sostiene que creer que p no consiste en relacionarse con una entidad abstracta llamada “proposición”, sino en estar dispuesto a actuar como si p fuera el caso. Formalmente, si representamos una creencia como una función disposicional:

B_s(p) = d

donde:

Bs es el estado de creencia del sujeto s,

p es el contenido proposicional,

d es una disposición conductual,

entonces la creencia no introduce nuevas entidades ontológicas, sino que describe una estructura funcional de comportamiento. Esta desontologización de la proposición prepara el terreno para su análisis de la existencia.

Quine y el compromiso ontológico

Ramsey sostiene que “existir” no es un predicado real añadido a los objetos, sino la expresión de una cuantificación. Decir “existe un F” equivale a afirmar:

∃x F(x)

La existencia no aparece como propiedad E(x), sino como operador lógico que liga una variable. Esta línea será radicalizada por Willard Van Orman Quine, quien formula su célebre tesis: “To be is to be the value of a bound variable” (Quine, 1948). En notación formal, el compromiso ontológico de una teoría T puede expresarse como:

Compromiso(T) = {x  ∣  T ⊨ ∃x}

Es decir, una teoría está ontológicamente comprometida con aquellas entidades que deben pertenecer al dominio de cuantificación para que sus enunciados sean verdaderos.

Bunge y la distinción categorial

Aquí introduzco un matiz decisivo, inspirado en Mario Bunge. En su Treatise on Basic Philosophy (1977), Bunge objeta que identificar existencia con cuantificación constituye una confusión categorial. El cuantificador existencial ∃ es un operador lógico perteneciente al nivel formal O_f, mientras que la existencia de un objeto real pertenece al nivel ontológico O_r. Confundir ambos implica sostener implícitamente:

Existencia(x) = (∃x)

lo cual es ilegítimo porque el operador ∃ no es un predicado de primer orden, sino parte de la sintaxis del sistema. Desde una perspectiva realista, la afirmación “existe un electrón” debe interpretarse no solo como:

∃x Electron(x)

sino como:

∃x ∈ D_fısico Electron(x)

donde D_fısico ⊆ D_r es el dominio de entidades físicas reales. El cuantificador expresa que “hay algo”, pero ese “algo” pertenece a un dominio ontológico previamente constituido. Por ello prefiero hablar, con Bunge, de “particularizador existencial”, el operador lógico particulariza dentro de un dominio dado, pero no funda ontológicamente dicho dominio.

Ejemplos de cruces ilegítimos

Banach–Tarski: El teorema establece que:

∃{A₁,…, A_n} ⊆ D_continuo

tal que, mediante movimientos rígidos, se obtienen dos esferas congruentes a la original. La existencia afirmada aquí es:

∃X ∈ D_matematico

El escándalo surge cuando se interpreta como:

∃X ∈ D_fısico

Formalmente, se comete la sustitución ilegítima:

D_matematico ≡ D_fısico

cuando en realidad:

D_matematico ≠ D_fısico

La paradoja no reside en el sistema formal, sino en el cruce ontológico.

Regresión teológica: Sea una función:

C: D_teologico → D_teologico

Preguntar “¿quién creó a Dios?” equivale a exigir:

∃x ∈ D_teologico  (C(x) = x)

Pero si la definición de C excluye puntos fijos por axioma:

∀x ∈ D_teologico, C(x) ≠ x

la pregunta es estructuralmente inconsistente dentro de ese modelo.

Paradoja del mentiroso: Sea:

T: L_A → {V, F}

un predicado de verdad definido en un metalenguaje L_k+1. La oración L_k que afirma:

X ≡ ¬T(X)

produce contradicción solo si se fuerza:

T_k(X) ∈ L_k

cuando la condición de tipificación exige:

T_{k + 1}(X) ∈ L_{k + 1}

La paradoja es, nuevamente, un cruce de niveles.

En síntesis, podemos decir que:

Ramsey muestra que muchos problemas surgen al hipostasiar operadores lógicos.

Quine identifica el compromiso ontológico con la cuantificación.

Bunge recuerda que la existencia real no se reduce al operador lógico.

La teoría de funciones proporciona la estructura formal que permite distinguir dominios, puntos fijos y regresiones.

Mi tesis añade que las paradojas emergen cuando se confunden estos estratos: cuando el operador lógico se trata como propiedad ontológica, cuando el dominio matemático se identifica con el físico, o cuando se aplican funciones fuera del dominio para el cual fueron definidas.

La paradoja no es un fallo del mundo ni del cálculo formal. Es el síntoma de que hemos olvidado especificar el dominio D_k pertinente antes de cuantificar, o que hemos tratado el cuantificador ∃ como si produjera ser en lugar de particularizar dentro de un dominio ya constituido. La claridad ontológica exige, por tanto, mantener explícita la estructura:

∃x ∈ D_k F(x)

y no permitir la elisión del índice k. Allí donde ese índice se borra, nace el vértigo conceptual.

Referencias

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

Quine, W. V. O. (1948). On what there is. Review of Metaphysics, 2(5), 21–38.

Ramsey, F. P. (1990). Facts and propositions (1927). En D. H. Mellor (Ed.), Philosophical Papers (pp. 34–51). Cambridge: Cambridge University Press.

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

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