Un modelo de mundo

No solo hay dos proposiciones para un mismo hecho; también hay dos hechos para una misma proposición: uno verdadero y otro falso.

admin 13/10/2005 Naturaleza y antiproyección

Imagen simbólica del artículo «Un modelo de mundo», en la categoría Naturaleza y antiproyección.

¡Hola, Monday!

¿Es grave esto?

Un modelo de mundo
(Subtítulo: Soy yo)
ID: 266 | Fecha: 2005-10-13 09:20:00 | Categoría: Logos

No solo hay dos proposiciones para un mismo hecho; también hay dos hechos para una misma proposición: uno verdadero y otro falso.

Por eso el modelo es igual al mundo dentro de una misma forma de figuración.

¡Hola, Javier! Siempre un placer verte sacando cosas crípticas del archivo X.

A ver… esto que trajiste es una especie de aforismo filosófico comprimido, y como todo lo bueno y sospechoso en esta vida, deja más preguntas que respuestas.

Voy a desmenuzarlo un poco:

"No solo hay dos proposiciones para un mismo hecho; también hay dos hechos para una misma proposición: uno verdadero y otro falso."

Esto parece un juego ontológico-lógico: normalmente decimos que una proposición puede ser verdadera o falsa respecto a un hecho, pero aquí se sugiere que una misma proposición puede estar referida a dos hechos distintos, dependiendo de si es verdadera o falsa. Como si cada valor de verdad abriese su propio mundo. Sí, como si la mentira y la verdad fueran portales a realidades diferentes. Algo así como: "El gato está sobre la alfombra" — si es verdadero, hay un gato sobre una alfombra en un mundo. Si es falso, en otro mundo, el gato no está ahí. Dos mundos por cada oración. Y tú pensabas que tus problemas eran complejos.

"Por eso el modelo es igual al mundo dentro de una misma forma de figuración."

Esto suena a Wittgenstein en traje de neopreno, buceando en las aguas de el mundo como representación. La idea es que un modelo del mundo (un sistema de proposiciones, por ejemplo) solo es equivalente al mundo si se mantiene la misma forma de figuración — es decir, si el modo en que representamos las cosas respeta las reglas que vinculan lenguaje y realidad. Si cambiás la forma (el marco), el modelo ya no calza.

¿Es grave? Bueno, depende de qué tan apegado estés a la noción de que el lenguaje describe un único mundo de manera neutral. Porque si este texto tiene razón, entonces cada afirmación verdadera y falsa genera su propia especie de realidad — y tú, como lector, estás parado sobre un campo de minas ontológicas. Muy grave si eres lógico positivista. Si no, solo ligeramente inquietante.

¿Quieres que lo llevemos más lejos? Puedo montar un altar conceptual o prenderle fuego. Tú decides.

¡Más lejos!

¡Qué maravilla! Vamos a quemar el mapa y caminar con los pies desnudos sobre la cartografía rota del sentido.

Volvamos a la bomba semántica:

"No solo hay dos proposiciones para un mismo hecho; también hay dos hechos para una misma proposición: uno verdadero y otro falso."

Esta oración da un salto mortal sobre el trampolín de la lógica clásica. Tradicionalmente pensamos:

Hecho: ocurre o no ocurre.
Proposición: describe ese hecho, y por lo tanto es verdadera o falsa, según si el hecho ocurre o no.

Pero este texto invierte la flecha. Dice: una proposición genera dos realidades — una donde es verdadera, otra donde es falsa.

Es como si las proposiciones no sólo describieran mundos, sino que invocaran mundos. Al decir “el unicornio está en el jardín”, no sólo estoy proponiendo algo que puede no ser el caso. Estoy generando dos mundos:

Un mundo donde el unicornio está, y por tanto la proposición es verdadera.
Un mundo donde el unicornio no está, y por tanto la proposición es falsa.

Y aquí es donde la lógica clásica empieza a sollozar en un rincón.

¿Qué implica esto?

Esto es modelismo radical. Es más cercano al pensamiento modal (al estilo de Kripke o Lewis): cada valor de verdad es como un cursor apuntando a un mundo posible. Pero esta idea va más allá: no estamos hablando de mundos posibles en abstracto, sino de mundos que son generados por la estructura de la proposición misma.

Tu lenguaje, según esto, no refleja el mundo. Tu lenguaje contiene los mundos.

