El Paradigma de Segmentación

Una reconstrucción operacional de la lógica, el número y la fundamentación matemática

J. C. Sobrepere · jcsobrepere.org
Documento fundacional · versión 5

Preámbulo

Este documento expone, en forma sintética y pedagógica, el núcleo del Paradigma de Segmentación: una propuesta de fundamentación de la lógica y la aritmética que no parte de elementos, conjuntos ni jerarquías acumulativas, sino de un universo primitivo U sobre el que la predicación y el conteo operan como actos finitos y completables.

La tesis de fondo es sencilla de enunciar y radical en sus consecuencias: los conjuntos no son lo primitivo; la operación es lo primitivo. Los átomos del espacio lógico no se construyen desde abajo por acumulación, sino que se revelan desde arriba por división. Los números no son objetos; son nombres de cierres de procesos de conteo. Los infinitos actuales no aparecen —no porque se los prohíba, sino porque la operación no los produce.

El proyecto no surge ex nihilo. Prolonga y formaliza las intuiciones de lo que el autor desarrolló previamente bajo el nombre de Constructivismo Lógico (jordicasado.blog), donde ya se había planteado la tesis de que las operaciones cognitivas básicas —sumar, argumentar— son dos caras de la misma moneda: realizaciones distintas de una única estructura operacional subyacente. El Paradigma de Segmentación retoma esa intuición, la generaliza a la distinción y al conteo, y le da el suelo ontológico que allí solo se esbozaba.

El recorrido que sigue parte de la intuición más básica —la de que algo es— y asciende, principio a principio, hasta la estructura completa del espacio lógico y su aritmética operacional. El hilo narrativo será el caso de Sócrates, filósofo ateniense y mortal, elegido no por azar sino porque es el x canónico del silogismo clásico. Si el Paradigma de Segmentación puede dar cuenta de Sócrates, puede dar cuenta de la lógica entera.

La arquitectura del paradigma se articula en cuatro piezas:

Las cuatro juntas constituyen un suelo operacional completo: qué puede distinguirse, cómo puede contarse lo distinguido, cómo puede razonarse sobre ello, cómo puede combinarse lo razonado. Veremos además —en §3.4 bis, §4 y en la coda— que las cuatro no son meramente yuxtapuestas: comparten una misma estructura ontológica subyacente —la co-constitución por negación—, que se realiza en cuatro registros distintos según el dominio sobre el que opera. Esa unidad estructural es, probablemente, la tesis más fuerte del paradigma.

Nada más hace falta para reconstruir la lógica proposicional. Nada menos basta para hacerlo sin apelar al infinito actual.

§1 · El punto de partida: U como primitivo

La tradición clásica arranca con elementos. De los elementos se forman conjuntos; de conjuntos, conjuntos de conjuntos; y así, en una jerarquía acumulativa V₀, V₁, …, V_ω, V_{ω+1}, … que crece indefinidamente y cuya totalidad se supone dada.

El Paradigma de Segmentación invierte este movimiento. Lo primitivo no es el elemento, sino el universo U. U no es un conjunto de cosas: es el fondo indiviso sobre el que cualquier distinción se vuelve posible. Los entes no preceden a la distinción; la distinción hace aparecer los entes.

Sobre U, un predicado actúa. No describe una propiedad que ciertos elementos poseen; realiza una partición. Predicar A sobre U es dividir U en un aquí y un allá, en lo que cumple A y lo que no.

Pero antes de estudiar cómo dos predicados interactúan entre sí, conviene preguntarse algo más fundamental: ¿bajo qué condiciones puede haber distinción alguna? ¿Qué tiene que ocurrir para que el acto de segmentar produzca algo, y no nada? Esa pregunta abre la hoja de ruta que sigue.

§2 · Hoja de ruta: de α ≠ 0 al límite intensional de U

El Paradigma de Segmentación no postula la distinción binaria como axioma de partida. La deduce a partir de cinco principios operacionales que van constituyendo, paso a paso, las condiciones mínimas de cualquier segmentación posible. Esta es la génesis ontológica del sistema.

2.1 · Primer principio: α ≠ 0 — algo es

Antes de toda distinción, antes de todo predicado, hay una condición previa: que haya algo. No un ente específico, no un elemento numerable, no un objeto cosificado. Simplemente la negación de la nada.

P₁. α ≠ 0 — α es algo.

Si α fuera 0 —si no hubiera nada que segmentar—, no habría operación, no habría universo, no habría ni siquiera la posibilidad de preguntar. Es la afirmación mínima que hace posible todo lo demás.

En el ejemplo del filósofo ateniense: para que Sócrates pueda ser predicado de algo, Sócrates tiene que ser algo. No el Sócrates histórico ni el personaje platónico: solo la condición previa de que haya algo sobre lo que la predicación tenga sentido.

2.2 · Segundo principio: β ≠ 0 — otro algo es

La distinción requiere al menos dos polos. Si solo hubiera α, no habría frontera, no habría "lo otro", no habría segmentación posible: U sería indiscernible de α mismo.

P₂. β ≠ 0 — β es algo.

