martes, 31 de marzo de 2026

Sobre la equivocidad semántica y la insuficencia epistemológica de la medición de la pobreza en Paraguay

 

A continuación el texto en formato LaTex:
 
## Sobre la equivocidad semántica y la insuficencia epistemológica de la medición de la pobreza en Paraguay

### Un análisis lógico y crítico de los indicadores monetario, multidimensional y de necesidades básicas

**Dr. Victor Oxley**  victoroxley@gmail.com

### A raíz de los comentarios recibidos

Los señalamientos —agudos e ilustrados— han sido valiosos. Quienes participaron en el hilo han recordado con acierto que el INE trabaja con comités técnicos, que existe un Índice de Pobreza Multidimensional (IPM) como complemento al monetario, que hay publicaciones metodológicas accesibles y que, en rigor, ningún indicador solo agota la complejidad de la pobreza.

Todo eso es cierto. Y precisamente por eso vale la pena detenerse en lo que no se dijo en esos comentarios, pero que es el corazón del asunto:

**No hay discusión sobre la calidad técnica del INE. La hay sobre el uso político y mediático de sus cifras.**

El problema no es que existan tres indicadores. El problema es que se comunica selectivamente aquel que muestra mejores resultados —la pobreza monetaria—, mientras la pobreza estructural (NBI, IPM) permanece en segundo plano. El ciudadano escucha “la pobreza bajó”, pero no se le dice que eso se refiere solo al ingreso, no a las carencias en vivienda, saneamiento o educación.

La discusión, entonces, no es metodológica. Es sobre **transparencia comunicativa** y **coherencia entre lo que se sabe y lo que se dice**.

A eso voy.

### 1. Introducción y tesis

El Instituto Nacional de Estadística (INE) de Paraguay publica de manera sistemática tres mediciones vinculadas a la pobreza: la **pobreza monetaria** (total y extrema), el **Índice de Pobreza Multidimensional (IPM)** y el índice de **Necesidades Básicas Insatisfechas (NBI)**. La existencia de estos tres instrumentos responde a un esfuerzo técnico deliberado por capturar distintas dimensiones de un fenómeno complejo. El propio INE ha explicitado que el IPM fue diseñado como “una medida complementaria a la pobreza monetaria y las necesidades básicas insatisfechas”. Los comités técnicos que evalúan estos procesos, la pluralidad de publicaciones metodológicas disponibles y la participación de diversos sectores en la generación de información garantizan la solidez técnica del trabajo institucional.

Sin embargo, el hecho de que existan tres mediciones rigurosas no resuelve un problema de otro orden: el de **cómo se comunican públicamente** y **qué uso político y mediático se hace de ellas**. El presente análisis parte del reconocimiento de la calidad técnica del INE para luego concentrarse en una cuestión conceptual y comunicativa: la equivocidad semántica del término “pobreza” y las consecuencias que esta ambigüedad tiene sobre el debate público y la comprensión del fenómeno.

### 2. Formalización y no-equivalencia de los indicadores

Sea $H$ el conjunto de individuos u hogares. Definimos tres predicados:

- $M(x)$: $x$ es pobre según criterio monetario.

- $MD(x)$: $x$ es pobre según criterio multidimensional (IPM).

- $NBI(x)$: el hogar de $x$ presenta al menos una necesidad básica insatisfecha.

Estos predicados no comparten criterios de aplicación. Mientras $M(x)$ depende de la relación entre ingreso y canasta básica, $MD(x)$ se define por la acumulación de carencias en múltiples dimensiones (trabajo, salud, educación, vivienda), y $NBI(x)$ por déficits estructurales observables en vivienda, saneamiento y educación.

Los datos empíricos disponibles (INE, 2024; 2025) permiten afirmar:

$$

\exists x, (MD(x) \land \neg M(x))

$$

 y también:

$$

\exists x, (NBI(x) \land \neg MD(x))