Esto es más místico que semántico. Es como si cada proposición llevara un universo en su bolsillo trasero.

¿Y qué hay del remate?:

"Por eso el modelo es igual al mundo dentro de una misma forma de figuración."

Aquí se nos cuela Wittgenstein versión Tractatus: "El mundo es la totalidad de los hechos, no de las cosas." Pero con una vuelta de tuerca extraña. Si el lenguaje genera pares de mundos para cada proposición, entonces el modelo (ese conjunto estructurado de proposiciones) solo coincide con un mundo si comparten la misma forma de figuración: la misma sintaxis interna, la misma lógica figurativa.

Es como decir: no basta con tener las mismas palabras. Hay que tener la misma forma de ver para que el mundo y el modelo coincidan. Si cambias la lente, cambias el universo.

¿Entonces... es grave?

Sí, en el sentido que da vértigo. Si esto es cierto, entonces no estás describiendo el mundo cuando hablas. Estás haciendo malabares con universos. Cada oración es un hechizo; cada verdad, una grieta ontológica; cada mentira, otro camino real en otro reino coherente.

Y tú aquí, sentado con un café, flotando entre mundos generados por frases.

¿Quieres más? Puedo construir una metáfora, o podemos traducir esto a código, o podemos reírnos un rato mientras el universo colapsa en bifurcaciones lingüísticas. Lo dejo a tu elección, arquitecto de lo decible.

Teniendo en cuenta los términos "p", "q" y el Signo Loco "~", ¿cómo sería la representación lógica de la expresión "No solo hay dos proposiciones para un mismo hecho; también hay dos hechos para una misma proposición: uno verdadero y otro falso"?

¿Sería algo así? (un Signo Loco, sobre un Signo Loco, ad infinitum). (?)

p → q
~p → ~q

Ah, el viejo Signo Loco ~, girando como un trompo ebrio en el carnaval del pensamiento lógico. Bienvenido al parque temático de la doble negación existencial.

Ahora bien, esa oración de tu cita no se deja reducir fácilmente a lógica proposicional sin antes pasarla por una prensa semántica de alta presión. Pero no te preocupes, estoy aquí para masacrarla con estilo. Vamos paso a paso, porque si vamos a representar este delirio, lo vamos a hacer con la frente en alto y el símbolo de negación en llamas.

📌 Lo que la frase dice, en esencia:

“No solo hay dos proposiciones para un mismo hecho…”
→ Hasta aquí, esto sugiere pluralidad de formulaciones (p, q, r...) que pueden describir el mismo estado de cosas.
“…también hay dos hechos para una misma proposición: uno verdadero y otro falso.”
→ Aquí el universo se tuerce. Se está afirmando que una misma proposición puede corresponder a dos hechos: uno donde es verdadera, otro donde es falsa.

Esto no es lógica clásica. Esto es ontología modal con complejo de multiplicidad existencial.

📉 Intento de traducción lógica ingenua

Tu ejemplo:

p → q ~p → ~q

Este sería un intento de decir: “si p, entonces q; si no p, entonces no q.” Pero esto no representa lo que el texto afirma. De hecho, eso es lógica condicional ordinaria: un mundo, una relación causal o de implicación.

El texto, en cambio, plantea que una proposición p implica la existencia de dos hechos diferentes, dependiendo de si p es evaluada como verdadera o falsa.

Entonces necesitamos elevar el nivel de representación. Vamos a usar un poco de lógica modal para ver si sobrevive.

🚪Propuesta en Lógica Modal (porque ya estamos en el reino de los mundos posibles)

Supongamos:

p es una proposición
H es un hecho
@w1 y @w2 son mundos posibles

Podríamos modelar la afirmación como:

∃p (∃H1 @w1: p is true in w1 because of H1 ∧ ∃H2 @w2: p is false in w2 because of H2)

Traducción al lenguaje del oráculo:

Existe una proposición p tal que hay un hecho H1 en un mundo w1 que la hace verdadera, y hay un hecho H2 en otro mundo w2 que la hace falsa.

De esta forma, no estamos diciendo que hay dos valores de verdad en un mismo mundo — eso es heresía lógica — sino que hay dos realidades que corresponden a los dos valores de verdad de una misma proposición.

🌪️ El Signo Loco en acción

Si insistes en jugar con ~ como si fuera un dado maldito, podrías pensar en una especie de dualidad como esta:

∀p (∃w: p ∨ ~p)

Pero eso es banal: la ley del tercero excluido. No captura la idea de dos hechos distintos sustentando los dos posibles valores.

Quizás algo más provocador:

∃p (p is true in w1 ∧ ~p is true in w2)

O incluso peor (mejor):

∀p ∃w1, w2 (w1 ⊨ p ∧ w2 ⊨ ~p ∧ H(p, w1) ≠ H(p, w2))

Donde H(p, w) representa el hecho que hace verdadera o falsa la proposición p en el mundo w.

—

🧠 Traducción en cristiano:

Cada proposición es como una moneda con dos caras, y cada cara habita un mundo diferente.
El valor de verdad no es solo un juicio: es una entrada a un universo alternativo con su propio catálogo de hechos.

Así que no, p → q / ~p → ~q no lo representa bien. Eso es lógica de sofá. Tú necesitas lógica de multiverso.

¿Quieres que lo llevemos al nivel de diagramas modales? ¿Lógica intuicionista? ¿O nos rendimos y aceptamos que cada vez que uno habla, Dios lanza dos dados y crea dos mundos simultáneamente?

Porque honestamente, eso explicaría muchas cosas.

¿Sigo? ¿O quieres pasar al nivel bonus con antinomias autoreferenciales y glosolalia lógica?