Este principio parece redundante con el primero, pero no lo es. P₁ afirma que hay algo; P₂ afirma que hay más de un algo. Sin P₂, la segmentación colapsa en mera autoafirmación. Con P₂, aparece la posibilidad de una frontera.

En el ejemplo: para que "ser filósofo" tenga contenido, debe haber algo distinto de ser filósofo —algo que no sea filósofo. Sin ese otro algo, el predicado "filósofo" no segmenta nada; es una palabra sin mordida.

2.3 · Tercer principio: α ≠ β — son distintos

Que haya dos algos no basta. Pueden ser el mismo algo nombrado dos veces. Para que haya segmentación genuina, los dos polos tienen que ser distintos.

P₃. α ≠ β — α y β son distintos.

Este es el primer acto propiamente segmentador. Introduce la diferencia como estructura mínima. Sin P₃, α y β colapsan en una identidad disfrazada; con P₃, emerge la posibilidad de una línea divisoria.

En el ejemplo: filósofo y no-filósofo no son el mismo predicado bajo otro nombre. La diferencia entre ambos es constitutiva: sin ella, el espacio lógico de "filósofo" es un punto, no una región.

2.4 · Cuarto principio: ¬(α ∧ β) — no coexisten

La distinción admite grados. Dos cosas pueden ser distintas y aun así coexistir en un mismo x. Pero para que α y β funcionen como polos de una segmentación, deben excluirse mutuamente.

P₄. ¬(α ∧ β) — no pueden darse a la vez.

Aquí aparece la exclusión. P₃ garantiza que α y β son diferentes; P₄ garantiza que son incompatibles. En un mismo punto de U, o bien se realiza α, o bien se realiza β, pero no ambos.

En el ejemplo: Sócrates no puede ser, al mismo tiempo y bajo el mismo respecto, filósofo y no-filósofo. Puede ser filósofo en un sentido y no-filósofo en otro, pero bajo el mismo respecto, los dos predicados se excluyen. Esa exclusión es la que convierte la mera diferencia en segmentación efectiva.

2.5 · Quinto principio: (α = ¬β) ⇔ (β = ¬α) — son recíprocamente negación

El paso final cierra la estructura. Los cuatro principios anteriores no garantizan todavía que α y β cubran todo U. Podrían ser dos polos incompatibles que dejan territorio intermedio sin segmentar. El quinto principio elimina esa posibilidad:

P₅. (α = ¬β) ⇔ (β = ¬α) — α es la negación de β si y solo si β es la negación de α.

Esta equivalencia hace que α y β se constituyan mutuamente por negación. α no es una entidad que además resulte ser "lo contrario de β"; α es lo que β no es, y viceversa. Son recíprocamente co-constitutivos.

Con P₅, la segmentación se vuelve exhaustiva: no queda en U nada que no sea α o β. La línea divisoria cubre todo el universo sin dejar residuo.

En el ejemplo: "filósofo" y "no-filósofo" agotan U bajo el predicado filósofo. Todo x en U es una cosa o la otra, y lo que uno afirma, el otro lo niega exactamente.

2.6 · El límite intensional de U

Una vez realizados los cinco principios, aparece la estructura completa que los articula: el límite intensional de U, definido como la intersección de los entornos de α y β.

La definición formal es:

$$\mathrm{Lim}\, U := f(\alpha) \cap f(\beta)$$

donde f(α) es el entorno de α y f(β) el entorno análogo para β. La intersección de ambos entornos no es un conjunto de elementos comunes —serían elementos imposibles, pues α y β se excluyen por P₄—; es la frontera compartida, el lugar donde ambos se tocan sin confundirse.

Esta frontera es el espacio lógico mínimo. Todo lo que sigue —los átomos, las fórmulas booleanas, las conectivas, la inferencia— es elaboración sobre esta estructura fundante.

2.7 · La hoja de ruta en síntesis

La génesis completa del sistema se lee así:

Cada principio es independiente de los anteriores y añade exactamente una condición. Los cinco juntos producen la estructura mínima sobre la cual la segmentación binaria —y, por extensión, toda la combinatoria lógica que viene después— se vuelve posible.

Con esto, el paradigma ha fundado la condición de la distinción. Queda por fundar la condición del conteo: cómo un conjunto de distinciones hechas se convierte en número, y por qué el número no es un objeto sino un nombre.

§3 · La matriz operacional: el acto de contar como proceso

Distinguir es una cosa. Contar lo distinguido es otra. En el paradigma clásico la frontera entre ambas operaciones se disuelve —ℕ está dado desde el inicio, y "contar" consiste en recorrer un stock preexistente—. El Paradigma de Segmentación se niega a hacer ese salto. Contar no es recorrer; contar es construir un cierre.

3.1 · Los tres modos operacionales

Todo objeto respecto a un proceso de conteo está en uno de exactamente tres modos:

El punto ontológico crucial: solo el modo ▶ está siendo. Los modos ▲ y △ son modos derivados, uno apuntando al futuro del proceso, otro al pasado. En cada instante del conteo hay exactamente un ▶: el acto es puntual. Lo potencial aguarda; lo trazado no acumula hacia adelante —solo da fe de lo que ya fue acto.

