## El "hubiese" como negatividad constitutiva: De la sintaxis gramatical a la emergencia de la ontología formal
### Una reconstrucción artefactual de la posibilidad, la matemática y la probabilidad
Dr. Victor Oxley (victoroxley@gmail.com)
### Fundamentos del marco artefactual
El presente artículo parte de una constatación lingüística elemental: el "hubiese" español existe como forma verbal, pero aquello a lo que refiere —escenarios alternativos, lo que no ocurrió— no existe en el mundo actual. Esta tensión entre **presencia operativa** e **inexistencia ontológica** es el punto de partida de una reconstrucción artefactual de la posibilidad.
Para abordarla, adoptamos la **semántica de los constructos** de Mario Bunge (1974, 1977, 1979), que distingue tres niveles ontológicos:
- **Hechos ($H$)**: entidades concretas del mundo (objetos, eventos, propiedades). Su existencia es independiente del lenguaje.
- **Constructos ($C$)**: objetos conceptuales (conceptos, proposiciones, teorías, escenarios). Su existencia depende de prácticas conceptuales y lingüísticas.
- **Símbolos ($S$)**: objetos físicos (sonidos, marcas) que designan constructos.
Las relaciones fundamentales son:
- **Designación ($D$)**: un símbolo designa un constructo.
- **Referencia ($R$)**: un constructo refiere a hechos (o a otros constructos).
En esta clave, el "hubiese" es un **símbolo** que designa un **constructo** (la operación contrafáctica). Ese constructo refiere a hechos no actuales ($\neg p$ en $w_0$), pero **no los representa como existentes**. La paradoja se disuelve: el "hubiese" hace existir lo no-existente **como constructo**, no como hecho.
### Tesis centrales
1. **Tesis genética**: La posibilidad no preexiste al contrafáctico, sino que se **genera operativamente** a partir de la negación de lo actual. El lenguaje, mediante su capacidad combinatoria, construye escenarios alternativos desde la no-actualidad.
2. **Tesis semántica/ontológica**: Los escenarios de posibilidad generados no son hechos ni requieren fundamentación ontológica en entidades modales (mundos posibles). Son **constructos** cuya legitimidad no es la verdad por correspondencia, sino la **validez operativa**.
### Validez operativa
Un constructo $c$ es **operativamente válido** si cumple tres condiciones:
- **Coherencia ($Coh$)**: es internamente consistente y compatible con el trasfondo teórico aceptado ($T$).
- **Utilidad ($Uti$)**: genera consecuencias no triviales útiles para la acción o la inferencia ($SD(c) \neq \emptyset$).
- **Relevancia ($Rel$)**: su referencia ($R(c)$) intersecta el contexto discursivo relevante ($\mathcal{C}xt$).
Formalmente: $\mathcal{F} \models_{op} c \iff Coh(c) \land Uti(c) \land Rel(c)$.
### El operador de posibilidad contextual
Definimos $\Diamond_c p$ como un **constructo** generado por la regla:
$$\frac{\neg p \quad w_0 \quad \mathcal{F} \models_{op} \Gamma(p)}{\Diamond_c p}$$
donde $\Gamma(p)$ es un escenario donde $p$ es verdadero y cumple las condiciones de validez operativa. El operador no es primitivo; se **reconstruye** en términos no modales (coherencia, utilidad, relevancia), disolviendo la circularidad que afecta a las semánticas modales estándar.
Este marco se sitúa en diálogo con:
- **Ramsey (1927, 1929)**: las creencias son hábitos de acción, las teorías son instrumentos, las ficciones pueden ser racionalmente útiles.
- **Quine (1948, 1953)**: se comparte el rechazo del compromiso ontológico con mundos posibles como hechos, pero se retienen estos como **constructos** en lugar de eliminarlos mediante paráfrasis.
- **Bunge (1974, 1977, 1979)**: se adopta la tríada símbolo-constructo-hecho y el cálculo de la referencia, abandonando solo el correspondentismo para el dominio contrafáctico.
Con estos fundamentos establecidos, examinamos cómo la matemática ejemplifica esta potencia generativa de la sintaxis, y cómo la probabilidad y la estadística se reconceptualizan como geometrías del artefacto semántico.
### 5. La matemática como tecnología de emergencia ontológica
La matemática constituye el campo de pruebas más riguroso para el artefactualismo semántico. En ella, la semantización de una idea permite que la transformación de sus símbolos engendre realidades estructurales. Examinaremos cinco casos paradigmáticos.
### 5.1. La unidad imaginaria ($i$) y la negación de la restricción
En el sistema de los números reales, $\sqrt{-1}$ es una imposibilidad fáctica. No existe ningún número real cuyo cuadrado sea $-1$. Sin embargo, la introducción del símbolo $i$ bajo la regla $i^2 = -1$ es un acto de creación técnica. Al aceptar esta regla sintáctica y mantener la coherencia operativa, emerge el **Plano Complejo**.
Desde nuestro marco artefactual:
- El símbolo "$i$" designa un constructo que no tiene referencia en $H$ (no hay hecho que sea $\sqrt{-1}$).
- Su validez operativa: $Coh$ se satisface porque la teoría de números complejos es internamente consistente; $Uti$ es enorme (resolución de ecuaciones polinómicas, análisis complejo, física cuántica); $Rel$ se determina por el contexto matemático.
- El Plano Complejo no es un "mundo posible" preexistente que se descubre, sino un **artefacto semántico** que se construye operativamente.
### 5.2. El álgebra y la variable como operador de desplazamiento
La transición de la aritmética al álgebra simbólica mediante la variable ($x$) permitió al lenguaje liberarse de los objetos concretos. Al tratar la "incógnita" como un objeto semantizado, el lenguaje matemático adquiere la capacidad de operar sobre lo que "podría ser" o lo que "no está presente".
En términos artefactuales:
- La variable $x$ es un constructo cuya referencia no es un hecho particular, sino una **clase de hechos posibles**.
- Las ecuaciones algebraicas ($\forall x (ax^2+bx+c=0 \to x = \frac{-b \pm \sqrt{b^2-4ac}}{2a})$) son constructos cuya validez operativa no depende de que exista un $x$ concreto, sino de la coherencia de las transformaciones sintácticas.
### 5.3. Geometrías no euclidianas y la negatividad del axioma
Bolyai y Lobachevsky demostraron que la posibilidad es un resultado técnico al operar sobre la negatividad del quinto postulado de Euclides. Al negar la unicidad de la paralela y mantener la coherencia sintáctica, engendraron semánticas de espacios curvos.
Desde nuestro marco:
- El quinto postulado es un constructo en $C$.
- Su negación ($\neg$P5) es una operación sintáctica que genera nuevos constructos.
- La validez operativa de las geometrías no euclidianas no requirió un mundo físico preexistente; su validez emanó de la arquitectura de sus transformaciones simbólicas ($Coh$ interna, $Uti$ para la física, $Rel$ en el contexto matemático).
### 5.4. Cantor y la jerarquía de lo infinito
Georg Cantor (1891) utilizó la transformación sintáctica de los símbolos de conjunto para subvertir la ontología del infinito como magnitud única. Mediante el argumento de **diagonalización**, Cantor probó que existen distintos "tamaños" de infinitud ($\aleph_0, \aleph_1$).
En clave artefactual:
- No descubrió estos infinitos en un plano metafísico; los **engendró** al transformar las reglas combinatorias del lenguaje de conjuntos.
- Los números transfinitos son constructos cuya validez operativa se evalúa dentro de la teoría de conjuntos ($Coh$ con los axiomas, $Uti$ para fundamentar el análisis, $Rel$ en el contexto de la fundamentación matemática).
### 5.5. Gödel: la sintaxis que supera la demostrabilidad
El Teorema de Incompletitud de Kurt Gödel (1931) representa la culminación de esta potencia generativa. Gödel asignó números a la sintaxis lógica (Numeración de Gödel), permitiendo que el lenguaje hablara de su propia estructura.
Desde nuestro marco:
- La sentencia gödeliana $G$ que afirma su propia no-demostrabilidad es un **constructo**.
- Su validez operativa: $Coh$ dentro del sistema (no genera contradicción), $Uti$ (revela límites fundamentales de los sistemas formales), $Rel$ en el contexto de la metamatemática.
- Lo crucial es que la sintaxis genera una **semántica de la verdad** (en sentido tarskiano) que desborda la técnica deductiva del sistema. Para el artefactualismo, esto muestra que los constructos pueden tener propiedades que no son reducibles a las reglas de su generación.
### 5.6. Síntesis: la matemática como artefactualismo en acción
Los cinco casos muestran un patrón común:
1. Se parte de una restricción sintáctica o una imposibilidad fáctica.
2. Mediante una operación de negación o transformación, se genera un nuevo constructo.
3. Ese constructo adquiere validez operativa ($Coh, Uti, Rel$) dentro de la práctica matemática.
4. Posteriormente, puede encontrar aplicaciones empíricas (física, ingeniería, etc.), pero su legitimidad no depende de ellas.
La matemática no describe un reino platónico preexistente; **construye artefactos semánticos cuya realidad es la de su coherencia operativa**.
### 6. Impacto en la estadística y las probabilidades: la propensión como geometría del artefacto
La reconstrucción artefactual de la posibilidad tiene un impacto profundo en la interpretación de la estadística y la probabilidad, especialmente en el concepto de **propensión** (Popper, 1959).
### 6.1. La crisis de la interpretación de la probabilidad
Tradicionalmente, la probabilidad ha sido interpretada de tres maneras:
- **Interpretación frecuentista:** la probabilidad es el límite de la frecuencia relativa en una secuencia infinita de ensayos. Problema: las secuencias infinitas son idealizaciones; no hay hechos que correspondan a límites.
- **Interpretación subjetivista (bayesiana):** la probabilidad es un grado de creencia. Problema: parece hacer de la probabilidad una cuestión de psicología individual.
- **Interpretación propensionista (Popper):** la probabilidad es una propiedad disposicional de los sistemas físicos (la "propensión" a producir ciertos resultados). Problema: ¿qué estatuto ontológico tiene esa propensión? ¿Es un hecho oculto?
### 6.2. Reconstrucción artefactual de la propensión
Desde la perspectiva artefactualista, la probabilidad no es:
- Una propiedad física oculta de las cosas (realismo ingenuo),
- Ni un mero estado de ignorancia mental (subjetivismo),
- Ni una frecuencia idealizada.
La probabilidad es la **geometría resultante del artefacto semántico**. Es decir:
- Cuando se construye un modelo probabilístico, se está operando sintácticamente sobre lo que "hubiese ocurrido" bajo ciertas condiciones.
- La **propensión** no es una cualidad metafísica de los objetos, sino la **dirección estructural** hacia la cual apunta el artefacto semántico una vez que el modelo ha sido formalizado.
- La inferencia estadística no es una "adivinación", sino una **transformación de símbolos** (datos actuales) en una estructura de tendencias.
### 6.3. Formalización artefactual de la probabilidad
Podemos extender nuestro marco $\mathcal{L}_{CF}$ al dominio probabilístico definiendo un **espacio de probabilidad constructual**:
$$\mathcal{P} = \langle \Omega, \mathcal{F}, P \rangle
$$
donde:
- $\Omega$ es un conjunto de **constructos** (escenarios, resultados posibles). Cada $\omega \in \Omega$ es un constructo en $C$.
- $\mathcal{F}$ es una $\sigma$-álgebra de constructos sobre $\Omega$ (eventos).
- $P: \mathcal{F} \to [0,1]$ es una **medida de validez operativa** que satisface los axiomas de Kolmogorov, pero interpretada como:
$$P(A) = \frac{\text{validez operativa ponderada de los escenarios en } A}{\text{validez operativa total de } \Omega}
$$
Esta definición tiene las siguientes consecuencias:
1. **La probabilidad no es una propiedad de los hechos:** $P(A)$ no es un hecho en $H$; es una propiedad del constructo $A$ en relación con el marco $\Omega$.
2. **La propensión es una dirección estructural:** En un experimento con una moneda "justa", la propensión a obtener cara no es una propiedad oculta de la moneda, sino la **geometría del artefacto semántico** que hemos construido: $\Omega = \{\text{cara}, \text{cruz}\}$, $\mathcal{F}$ las combinaciones, $P(\text{cara}) = P(\text{cruz}) = 0.5$ porque así lo define la **coherencia operativa** del modelo (simetría, indiferencia, etc.).
3. **El "hubiese" estadístico:** Cuando un científico dice "si repitiéramos este experimento muchas veces, la frecuencia de cara se aproximaría a 0.5", está usando el "hubiese" estadístico. El escenario contrafáctico (repeticiones infinitas) es un **constructo** cuya validez operativa se evalúa por su coherencia con la teoría de la probabilidad, su utilidad para la inferencia y su relevancia para el problema en cuestión.
### 6.4. Inferencia estadística como transformación artefactual
La inferencia estadística (estimación, contraste de hipótesis, intervalos de confianza) se reconceptualiza como:
1. **Datos actuales ($D \in H$):** hechos observados.
2. **Modelo probabilístico ($M \in C$):** un constructo que define un espacio de probabilidad constructual.
3. **Transformación:** los datos se incorporan al modelo para producir **constructos derivados** (estimadores, estadísticos de contraste, etc.).
4. **Validez operativa:** la bondad de un procedimiento inferencial se evalúa no por su "verdad" (no hay verdad por correspondencia en el dominio contrafáctico), sino por su coherencia ($Coh$), utilidad ($Uti$) y relevancia ($Rel$).
Este enfoque tiene la ventaja de desactivar paradojas clásicas (como la interpretación de los intervalos de confianza: "hay un 95% de probabilidad de que el parámetro esté en el intervalo" no es un enunciado sobre hechos, sino sobre la **geometría del artefacto** construido).
### 7. La dimensión obstructiva: el riesgo de la sintaxis libre
La potencia generativa de la sintaxis posee una vertiente **obstructiva** cuando se desacopla de sus condiciones de validez operativa. Rudolf Carnap (1932), en su crítica a Heidegger, identificó cómo el lenguaje permite construir oraciones gramaticalmente correctas pero lógicamente vacías.
Al analizar frases como *"La nada nadea"*, Carnap observa una **reificación del operador lógico**: se toma la negación y se trata como un objeto activo. En términos de nuestro marco, la sintaxis no construye un artefacto operativamente válido, sino un **espectro**: un constructo que no cumple $Coh$ (inconsistente con el trasfondo teórico), ni $Uti$ (sin consecuencias útiles), ni $Rel$ (sin anclaje en el contexto discursivo).
La diferencia entre la matemática y la metafísica obstructiva no es que una use "sintaxis" y la otra no; es que la matemática **controla** la generación sintáctica mediante:
- Restricciones de coherencia (axiomas, reglas de inferencia),
- Criterios de utilidad (aplicaciones, poder explicativo),
- Relevancia contextual (problemas que resuelve).
El "hubiese" metafísico descontrolado crea escenarios que simulan una ontología profunda donde solo hay ruido combinatorio. El artefactualismo no prohíbe estas construcciones, pero proporciona criterios para distinguirlas de los artefactos legítimos.
### 8. Tesis finales
Las siguientes tesis resumen la argumentación:
1. **La posibilidad no es primitiva.** En los contrafácticos, la posibilidad aparece asociada a la negación de lo actual. Es derivada como **constructo**, no fundacional como hecho.
2. **La matemática es una tecnología de emergencia ontológica.** Sus entidades (números imaginarios, espacios no euclidianos, infinitos transfinitos, sentencias indecidibles) son **artefactos semánticos** generados por transformaciones sintácticas, cuya validez operativa es independiente de la correspondencia con hechos preexistentes.
3. **La probabilidad y la propensión son geometrías del artefacto.** No son cualidades metafísicas de los objetos ni meros estados mentales, sino propiedades estructurales de los modelos (artefactos) que construimos para operar sobre lo que "hubiese ocurrido".
4. **La validez operativa reemplaza a la verdad por correspondencia en el dominio contrafáctico.** Las condiciones $Coh$, $Uti$ y $Rel$ proporcionan criterios intersubjetivos para evaluar constructos sin compromiso ontológico con mundos posibles como hechos.
5. **El artefactualismo ofrece una tercera vía.** Frente al realismo modal (Lewis, Tugby) y al ficcionalismo (Rosen), nuestra propuesta sitúa el peso explicativo en las operaciones lingüístico-pragmáticas del "hubiese", disolviendo la circularidad de las semánticas modales estándar.
### 9. Conclusión
El "hubiese" revela que la posibilidad no es un horizonte preexistente de hechos, sino el resultado de operaciones semánticas y pragmáticas que generan **constructos** sobre lo no-actual. La matemática ejemplifica esta potencia generativa en su forma más rigurosa: desde los números imaginarios hasta los teoremas de incompletitud, sus entidades son artefactos cuya realidad es la de su coherencia operativa. La probabilidad, reinterpretada como geometría del artefacto, deja de ser un problema ontológico para convertirse en un campo de construcción técnica.
La integración de sintaxis, semántica y pragmática muestra que el "hubiese" no es un mero operador lógico, sino un dispositivo lingüístico que instituye **constructos** de posibilidad. La tarea de una filosofía del lenguaje atenta a las lenguas naturales no es reducir estas operaciones a formalismos ontológicamente comprometidos, sino explicar cómo el lenguaje construye alternativas desde la negación de lo actual, y cómo la matemática y la estadística refinan esa capacidad hasta convertirla en una tecnología de exploración de lo posible.
### Referencias (APA)
- Austin, J. L. (1962). *How to Do Things with Words*. Oxford University Press.
- Bunge, M. (1974). *Treatise on Basic Philosophy, Vol. 1: Sense and Reference*. Dordrecht: Reidel.
- Bunge, M. (1977). *Treatise on Basic Philosophy, Vol. 3: Ontology I: The Furniture of the World*. Dordrecht: Reidel.
- Bunge, M. (1979). *Treatise on Basic Philosophy, Vol. 4: Ontology II: A World of Systems*. Dordrecht: Reidel.
- Bunge, M. (2006). *Chasing Reality: Strife over Realism*. University of Toronto Press.
- Cantor, G. (1891). Über eine elementare Frage der Mannigfaltigkeitslehre. *Jahresbericht der Deutschen Mathematiker-Vereinigung*, 1, 75-78.
- Carnap, R. (1932). Überwindung der Metaphysik durch logische Analyse der Sprache. *Erkenntnis*, 2, 219-241.
- Descartes, R. (2011). *Geometría*. Gredos. (Original 1637)
- Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. *Monatshefte für Mathematik und Physik*, 38, 173-198.
- Greenberg, M. J. (1993). *Euclidean and Non-Euclidean Geometries: Development and History*. W. H. Freeman.
- Hellman, G. (1989). *Mathematics without Numbers: Towards a Modal-Structural Interpretation*. Oxford University Press.
- Hylton, P. (2007). *Quine*. Routledge.
- Ingram, D. (2016). The modal instantiation problem. *Synthese*, 193(12), 3843-3864.
- Kripke, S. (1980). *Naming and Necessity*. Harvard University Press.
- Lewandowska-Tomaszczyk, B. (2017). Negation: A cognitive-pragmatic approach. *Studies in Language*, 41(3), 621-652.
- Lewis, D. (1973). *Counterfactuals*. Harvard University Press.
- Lewis, D. (1986). *On the Plurality of Worlds*. Blackwell.
- Nagel, E., & Newman, J. R. (1958). *Gödel's Proof*. New York University Press.
- Penrose, R. (2004). *The Road to Reality: A Complete Guide to the Laws of the Universe*. Jonathan Cape.
- Popper, K. (1959). The Propensity Interpretation of Probability. *British Journal for the Philosophy of Science*, 10(37), 25-42.
- Quine, W. V. O. (1948). On What There Is. *Review of Metaphysics*, 2(1), 21-38.
- Quine, W. V. O. (1953). Reference and Modality. En *From a Logical Point of View* (pp. 139-159). Harvard University Press.
- Quine, W. V. O. (1960). *Word and Object*. MIT Press.
- Ramsey, F. P. (1990). Facts and Propositions. En *Philosophical Papers* (pp. 34-51). Cambridge University Press. (Trabajo original publicado en 1927)
- Ramsey, F. P. (1990). General Propositions and Causality. En *Philosophical Papers* (pp. 145-163). Cambridge University Press. (Trabajo original publicado en 1929)
- Ramsey, F. P. (1990). Theories. En *Philosophical Papers* (pp. 112-136). Cambridge University Press. (Trabajo original publicado en 1929)
- Real Academia Española. (2010). *Nueva gramática de la lengua española*. Espasa.
- Rosen, G. (1990). Modal Fictionalism. *Mind*, 99(395), 327-354.
- Stalnaker, R. (1968). A Theory of Conditionals. En N. Rescher (Ed.), *Studies in Logical Theory* (pp. 98-112). Blackwell.
- Stalnaker, R. (2012). *Mere Possibilities: Metaphysical Foundations of Modal Semantics*. Princeton University Press.
- Tugby, M. (2018). Modal platonism and the problem of negativity. *Philosophical Studies*, 175(1), 1-22.
- Williamson, T. (2007). *The Philosophy of Philosophy*. Blackwell.
No hay comentarios:
Publicar un comentario