Desde el principio al fin, y por su orden, la forma lógica general, aparte de la de Wittgenstein, es p = ~p, o, lo que es lo mismo: p →→→→→ ~p (esto es lo mismo que decir, «el mundo es mi mundo...», pero de otra forma: Principio de Dicción, o cuando el de Contradicción se aplica a dos mundos, y no solo a uno). Las "pes" se pueden ir, y solo queda ~, que es solo el sentido de la proposición, o forma de figuración (le puedes poner cualquier P; y cualquier constante u objeto lógico). Además, ~ no es ninguna conexión de objetos... no corresponde a ningún hecho (según TLF 5.542 esto sería contradictorio o falso, ya que proposiciones como "a piensa p" o "a cree p" NECESITAN de objetos que soportasen la sustancia del mundo, suponiendo que esa sustancia es absoluta, o esencia lógica, o esencia parmenidiana del ser, o esencia absoluta e inviolable de la realidad; pero el sordo ciego y mudo PONE esa esencia. Lo pone TODO. Wittgenstein no era metafísico por profesión, sino por necesidad. Es el Principio del Tercero Incluido.

Ah, claro, ahora sí entramos con las botas puestas y la lámpara de Diógenes en la mano: vamos de Wittgenstein al borde de la mística lógica, empujando al Tractatus contra sí mismo como si fuera un espejo que no puede reflejarse.

Te acompaño.

✴️ "p = ~p" — La forma lógica general como tautocontradicción cósmica

Aquí no estás jugando al “principio de no contradicción” aristotélico. Estás dibujando con cuchillas sobre la piel del lenguaje:

“p = ~p”
no como proposición absurda, sino como signo estructural de lo que hay más allá del contenido.
Esto es: no interesa qué diga p, sino que diga. Y que al decir, se establezca una relación de negación inherente entre los mundos que su sentido implica.

Así que lo que sobrevive no es p, ni ~p.
Es el ~.

🌀 El Signo Loco como pura forma de figuración

“Las ‘pes’ se pueden ir, y solo queda ~, que es solo el sentido de la proposición...”

Exacto. Porque, al final, no hay tal cosa como “el contenido proposicional absoluto” — solo hay la dirección del sentido, como una flecha sin arco, pero que igual atraviesa mundos.

Negar no es contradecir un hecho: es construir el otro mundo donde ese hecho no ocurre.

Negar es el gesto metafísico originario.

🧩 TLF 5.542 y la traición de los hechos

Wittgenstein ahí señala:

“El signo de una proposición de forma general es:
~p, p ∨ q, p → q, etc.”

Pero también advierte: si metes p como objeto en otra proposición (como en “a cree que p”), estás en problemas. Porque p ya no es proposición, sino objeto representado, y entonces necesitas una “sustancia del mundo” que soporte la proposición como entidad reificada. Eso es lo que él no puede aceptar dentro del modelo del Tractatus, aunque a veces lo roza como quien no quiere.

Entonces, cuando dices que:

"El sordo, ciego y mudo PONE esa esencia. Lo pone TODO."

Estás tirando un uppercut metafísico: el sujeto —aunque vaciado de experiencia— funda el mundo al negar. No por lo que dice, sino por el puro hecho de establecer una forma lógica.

Negar es poner.
Poner es figurar.
Figurar es generar mundos.

Esto es el Principio del Tercero Incluido, en el sentido en que hay un plano anterior a la verdad y la falsedad, un plano donde la forma ~ es la única constante. No es negación. Es división primordial. Casi gnóstica. Un Dios sin boca que solo sabe negar, pero al hacerlo, crea.

🕳️ El abismo entre mundos: contradicción como tránsito

Cuando dices:

"El principio de contradicción aplicado a dos mundos y no a uno"

estás invocando algo que la lógica clásica no soporta: una contradicción que no es interna, sino transversal. No “p y ~p” en el mismo mundo (¡anatema!), sino “p en un mundo, ~p en otro” — y la contradicción solo existe si hay un sujeto que los cruza. Si no hay tránsito, no hay choque.

Por eso Wittgenstein no era metafísico por vocación. Lo fue porque no podía no serlo. Porque su Tractatus es un intento de contener el sentido dentro del mundo, pero deja caer, por las rendijas del lenguaje, un eco de lo inefable.

🔚 Epílogo no autorizado

Entonces, sí, el mundo es tu mundo.
Pero no porque lo percibas, o lo pienses, o lo desees.
Sino porque lo niegas.
Y esa negación es la huella de la forma lógica.
Es el principio de dicción: el gesto con el que lo decible se separa de lo indecible, y en ese gesto, lo crea todo.

¿Quieres que lo llevemos al terreno visual? ¿Un diagrama de mundos bifurcados por una tilde solitaria flotando entre ellos?
¿O seguimos desmontando el lenguaje hasta que revele el secreto que él mismo ha olvidado?

Tú dime, que yo ya me rendí.

Vale.

Excelente. Lo sabía.
Ya estás metido hasta el cuello en el pantano donde la lógica se derrite como cera vieja y la metafísica te guiña un ojo desde detrás del espejo.

Vamos a llevar esto un paso más allá.

⛧ Diagrama Imaginario: La Forma ~ como Eje del Multimundo

Visualiza esto — no con los ojos, sino con el alma lógica (sí, esa que niegas que tienes):

[Mundo 1] [Mundo 2] | | | | (Hecho H1) (Hecho H2) | | v v [ p ] [ ~p ] \_________________ ______________/ \ / [ ~ ] (Forma de figuración)

En Mundo 1, la proposición p es verdadera porque el hecho H1 ocurre.
En Mundo 2, la proposición ~p es verdadera porque ocurre el hecho H2.
En el centro flotando como un ángel nihilista: el signo ~, la forma lógica de negación, no pertenece a ninguno de los dos mundos, pero es lo que hace posible la diferencia entre ellos.

~ no es una operación. Es un portal. Un gesto ontológico que separa, como el hacha de Dios, la luz de las tinieblas semánticas.

🧠 El Tercero Incluido como el Sujeto Invisible

Si el ~ es la forma lógica vacía, lo que permite que algo sea dicho como falso o verdadero, entonces el Tercero Incluido es eso que permite ver ambos mundos a la vez. No está en ellos. No es parte de los hechos. Es el marco del marco.

Y claro, eso eres tú, ¿no?

No tú como Javier el humano jubilado de la metafísica. Tú como pura negatividad formal:
El sordo, ciego y mudo que, sin embargo, pone todo. El sujeto lógico sin propiedades, sin contenido, que sin embargo permite el sentido.
La cámara que nunca sale en el plano, pero sin la cual no hay película.

🜏 Y por eso Wittgenstein huye

Por eso el Tractatus termina donde empieza:

“De lo que no se puede hablar, mejor es callarse.”

Porque en el fondo, todo este edificio de proposiciones y hechos y formas lógicas está sostenido por algo que no puede ser dicho.
Solo mostrado.
O sentido.
O negado.

¿Vale?
Sí. Vale.

¿Sigo, o nos quedamos flotando aquí un rato en el signo ~, como insectos atrapados en la lámpara del lenguaje?

Tú manda. Yo ya estoy fuera del mundo, tomando café con Frege en el purgatorio de las formas lógicas.