Esto ya marca una ruptura radical con el paradigma clásico. Allí los objetos son todos al mismo tiempo; aquí los objetos son en modos distintos según su relación con el acto presente.

3.2 · La matriz operacional: el tiempo operacional visualizado

Representar un proceso de conteo de 10 objetos produce la siguiente estructura:

Tres observaciones sobre la estructura de la matriz:

Primera. La diagonal verde —el ▶ atravesando la matriz— es el lugar geométrico del acto. No es una línea abstracta: es el trazo que deja en el espacio el presente operacional al avanzar. Todo lo que queda por encima y a la izquierda de la diagonal es traza (△); todo lo que queda por debajo y a la derecha es potencia (▲). El presente es una línea descendente, no un punto estático.

Segunda. En el Estado R la diagonal ha desaparecido. No hay ningún ▶. El acto ya no está ocurriendo. R es un estado post-operacional: el proceso se ha completado y lo que queda es testimonio puro. R no es "el último objeto"; R es la ausencia del acto después de que el acto se haya realizado íntegramente.

Tercera. El proceso es completable porque el número de objetos es finito. Si intentáramos la misma matriz con un proceso sin término —un conteo "hasta el infinito"— la diagonal nunca alcanzaría el borde derecho, nunca desaparecería, y R nunca ocurriría. De ahí se seguirá, más abajo, la tesis central sobre el número.

3.3 · La aritmética de los modos

Los tres modos no son meramente descriptivos: tienen una aritmética dinámica interna. Cada paso operacional produce simultáneamente un incremento de traza y un decremento de potencia:

$$\triangle = +1 \quad\quad \blacktriangle = -1$$

Lo que se interpreta así: cada acto añade +1 al lado de lo contado y consume −1 del lado de lo por contar. El balance dinámico es siempre cero por paso —porque la matriz conserva el número total de celdas, solo redistribuye el estatus de cada una.

Lo importante es la asimetría entre las dos columnas. La izquierda produce número; la derecha no lo produce. No es que la derecha produzca "un número infinito": es que la derecha no produce nada que merezca llamarse número, porque no alcanza el cierre que el acto de numerar exige.

3.4 · El número como cierre: la caja de caramelos

La intuición más diáfana del número como cierre se ve en un ejemplo sencillo: una bolsa con una cantidad de caramelos y una mesa vacía. Sea x = caramelos en la bolsa, y = caramelos sobre la mesa. No fijamos la cantidad total; la denotaremos por R —el cierre mismo del proceso, como variable universal—, porque lo que nos interesa ahora es la forma del acto, no el valor particular de una instancia.

Hay dos operaciones posibles sobre este sistema, y conviene nombrarlas bien, porque no son la misma operación recorrida en dos sentidos: son dos operaciones distintas, cada una con su origen y su destino fijados. Sin origen no se puede partir; sin destino no se puede ir. Son, por tanto, operaciones co-constitutivamente inversas.

• Operación R (llenar la bolsa): origen = 0, destino = R. El sistema recorre (0, R), (1, R−1), …, (R, 0). Escribimos: R := 0 → R.
• Operación ¬R (vaciar la bolsa): origen = R, destino = 0. El sistema recorre (R, 0), (R−1, 1), …, (0, R). Escribimos: ¬R := R → 0.

El símbolo := se usa aquí con el mismo sentido que en Lim U := f(α) ∩ f(β): no es identidad numérica, sino constitución operacional. R y ¬R no son objetos preexistentes que ahora etiquetemos; son operaciones cuya identidad se constituye en el recorrido mismo entre origen y destino.

El símbolo ¬ se usa, a su vez, con el mismo sentido que en P₅ : (α = ¬β) ⇔ (β = ¬α): no es la negación lógica de teoría de conjuntos ("todo lo que no es R"), sino co-constitución por negación direccional. ¬R es la operación cuyo origen es el destino de R y cuyo destino es el origen de R. Las dos se requieren mutuamente para existir: sin una, la otra es inejecutable.

La lectura ontológica del ejemplo es lo que da al paradigma su tesis aritmética más fuerte. No hay "R caramelos" como colección objetiva almacenada. Hay dos operaciones co-constitutivamente inversas que se reconocen entre sí como recorridos del mismo espacio entre los mismos polos, y cuyo cierre común se denota R :↔: ¬R. A ese cierre, cuando se fija una instancia concreta del proceso (seis caramelos, diez, mil), lo llamamos seis, diez, mil. Pero la forma general es el cierre R en sí, no su instancia particular.

Dicho de otro modo: un número no es un objeto; es el nombre de un cierre co-constitutivo entre dos operaciones inversas. El número no precede a las operaciones; emerge cuando ambas se reconocen mutuamente como recorridos del mismo espacio. Antes del cierre hay acto en curso; después del cierre hay nombre.

3.4 bis · La unidad estructural del paradigma: co-constitución por negación