$$

Es decir, existen personas pobres según el IPM que no son consideradas pobres por la medición monetaria, y existen hogares con NBI que no son considerados pobres multidimensionales. Más aún:

$$

M \neq MD \neq NBI

$$

y no existe relación de inclusión general entre estos conjuntos.

Sin embargo, esta divergencia **no constituye una contradicción lógica**, dado que no se verifica ninguna instancia del tipo:

$$

\exists x, (P(x) \land \neg P(x))

$$

Lo que se observa es, más bien, una **inconmensurabilidad parcial**: los indicadores no son reducibles entre sí, sus extensiones no coinciden y sus criterios de aplicación responden a marcos conceptuales distintos. Cada uno define, por tanto, un objeto teórico diferente.

### 3. Equivocidad semántica y construcción del objeto “pobreza”

El problema central no es lógico sino **semántico**. El término “pobreza” funciona aquí como un término equívoco que designa propiedades distintas según el contexto de medición. Puede referir a insuficiencia de ingreso, a privación multidimensional o a déficit estructural, sin que estas dimensiones sean coextensivas ni reductibles entre sí.

Formalmente:

$$

\text{Pobreza}_M \neq \text{Pobreza}_{MD} \neq \text{Pobreza}_{NBI}

$$

Esta situación es consistente con lo que en filosofía de la ciencia se ha denominado **pluralidad de constructos** (Cartwright, 1999) y con la idea de que los indicadores sociales no descubren propiedades naturales preexistentes, sino que construyen objetos mediante criterios operativos específicos (Hacking, 1992).

Desde esta perspectiva, “pobreza” no designa un fenómeno unitario, sino una **familia de propiedades heterogéneas**, cuya unificación es lingüística antes que ontológica. La aparente unidad del fenómeno es el resultado de una decisión clasificatoria, no de una identidad empírica subyacente.

### 4. Crítica al uso del indicador de pobreza monetaria

En el discurso institucional y mediático, el indicador de pobreza monetaria ocupa un lugar privilegiado. Esta centralidad no se explica por su superioridad analítica, sino por una propiedad específica: su **alta sensibilidad a variaciones marginales del ingreso**, lo que lo convierte en un instrumento particularmente apto para registrar cambios de corto plazo.

Sin embargo, esta misma sensibilidad revela su principal limitación cuando se lo presenta como indicador global de pobreza. La clasificación $M(x)$ depende de un umbral discreto, lo que implica que pequeñas variaciones en el ingreso pueden alterar el estatus del individuo:

 $$

\exists x, (|ingreso(x) - umbral| < \epsilon \land (M(x) \leftrightarrow \neg M(x)))

$$

Esto significa que un individuo puede “salir de la pobreza” sin que haya experimentado ninguna transformación significativa en sus condiciones materiales de vida. La mejora registrada es, en este sentido, **nominal antes que sustantiva**.

Más aún, el indicador monetario es estructuralmente ciego a dimensiones fundamentales del bienestar. Existen individuos tales que:

$$

\exists x, (\neg M(x) \land NBI(x))

$$

es decir, personas que no son consideradas pobres según su ingreso, pero que viven en condiciones de privación estructural severa. Este hecho no es una anomalía, sino una consecuencia directa del diseño del indicador.

La raíz del problema radica en la naturaleza de la variable utilizada. El ingreso es una magnitud de **flujo**, mientras que las condiciones captadas por el NBI y, en parte, por el IPM, corresponden a **estados estructurales** relativamente estables. La inferencia de mejoras en las condiciones de vida a partir de variaciones en el ingreso implica, por tanto, una confusión entre dinámicas de corto plazo y configuraciones estructurales.

En este sentido, el indicador monetario no es técnicamente incorrecto, pero resulta **epistemológicamente insuficiente para cumplir la función de indicador único o global de pobreza** que se le asigna en el discurso público. Mide con precisión lo que está diseñado para medir —la capacidad de consumo en relación con una canasta—, pero su uso predominante produce un efecto de reducción conceptual, en el que:

$$

\text{Pobreza} \approx \text{insuficiencia de ingreso}

$$

### 5. Uso pragmático y desplazamiento semántico

La coexistencia de indicadores heterogéneos bajo un mismo término permite un **uso selectivo** en el discurso público. La pobreza monetaria es destacada cuando muestra mejoras, mientras que el IPM y el NBI son invocados en contextos donde resulta necesario enfatizar carencias estructurales.

Dado que todos estos indicadores son presentados como mediciones de “la pobreza”, esta alternancia produce un efecto de **continuidad semántica** que oculta la discontinuidad conceptual. El resultado es un desplazamiento de referencia no explicitado, en el que la afirmación “la pobreza bajó” puede ser verdadera bajo un criterio y falsa bajo otro.

No se trata de una contradicción en los datos, sino de una **ambigüedad en el uso del lenguaje**. La presentación de estos constructos bajo una misma etiqueta, combinada con la centralidad que el discurso institucional y mediático otorga al indicador monetario, permite un uso estratégico que tiende a mostrar la fotografía más favorable de la realidad social.

### 6. Conclusión

Los indicadores del INE no son incoherentes entre sí. Son, más bien, **inconmensurables en parte**, en tanto responden a definiciones distintas de aquello que pretenden medir. El problema no reside en su coexistencia —que es un acierto técnico—, sino en su **unificación terminológica** y en el **uso comunicativo** que de ella se deriva.

La pobreza no es un objeto único que estos indicadores capturan desde distintas perspectivas, sino un **conjunto de constructos** definidos por criterios específicos. La presentación de estos constructos bajo una misma etiqueta, combinada con la jerarquización implícita que favorece al indicador más sensible a variaciones coyunturales, produce una simplificación conceptual que afecta tanto la interpretación de los datos como la comprensión misma del fenómeno.

El INE ha cumplido con su tarea técnica. La deuda está en la **comunicación pública de la estadística** y en la **traducción de esa información multidimensional en políticas sostenidas**. Mientras la pobreza estructural (NBI, IPM) permanezca en segundo plano en los titulares y en la priorización política, el país seguirá celebrando reducciones coyunturales que no modifican las condiciones de vida de quienes, aun con ingresos superiores al umbral, siguen careciendo de vivienda digna, saneamiento o educación.

### Referencias

Alkire, S., & Foster, J. (2011). Counting and multidimensional poverty measurement. *Journal of Public Economics*, 95(7-8), 476-487.

Cartwright, N. (1999). *The dappled world: A study of the boundaries of science*. Cambridge University Press.

Hacking, I. (1992). The self-vindication of the laboratory sciences. En A. Pickering (Ed.), *Science as practice and culture*. University of Chicago Press.

Instituto Nacional de Estadística (INE). (2024). *Índice de Pobreza Multidimensional (IPM), EPHC 2024*. Asunción.

Instituto Nacional de Estadística (INE). (2025). *Encuesta Permanente de Hogares Continua: principales resultados*. Asunción.

Instituto Nacional de Estadística (INE). *Publicaciones de Necesidades Básicas Insatisfechas (NBI)*. Disponible en: https://www.ine.gov.py/publicacion/4/pobreza

Sen, A. (1985). *Commodities and capabilities*. North-Holland.

Sen, A. (1999). *Development as freedom*. Oxford University Press.


 


 

 

 

 

El "hubiese" no existe, pero funciona: cómo inventamos la realidad con palabras

                                                                                      Dr. Victor Oxley