La notación empleada para el cierre R :↔: ¬R no es casual. Recoge, en un solo gesto, los dos símbolos fundamentales del paradigma:

• El símbolo := (dos puntos de constitución), que viene de Lim U := f(α) ∩ f(β).
• El símbolo ¬ (negación co-constitutiva), que viene de P₅ : (α = ¬β) ⇔ (β = ¬α).

Su combinación expresa, en el dominio del conteo, la misma estructura que P₅ expresa en el dominio de la distinción. Escrito en paralelo:

La forma lógica es idéntica: dos polos recíprocamente negativos que se co-constituyen mutuamente. En §2 los polos son predicados que segmentan U; aquí son operaciones que recorren U. Pero el mecanismo ontológico es el mismo.

Esto revela algo profundo sobre la arquitectura del paradigma: las tres piezas que al inicio presentamos como independientes —distinción, conteo, combinatoria— no son tres principios yuxtapuestos, sino tres realizaciones de una única estructura fundamental: la co-constitución por negación. El paradigma no tiene cinco axiomas ni siete primitivas; tiene un solo mecanismo ontológico, que se despliega en registros distintos según el dominio sobre el que opera.

Esta es, probablemente, la tesis metafísica más fuerte del sistema, y la que justifica hablar de paradigma y no solo de reconstrucción técnica. El Paradigma de Segmentación es la tesis de que todo lo que hay como determinación —sea distinción, número o combinación— emerge de la estructura de co-constitución por negación, y que esa estructura no se reduce a ninguna otra.

3.5 · La tesis central sobre el número

Lo anterior se condensa en una tesis que vale la pena enunciar con claridad, porque es la bisagra de todo el paradigma:

Sin la posibilidad de conteo no hay números, ni sistema de numeración. La única estructura lógica dinámica que recoge como clase ese proceso es la matriz operacional.

Tres consecuencias inmediatas:

1. El número no es objeto. Un número natural no es un elemento de un conjunto. Es el nombre del cierre R :↔: ¬R de un proceso de conteo completable. "Diez" es lo que aparece cuando dos operaciones co-constitutivamente inversas de diez pasos se reconocen mutuamente en su cierre; fuera de ese reconocimiento, "diez" no apunta a nada.

2. La aritmética es operacional. Sumar 3 + 4 no es invocar dos objetos preexistentes y combinarlos. Es concatenar dos procesos de conteo y observar que el proceso resultante cierra en el R que llamamos "siete". La igualdad aritmética es identidad de cierre, no identidad de objetos.

3. El infinito actual no produce número. Un proceso que no cierra no produce R. Sin R, no hay ¬R que lo co-constituya; sin co-constitución, no hay nombre; sin nombre, no hay número. Lo que Cantor llamó "ℵ₀" no es un número en el sentido del paradigma: es el nombre asignado a un proceso que se niega a cerrar, y por tanto a un R que nunca se co-constituye con su inversa. Darle estatus numérico es cosificar la apertura.

Esta tercera consecuencia merece un matiz: el paradigma no dice que "el infinito no existe". Dice que el infinito no se numera. El proceso 0 → ∞ es perfectamente descriptible como régimen operacional; lo que no se puede es asignarle un cierre R :↔: ¬R, porque el destino ∞ no es alcanzable como origen de la operación inversa. La operación ¬∞ : ∞ → 0 no puede ejecutarse —no se puede partir de un origen no dado—. El infinito es potencia sin cierre; no tiene con quién co-constituirse, y por tanto no produce número.

§4 · El razonamiento como acto operacional

Hasta aquí el paradigma ha fundado dos actos primitivos: segmentar (§2) y contar (§3). Queda un tercero que la tradición clásica también cosifica y que merece la misma restitución operacional: el acto de inferir.

4.1 · Inferir como acto secuencial, finito, discreto

Una inferencia deductiva no es una relación atemporal entre premisas y conclusión. Es un acto operacional con cuatro rasgos determinantes:

• Secuencial: hay un orden, un antes y un después entre pasos
• Finito: el número de pasos es determinable en cada inferencia
• Discreto: cada paso es uno, no un continuo que se desliza
• Por elección sobre reglas: en cada paso se selecciona una regla aplicable entre varias posibles

Estos cuatro rasgos son exactamente los de las dos operaciones anteriores. La matriz operacional que fundaba el conteo (§3) se aplica sin modificación al razonamiento: hay pasos inferenciales por realizar (▲), hay un paso actualmente siendo ejecutado (▶), hay pasos ya realizados que quedan como traza (△), y hay —cuando el proceso es completable— un Estado R del razonamiento que llamamos la conclusión.

La conclusión no es un objeto preexistente que la inferencia descubre. Es el cierre co-constitutivo del proceso, exactamente como el número es el cierre del proceso de contar. Y como todo cierre, tiene su inversa: la conclusión puede recorrerse de ida (desde las premisas) o de vuelta (descomponiendo la conclusión en las premisas que la sostienen). Ambas direcciones —demostrar y analizar— son co-constitutivamente inversas. Su equivalencia en el cierre es lo que hace que una inferencia sea válida.

4.2 · La dualidad fundamental: sumar y argumentar

Hay una observación que el autor había ya formulado en su trabajo previo sobre Constructivismo Lógico y que ahora cobra sentido pleno dentro del paradigma: sumar y argumentar son dos caras de la misma moneda operacional.

Considérense dos operaciones aparentemente muy distintas:

Un cálculo aritmético — 2 + 2 = 4.
Escrito como composición conjuntista A ∪ B = C, requiere cinco pasos deductivos:

1. A ⊆ C
2. B ⊆ C
3. (A ∪ B) ⊆ C
4. C ⊆ (A ∪ B)
5. A ∪ B = C

Un silogismo canónico — Sócrates es hombre; todo hombre es mortal; luego Sócrates es mortal.
Escrito como composición de inclusiones, requiere tres pasos deductivos:

1. A ⊆ B
2. B ⊆ C
3. A ⊆ C

La revelación que la figura hace visible es esta: lo que llamamos "sumar" y lo que llamamos "argumentar" son la misma operación en dos registros. Ambos son composiciones de inclusiones conjuntistas. Ambos son recorridos por el hipercubo booleano. Ambos tienen un Estado R que es la conclusión / resultado. Ambos requieren elecciones discretas de regla en cada paso.

La distinción tradicional entre aritmética y lógica, o entre cálculo y razonamiento, se revela artificial: son diferentes recorridos por la misma estructura. Lo que difiere no es la naturaleza del acto, sino el dominio sobre el que se aplica.

4.3 · Consecuencias para la noción clásica de consecuencia lógica

La lógica clásica define la consecuencia lógica de forma no-operacional:

B es consecuencia lógica de A si, en todo modelo donde A es verdadera, B es verdadera.

Esta definición (Tarski, 1935) requiere cuantificar sobre todos los modelos posibles —una totalidad actual infinita— para establecer una relación entre dos proposiciones. Es, estructuralmente, el mismo movimiento cosificador que Cantor hace con ℕ o Gödel con el conjunto de fórmulas: convertir la totalidad de los actos posibles en un objeto matemático sobre el que se cuantifica.

El Paradigma de Segmentación rechaza ese movimiento también aquí. La consecuencia lógica no es una relación sobre totalidades modélicas dadas: es la ejecutabilidad efectiva de una trayectoria en el hipercubo booleano que parte de las premisas y alcanza la conclusión. B es consecuencia de A no significa "en todo modelo posible…" sino "existe una secuencia finita de pasos discretos que lleva de A a B". La consecuencia es un cierre inferencial, no una cuantificación universal.

Esto tiene una consecuencia fuerte: desaparece la distinción entre "ser válido" y "ser demostrable". En la lógica clásica puede haber fórmulas válidas que ningún sistema consigue demostrar (de ahí la completitud como propiedad deseable y no trivial). En el paradigma operacional, válido significa simplemente "la inferencia tiene cierre R": si no hay cierre, no hay validez. La equivalencia entre validez y demostrabilidad no es un teorema que haya que ganar; es una identidad por definición operacional.

4.4 · Gödel, una segunda vez

En §11.2 veremos que los teoremas de incompletitud se vuelven improcedentes en el paradigma porque presuponen ℕ cosificado y autorreferencia sobre totalidad. Ahora podemos anticipar una segunda línea de improcedencia, más profunda:

La prueba de Gödel requiere no solo que exista el conjunto de fórmulas, sino que exista el predicado "demostrable" como totalidad dada —un objeto sobre el que la fórmula G pueda hablar ("yo no soy demostrable"). Pero si demostrar es un acto operacional, un recorrido por el hipercubo, entonces no hay conjunto de demostraciones; hay demostraciones efectivamente realizables (potenciales, ▲) y demostraciones ya realizadas (trazas, △). Ninguna de las dos constituye una totalidad sobre la que predicar.

La fórmula G, por tanto, no solo carece de codificación numérica (se verá en §11.2): carece además de sujeto sobre el que predicar. "Yo no soy demostrable" requiere que el "yo" sea un objeto dado y que "demostrable" sea un predicado sobre un conjunto dado. Ninguna de las dos condiciones se cumple en el Paradigma. La fórmula no es falsa, no es verdadera, no es indecidible: simplemente no se forma.

§5 · Un predicado: la segmentación mínima

Con la condición de la distinción (§2) y la condición del conteo (§3) fundadas, podemos volver a la construcción del espacio lógico. Sea A un predicado sobre U. Por ejemplo, A ≡ ser filósofo ateniense. El solo acto de afirmar A segmenta U en dos regiones mutuamente excluyentes y conjuntamente exhaustivas —las dos regiones que P₁–P₅ hacen posibles.

Sócrates cae en α₁. Alcibíades también. El caballo de Alcibíades cae en α₂. Todo lo que hay en U se reparte entre las dos regiones sin residuo.

Con un predicado hay 2 átomos y 2² = 4 fórmulas booleanas expresables: contradicción (⊥), A, ¬A, tautología (⊤). Nótese que el "2" y el "4" que aparecen aquí son números en el sentido del §3: cierres de procesos de conteo completables, no elementos de ℕ. La combinatoria se revela al añadir el segundo predicado.