El "hubiese" es una palabra que usamos todo el tiempo. "Si hubiese estudiado más, me iría mejor". Pero es rarísima, habla de algo que no pasó. Y sin embargo, la entendemos, nos peleamos por cosas que "hubiesen" sido, y tomamos decisiones basadas en eso. El "hubiese" es un truco del lenguaje, hace presente lo que no está. Este texto es sobre ese truco, y sobre cómo, desde ahí, podemos entender los números imaginarios, las geometrías raras, los infinitos, y hasta la probabilidad.

Para hablar con claridad, usamos una distinción simple de Mario Bunge. Por un lado, están los hechos, las cosas que pasan, como una piedra o que llueva. Por otro lado, están los constructos, las ideas, los escenarios que inventamos, como "si lloviera". Y por último están los símbolos, las palabras. El "hubiese" es un símbolo que designa un constructo —la idea de un escenario alternativo— que refiere a algo que no pasó, sin decir que eso existe. De ahí salen dos ideas clave, la posibilidad se inventa, no se descubre; y lo que inventamos no es verdadero ni falso, sino "operativamente válido" si cumple tres condiciones: coherencia (no contradecirse), utilidad (servir para algo), y relevancia (estar conectado con el contexto).

La matemática es el mejor ejemplo. Pensemos en el número imaginario i. En los números reales, la raíz cuadrada de un número negativo no existe. Alguien dijo: "inventemos i tal que i^2 = -1". Al aceptar esa regla, manteniendo la coherencia, emergió el Plano Complejo. Y resultó muy útil para la física cuántica, los circuitos eléctricos, todo. No estaba esperando a ser descubierto. Lo inventamos, y funcionó. Lo mismo pasó con las geometrías no euclidianas, Lobachevsky negó el quinto postulado de Euclides y se inventó una geometría nueva que después Einstein usó para la relatividad. Cantor inventó infinitos de distintos tamaños con un truco de lenguaje. Gödel armó una frase que dice "esta frase no se puede demostrar", mostrando que la sintaxis puede generar significados que las propias reglas no pueden atrapar.

Ahora llevemos esto a la probabilidad. Las interpretaciones clásicas tienen problemas. La frecuentista habla de repeticiones infinitas que no existen. La subjetivista lo reduce a una creencia personal. La propensionista habla de una "tendencia" oculta de las cosas, sin explicar qué es. Desde esta mirada, la probabilidad es la geometría del artefacto que construimos. Cuando decís que una moneda tiene probabilidad 0.5 de salir cara, no estás descubriendo una propiedad oculta de la moneda. Estás construyendo un modelo, un conjunto de resultados posibles, una suposición de simetría, una asignación de valores. Ese modelo es un constructo. Es válido si es coherente, útil y relevante. Cuando un científico dice "si repitiéramos esto muchas veces, la frecuencia se acercaría a 0.5", está usando el "hubiese". El escenario de repeticiones infinitas es un constructo, no un hecho.

Pero ojo, no cualquier invento es válido. Carnap criticó frases como "la nada nadea". Suena bien, pero no es coherente, no sirve para nada, no conecta con nada. Es un espectro, no un artefacto. La matemática se diferencia porque controla sus inventos con coherencia, utilidad y relevancia.

Así que podemos cerrar con esto, la posibilidad no está ahí esperando, la fabricamos con el lenguaje. La matemática es una fábrica de inventos que funcionan. La probabilidad no es una propiedad oculta, sino la geometría del artefacto que armamos. Y el "hubiese" es el motor de todo esto, el símbolo que nos permite construir mundos alternativos sin confundirlos con el mundo real.

PD: Se puede leer en sentido técnico la idea esbozada aquí, en el escrito titulado "El “hubiese” como negatividad constitutiva: De la sintaxis gramatical a la emergencia de la ontología forma", en el siguiente link 

http://liberalismoradicalparaguayo.blogspot.com/2026/03/el-hubiese-como-negatividad.html




El “hubiese” como negatividad constitutiva: De la sintaxis gramatical a la emergencia de la ontología formal

 

 

A continuación el texto en formato LaTex:
 

## 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.