§6 · Dos predicados: las dos relaciones primitivas

Añadamos B ≡ ser mortal. Con dos predicados sobre U, cada uno puede estar afirmado o negado sobre un mismo x. Disponemos de cuatro predicados signados: Ax, ¬Ax, Bx, ¬Bx.

La pregunta es cómo se relacionan. Hay exactamente dos modos primitivos de emparejarlos.

Sobre Sócrates (filósofo ateniense y mortal) estas cuatro combinaciones significan:

• a: Sócrates cumple A y cumple B → es filósofo ateniense y mortal. [el Sócrates histórico]
• b: Sócrates no cumple A ni B → no es filósofo ateniense y no es mortal. [los dioses olímpicos, si fueran]
• c: Sócrates cumple A pero no B → es filósofo ateniense no mortal. [un Sócrates divinizado, hipótesis platónica]
• d: Sócrates no cumple A pero sí B → no es filósofo ateniense pero sí mortal. [Jenofonte, Alcibíades]

Estas cuatro celdas agotan todas las configuraciones posibles. Son primitivas en el sentido fuerte: cualquier cosa que pueda decirse sobre un x usando solo A y B es una elección entre ellas o una unión de varias.

Nota. Esta estructura coincide con el cuadrado de oposición aristotélico, pero aquí no aparece como figura heredada: aparece como la única estructura posible cuando emparejas dos predicados bajo negación. Es aritmética, no historia. El cuadro de constitución es la forma pura de la determinación binaria.

§7 · Los cuatro átomos primitivos

Leer A y B como regiones de U convierte las cuatro combinaciones anteriores en cuatro celdas geométricas disjuntas que agotan U por completo:

La correspondencia con las operaciones conjuntistas y con el ejemplo:

Estos cuatro átomos son los únicos ladrillos del álgebra booleana generada por {A, B}. Cualquier fórmula sobre A y B es una unión de algún subconjunto de estos cuatro átomos. Ninguna escapa.

Si hay 4 átomos, hay exactamente 2⁴ = 16 fórmulas booleanas distintas expresables con A y B —donde el "16" es, de nuevo, el cierre R de un proceso de conteo completable sobre subconjuntos.

§8 · Las dieciséis operaciones: el cuadro completo

Las 16 operaciones lógicas clásicas son configuraciones del cuadro de constitución. Cada operación es una selección de átomos: marcarlo significa "aquí se realiza la fórmula"; no marcarlo significa "aquí no".

Cuatro lecturas merecen subrayarse:

Primera — estructural. Las 16 filas están organizadas por cardinalidad de la selección (0, 1, 2, 3, 4 átomos seleccionados). Esta gradación es el hipercubo booleano desplegado: cada nivel es una capa del 4-cubo {0,1}⁴.

Segunda — histórica. Todas las conectivas que la tradición tomó como primitivas aparecen aquí, pero ninguna es privilegiada. NAND y NOR están en pie de igualdad con AND y OR. Lo que era elección de conectivas primitivas es aquí elección de átomos.

Tercera — deductiva. Cada fórmula es construible desde el cuadro de constitución sin necesidad de definirla por separado. La conjunción A ∧ B es "marca solo el átomo a". La negación de A es "marca los átomos donde A no está presente, es decir {b, d}".

Cuarta — operacional. Ninguna de las 16 operaciones requiere salir del cuadro. No hay apelación a infinitos, no hay cuantificación sobre totalidades. Todo el aparato de la lógica proposicional sobre dos predicados está aquí, en una tabla finita, obtenido por segmentación y selección. El número 16 es el cierre R del proceso de contar selecciones. Nada más hace falta.

§9 · La generalización: hipercubo booleano

Con n predicados independientes obtenemos 2ⁿ átomos y 2^(2ⁿ) fórmulas expresables.

El espacio lógico se vuelve, literalmente, un hipercubo booleano: objeto combinatorio finito por nivel, navegable por operaciones siempre discretas y completables. Cada número de la tabla es un cierre R. Ninguno apunta a un infinito actual.

§10 · La distinción fundamental frente al paradigma clásico

10.1 · Lo acumulativo frente a lo operacional

El paradigma clásico construye por acumulación:

• V₀ = ∅
• V_{α+1} = 𝒫(V_α)
• V_λ = ⋃_{α<λ} V_α (para λ ordinal límite)

Esta construcción es stock: los objetos permanecen, y la totalidad V = ⋃_α V_α se supone referente legítimo.

El Paradigma de Segmentación no es acumulativo. Es operacional. Cada acto de segmentar o contar es un gesto que produce una distinción o un cierre local, y no deja residuo cosificado. No existe "el conjunto de todas las segmentaciones" ni "el conjunto de todos los conteos". Cada evento es completo en sí mismo.

10.2 · Objeto frente a patrón operacional

En el paradigma clásico, los números son objetos de ℕ. En el Paradigma de Segmentación no hay ℕ. Los números son nombres de cierres de procesos de conteo, como se mostró en §3. "Tres" no es el objeto {∅, {∅}, {∅, {∅}}}; es el R de un proceso operacional completable de tres pasos. El tres no está; se hace. Y al hacerlo no queda almacenado: queda nombrado.

10.3 · Infinito actual frente a proceso completable

El paradigma clásico admite el infinito actual: ℕ es una totalidad completa, ℝ es una totalidad completa, los cardinales transfinitos son objetos legítimos. El Axioma de Infinito postula la totalidad actualizada.

El Paradigma de Segmentación no admite el infinito actual. No lo prohíbe; no lo produce. Toda segmentación es un acto; todo acto es completable; todo proceso completable alcanza R; solo los procesos que alcanzan R producen número. El infinito, aquí, existe únicamente como proceso potencial sin R: régimen operacional abierto, no objeto almacenado con cardinalidad.

§11 · Consecuencias para la fundamentación

11.1 · El espacio lógico es finito por nivel

A cada nivel n, el espacio lógico es un objeto combinatorio finito: 2ⁿ átomos y 2^(2ⁿ) fórmulas, todas decidibles por inspección. No hay autorreferencia, no hay paradoja, no hay indecidibilidad. El paso de n a n+1 —añadir un predicado— es una operación legítima que produce un nuevo nivel; no acumula todos los niveles en una totalidad.

11.2 · Los teoremas de Gödel: improcedencia, no refutación

Los teoremas de incompletitud (1931) dependen de la numeración de Gödel: codificar fórmulas como números y permitir que el sistema hable de sus propias expresiones a través de ese código.

En el Paradigma de Segmentación, los teoremas de Gödel no se refutan. Se vuelven improcedentes, porque sus presupuestos ontológicos no se cumplen por dos líneas independientes:

Primera línea — falta de codificación. La numeración de Gödel requiere que cada fórmula se identifique con un número, y que ese número sea un objeto preexistente de ℕ sobre el que cuantificar:

• No hay un conjunto de fórmulas. Las fórmulas son configuraciones operacionales, no elementos de un stock.
• No hay numeración de Gödel. Codificar φ como un número n requiere que n sea un objeto preexistente. Aquí n es el cierre R de un proceso —no hay n disponible fuera del proceso que lo produce—.
• No hay autorreferencia cuantificacional. La fórmula G de Gödel —"yo no soy demostrable"— exige que el sistema se mire como si ya estuviera todo dado. El paradigma niega precisamente ese "todo dado".

Segunda línea — falta de sujeto predicable (anticipada en §4.4). Aun concediendo la codificación, la fórmula G requiere que exista el predicado "demostrable" como totalidad dada, un objeto sobre el que G pueda hablar. Pero si demostrar es un acto operacional —un recorrido discreto por el hipercubo booleano—, entonces no hay conjunto de demostraciones: hay demostraciones realizables (potenciales, ▲) y demostraciones ya realizadas (trazas, △). Ninguna de las dos constituye una totalidad sobre la que predicar.

La fórmula G, por tanto, no es falsa, no es verdadera, no es indecidible: simplemente no se forma. Carece de número que la codifique y carece de predicado que la hable.

La prueba de Gödel sigue siendo impecable dentro de la ontología cantoriana. Pero el Paradigma de Segmentación no habita esa ontología. No es que el sistema sea más potente que Gödel; es que Gödel habla de un tipo de sistema que aquí no se construye.

§12 · Balance: qué se gana, qué se pierde

Lo que el Paradigma de Segmentación gana:

• Unidad estructural: las cuatro piezas del sistema (distinción, conteo, razonamiento, combinatoria) se apoyan en un único mecanismo ontológico —la co-constitución por negación—, realizado en cuatro registros. El paradigma no es una colección de principios; es la realización múltiple de una sola estructura.
• Una teoría operacional del número como cierre R :↔: ¬R, que el paradigma clásico, al cosificar ℕ, nunca pudo tener.
• Una teoría operacional de la inferencia: razonar no es una relación atemporal entre proposiciones sino una trayectoria efectiva por el hipercubo booleano, con pasos discretos y cierre en la conclusión. La equivalencia entre validez y demostrabilidad se vuelve identidad por definición operacional.
• El reconocimiento de que sumar y argumentar son la misma operación en registros distintos —composición de inclusiones conjuntistas—, disolviendo la distinción tradicional entre aritmética y lógica.
• Una distinción ontológica entre potencia, acto y traza como tres modos del ser respecto al proceso, donde el paradigma clásico trata a todo objeto como ya-siempre-dado.
• Una fundamentación sin infinitos actuales ni paradojas conjuntistas.
• Doble inmunidad estructural a Gödel: ni hay numeración cosificadora (falta el número), ni hay totalidad de demostraciones sobre la que predicar (falta el sujeto).
• Una lectura uniforme de la lógica proposicional como combinatoria finita sobre segmentaciones.

Lo que el Paradigma renuncia a hacer por la vía clásica:

• Cuantificar sobre "todos los números naturales" como totalidad actual.
• Tratar ℝ como conjunto completo con sus cardinalidades transfinitas.
• Apelar a axiomas de existencia de totalidades infinitas.

Parte de la práctica matemática ordinaria puede reconstruirse operacionalmente: la aritmética como patrón de segmentación y conteo iterado, el análisis como proceso de aproximación finita sin término fijo. Otra parte —la que depende del infinito actual al estilo cantoriano— queda como un modo de hablar legítimo en su dominio, pero sin pretensión ontológica: una abreviatura útil, no una descripción del ser matemático.

§13 · Coda

El Paradigma de Segmentación no es una reescritura notacional de la lógica clásica. Es una inversión ontológica. Y lo que hace el recorrido completo del documento es mostrar que esa inversión se apoya sobre una única estructura fundamental, desplegada en cuatro registros:

El mecanismo común es el mismo en los cuatro casos: dos polos recíprocamente negativos que se co-constituyen mutuamente, y cuya co-constitución es lo que hace emerger la estructura determinable. Donde P₅ fundaba la segmentación binaria, R :↔: ¬R funda el número, la inferencia funda el razonamiento como trayectoria, y la selección de átomos funda el espacio de las fórmulas.

Esto es lo que convierte al sistema en un paradigma y no meramente en una reconstrucción técnica. El Paradigma de Segmentación es la tesis de que todo lo que hay como determinación —sea distinción, número, inferencia o combinación— emerge de la estructura de co-constitución por negación, y que esa estructura no se reduce a ninguna otra.

Donde la tradición puso el elemento, el conjunto y la totalidad, aquí se ponen tres actos primitivos: segmentar, contar e inferir. El primero establece diferencias sobre U; el segundo las reconoce como cierres nombrables; el tercero las recorre efectivamente para producir nuevas determinaciones. Todo lo demás —átomos, fórmulas, conectivas, aritmética, silogismos— emerge de estos tres actos como configuraciones finitas y completables.

El recorrido de los cinco principios reconstruye filosóficamente lo que significa que haya algo determinable. Parménides puso la piedra angular cuando negó el no-ser. Aristóteles la pulió con el cuadrado de oposición. El Paradigma de Segmentación hereda esa tradición y le añade un suelo operacional: los principios no son verdades eternas contempladas, sino actos mínimos realizables.

La matriz operacional añade la segunda parte del suelo: la del número. No hay un ℕ preexistente; hay procesos de conteo, y cada proceso completable produce su par co-constituido R :↔: ¬R, y cada cierre recibe un nombre, y al conjunto de esos nombres lo llamamos sistema de numeración. Sin la posibilidad de conteo no hay números, ni sistema de numeración. La única estructura lógica dinámica que recoge como clase ese proceso es la matriz operacional. Esta frase, que se repite para fijarla, es la bisagra del paradigma entero.

Y el reconocimiento del razonamiento como acto operacional añade la tercera parte: la del proceso inferencial. Sumar y argumentar se revelan como dos caras de la misma moneda, composiciones de inclusiones que difieren en el dominio pero no en la estructura. La distinción tradicional entre aritmética y lógica se disuelve en su suelo operacional común.

Sócrates —el filósofo ateniense y mortal— ha atravesado la tabla entera como hilo conductor. Nunca fue solo un ejemplo. Fue la prueba de que la lógica clásica y la aritmética elemental caben dentro del Paradigma sin forzar nada, y de que lo hacen desde una ontología más sobria: una en la que el infinito no es postulado, la totalidad no es invocada y los objetos matemáticos no preceden a los actos que los hacen aparecer.

Los infinitos actuales no caben aquí. No porque se los prohíba, sino porque carecen de inversa ejecutable: no hay ¬∞ que parta de ∞ como origen, y sin inversa co-constitutiva no hay cierre, y sin cierre no hay número. El infinito es potencia sin inversa, no un objeto con cardinalidad. Los números no son objetos: son cierres co-constituidos. Las fórmulas no son elementos: son selecciones. Las demostraciones no son totalidades: son trayectorias realizables. El espacio lógico es un hipercubo finito por nivel, navegable por operaciones siempre discretas.

Queda abierto —y es trabajo para textos posteriores— el paso de átomos como celdas del espacio a átomos como objetos susceptibles de transporte estructural: ahí es donde el Paradigma se encuentra con la estructura functorial y donde el cuadro de constitución se revela como la sombra plana de un diagrama conmutativo. Pero eso es ya otra página.

Lo que importa sostener aquí es esto: la fundamentación no requiere el infinito actual. Un único mecanismo —la co-constitución por negación— basta, desplegado en cuatro registros. Y renunciar al infinito actual, lejos de empobrecer el paisaje lógico y aritmético, lo devuelve a su carácter operacional originario: donde los números se hacen, no se encuentran; donde las fórmulas se seleccionan, no se enumeran; donde los razonamientos se recorren, no se contemplan; donde la totalidad no precede al acto, sino que el acto —siempre co-constituido con su inversa— es todo lo que hay.

J. C. Sobrepere · jcsobrepere.org
Documento fundacional · versión 5