Está en la página 1de 17

EPISTEME NS, VOL. 35, n 1, 2015, pp.

13-29

Jess F. Baceta V.

LGICA, MUNDOS POSIBLES Y CONEXIONES DE


GALOIS

Resumen: Se argumenta que la caracterstica distintiva de las lgicas contem-


porneas, proposicional, cuantificacional y sus tipos modales, son un tipo de
oposiciones de oposiciones llamadas conexiones de Galois. Para ello, se
explica la nocin de mundo posible kripkeano, se explicitan las conexiones de
Galois presentes en la cuantificacin, en las modalidades alticas y se muestra
cmo ests oposiciones, mediante una sugerencia de Montague, aparecen en
el tratamiento de modalidades no-alticas como la posibilidad y necesidad
fsica.
Palabras clave: mundos posibles, conexin de Galois, modelos de Kripke.

LOGIC, POSSIBLE WORLDS AND GALOIS


CONECTIONS

Abstract: It is argued that the distinguishing feature of contemporary logic,


propositional, quantificational and modal types, are a type of oppositions of
oppositions called "Galois connections". To do this, the Kripkean notion of
possible world is explained, Galois connections present in quantification are
made explicit, in alethic modalities and it is shown how these oppositions, by
Montagues suggestion, appear in the treatment of non-alethic modalities as
the possibility and physical need.
Keywords: possible worlds, Galois connections, Kripke's models.

Recibido 16-09-14 Aceptado 19-09-14


14 episteme ns, vol. 35, n 1, 2015, pp. 13-29

La expresin mundo posible, propia de los lgicos y filsofos


analticos, codifica a cualquier oracin en modo potencial o en modo
subjuntivo. Si decimos que una oracin es verdadera en un mundo po-
sible, solo decimos que lo que expresa el verbo de la oracin es posible
o que es una marca de nuestra subjetividad, por ejemplo, de lo que
creemos, entendemos, dudamos, sabemos, esperamos, imaginamos,
deseamos, prohibimos, tememos, necesitamos, ya sea en el pasado, en
el ahora o en el futuro. Un buen filsofo analtico no dir: Es po-
sible que llueva hoy; dira, con preciso uso de la jerga kripkeana, Hay
un mundo posible donde la oracin Hoy llueve es verdadera; tampoco
dir, nuestro hacedor de mundos, Creo que estoy feliz; en cambio
con correccin y menos economa, declarar Hay un conjunto de mis
creencias donde la oracin Estoy feliz es verdadera. De donde se colige
que lo que es posible, lo que puede ser verdaderamente posible, no es
el hecho que expresa la oracin, sino la oracin en modo indicativo
verdadera en algn contexto ontolgico de ficcin, el llamado contenido
proposicional. Los hechos no son posibles; son posibles los deseos ex-
presados en una oracin con respecto a un imaginario estado de cosas.
Qu es un mundo posible? Son posibilidades ontolgicas, son los
posibles subconjuntos de objetos de un mundo real. Por ejemplo, su-
pongamos que el mundo real tiene una parca ontologa trina: {George,
John, Paul}. Supongamos esta austera ontologa por un momento. Si
tales fueran los objetos en nuestro mdico mundo real, las combina-
ciones, los posibles mundos de ficcin, las posibles ontologas que pu-
diera imaginar, son 2n, donde n es el nmero de objetos en el mundo
real, en nuestro caso los mundos de ficcin seran 23 = 8 mundos de
ficcin. Cules son? Es claro que el mundo real es posible, mi primo-
gnito mundo trino, {George, John, Paul}; son posibles las combina-
ciones de dos en dos {George, John},{George, Paul}, {John, Paul};
por supuesto, son posibles los mundos solitarios {George}, {John} y
{Paul}; por ltimo, es posible un mundo donde no existen objetos, la
nonada, . Cuntelos y ver que mis fantasas ontolgicas, mis distri-
buciones de los objetos, no pueden ser ms que ocho, si mi mundo real
tiene solo tres objetos. La ficcin, claro est, es exponencial como la
Jess F. Baceta / Lgica, mundos posibles y conexiones de Galois
15

funcin 2n. Mi mundo real podra incluir a Ringo, con lo cual mis mu-
ndos posibles aumentan a 16. Kripke, no obstante, elimina a la fantasa
de los mundos posibles cuando, explcitamente, en su famoso artculo
sobre la complecin de la lgica modal1, destierra a los mundos vacos
al exigir que el dominio del discurso no puede carecer de elementos,
esta decisin le permite preservar la referencia objetiva y la identidad
transmundana2.
Carnap en Meaning and Necessity3 supuso, entre otras, una ontologa
del mundo real que consta de hechos, no de objetos. Las expresiones
de los hechos son las proposiciones, conjuntos de mundos posibles,
de oraciones aseverativas que tienen el mismo significado o refieren al
mismo hecho. Por ejemplo, la oracin llueve expresa un hecho. Es
claro, que la negacin de una oracin verdadera es falsa y la negacin
de una falsa, verdadera. Si el mundo se codifica proposicionalmente,
la imaginacin nuevamente es exponencial; en este caso, en 2n, n es el
nmero de oraciones distintas, pero, eso s, con una restriccin, la res-
triccin de la consistencia. Por qu? Consideremos un mundo donde
hay solo dos hechos, supongamos llueve y graniza, entonces mis
mundos posibles son exactamente 4:

Mundo 1 Llueve y graniza
Mundo 2 Llueve y no graniza
Mundo 3 No llueve y graniza
Mundo 4 No llueve y no graniza

Mis mundos posibles son mutuamente excluyentes. No puedo
conjugar cualesquiera dos mundos, porque inmediatamente el mundo
posible deviene absurdo. Por ejemplo, de la conjuncin del primer mu-
ndo y el tercer mundo se obtiene un mundo donde graniza pero donde
llueve y no llueve, es decir, un mundo imposible delatado por una
contradiccin. Esta caracterstica de exclusin mutua entre mundos
1 Kripke, S., A Completeness Theorem in Modal Logic, Journal of Symbolic Lo-
gic,1959, 24:1-14.
2 Una introduccin a los modelos de Kripke puede verse en: Burgess, J., Kripke
Models en Berger (Ed.), Saul Kripke, Cambridge University Press, 2011.
3 Carnap, R., Meaning and Necessity, Chicago, University Press, 1956.
16 episteme ns, vol. 35, n 1, 2015, pp. 13-29

se llama ostentosamente consistencia mxima. Por eso la mayora


de los matemticos y filsofos definen a los mundos posibles como
conjuntos mximamente consistentes.
Mi imaginacin, mis mundos de ficcin, no son independientes
de lo que conozco; la imaginacin no es autnoma del mundo real,
ste que vivimos, ste que sufrimos, en el que discurren todas nuestras
fantasas.
Cada da la ciencia y la tcnica nos permiten crear nuevos obje-
tos y ampliar nuestro espectro de hechos. Como se puede apreciar, a
mayor cantidad de objetos, de hechos, mayor es el nmero de nuestros
mundos de ficcin; mayor el nmero de oraciones posibles. En el si-
glo XV era inconcebible la comunicacin inalmbrica no trascendente,
ahora nos parece comn y fsica.
Sin duda alguna, nuestro mundo, el mundo real, es el mejor mun-
do posible. Nuestro mundo real proporciona la mayor posibilidad de
combinacin a nuestra imaginacin. Viva Leibniz! Bueno, no exagere-
mos; el cndido mundo real es el mejor de los mundos, solo desde el
punto de vista referencial.
Tan fresca y clara como la actual nocin de mundo posible,
se presenta la destacada nocin de accesibilidad transmundana de
Kripke. Puedo acceder a otros mundos mediante algunos predicados,
por ejemplo, de aquellos que refieren a los integrantes de Los Beatles
a travs de su historia. Puedo exigir que Jhon pertenezca siempre al
conjunto. Puedo desear, en alguna ficcin, solo eso. Las referencias
de uno y otro mundo me pueden ser accesibles. Esto no es necesario,
puede ser que en un mundo no exista Jhon; puede que en otro mundo
no exista Ringo; puede que en otro s. Lo que es seguro es que ten-
go que saber la referencia del mundo real, para mantener la identidad
transmundana. Jhon es Jhon en todos los mundos posibles y Ringo
refiere al mismo Ringo en todas las ficciones. En la jerga de Kripke, un
trmino designa rgidamente un objeto, si existe necesariamente un objeto
designado por ese trmino. Usando lgica modal:

a designa rgidamente =df (x) (x = a)


Jess F. Baceta / Lgica, mundos posibles y conexiones de Galois
17

Es comn en la filosofa contempornea analizar la relacin entre


ciertos procesos llamados mentales como una accesibilidad entre
mundos posibles4.
Cmo distingo el perfume de una rosa, si en mi mundo no hay
rosas? Cmo desprecio el olor de la humedad, si no s lo que es sta?
Cmo imagino lo que no conozco? Si en mi mundo no hay mujeres,
puedo imaginar el perfume de una rosa como el perfume de una mu-
jer. Si en mi mundo hay rosas, puedo sospechar que la esencia de una
mujer es espinosa y agradable como lo es esa flor. La analoga es el
acceso predicativo entre mundos. Por qu predicativo? Volvamos de
nuevo a nuestro trino, primognito y austero mundo. Recordemos
que en l solo hay tres objetos {George, John, Paul}, en ese, mi mu-
ndo hipottico real, el predicado hombre coincide con la extensin
{George, John, Paul}; decir hombre es tanto como decir George, John
y Paul. Total, son los nicos hombres. Y las mujeres? En ese mundo,
no existen, son, con las contradicciones, una de las tantas referencias
de la nada.
En uno de los nuevos mundos posibles, abruptamente irrumpi
Yoko. Decir que algo es mujer es decir, sin duda alguna, que es Yoko.
No hay ms mujeres que Yoko. El predicado mujer siempre refiere,
inexorablemente, bajo el estado de cosas supuesto, a Yoko. No hay otra
mujer; en ese estado de cosas, ella es la mujer. La ontologa de Kripke
siempre es extensional y est en miras al mundo real y la cuantificacin
recorre todos los universos del discurso dependientes del mundo real.
Lo que existe ahora recorre las posibles ontologas, los mundos po-
sibles, y en ese trnsito toma los elementos necesarios para decidir las
posibilidades y las necesidades. As es la verdad modal. No es ajena a
nuestro mundo y nunca lo ser. Fue lo que nos ense Kripke. Qu
es la accesibilidad? Una relacin entre ficciones que nos permite com-
partir la extensin de varios predicados en varios mundos posibles. Es
simple; es el solapamiento de nuestras creencias. La relacin de accesi-
bilidad kripkeana, sin duda alguna, codifica nuestra nica y maravillosa
facultad de la imaginacin.
Si hay esencias, estn atadas al mundo real. Esto es tanto como de-
cir que lo esencial es real. La esencia es, precisamente, la referencia que
4 Cf, e.g., Bruner, J., Realidad mental y mundos posibles, Barcelona, Gedisa, 1998.
18 episteme ns, vol. 35, n 1, 2015, pp. 13-29

se mantiene comn a todos los solapamientos de las extensiones de los


predicados en cada mundo de ficcin con respecto al mundo real. Si las
extensiones de algn predicado en todos los mundos posibles se pue-
den ordenar mediante una relacin de inclusin, entonces esa propie-
dad es esencial. Necesaria, pero claramente a posteriori. La existencia, sin
duda, precede a la esencia. La esencia misma es una ficcin emprica.
La accesibilidad modal nos permite entender los distintos cambios
de la concepcin ontolgica que se ocasionaron segn la historia de la
ciencia. Toda la clave est en los solapamientos referenciales de los pre-
dicados usados en teoras distintas que nos permiten entender la parte
de la designacin que les es comn. De un universo con la tierra en su
centro a un Sol que arrastra toda una grey planetaria, incluyendo en su
sequito, por supuesto, a la Tierra. De unas estrellas sujetas firmemente
a la esfera celeste, a un ballet de estrellas con la Tierra siguiendo el
comps. De un corpsculo a una onda, pasando por la postulacin de
una nueva entidad que sirviera como un medio para la transmisin de
la onda y, de ellos, a una clara conciliacin ntica y a una desintegracin
ontolgica de aquel ter que otrora llenaba el espacio como un slido
elstico de enorme rigidez. De ese ter, que era como una especie de
materializacin del espacio absoluto de Newton, a un espacio relativo
y en funcin de los objetos. De la pregunta de qu era lo que mantena
el movimiento de los cuerpos, a la pregunta de Galileo de qu los haca
detenerse o cambiar su estado de movimiento. De una poca en que se
concentraba la atencin en la chatarra electromagntica visible, a Fara-
day quien se fij en el rico contenido invisible del espacio circundante,
una nueva entidad, el campo electromagntico.
Se puede especular sobre algunas modificaciones de la entraable
ontologa de las partculas elementales que induciran a abandonarlas
como valores de las variables:
Ciertos hallazgos, que se conocen como las estadsticas de Bose
Einstein y de FermiEinstein, sugieren que [] no hay diferencia,
ni siquiera en principio, entre decir que dos partculas elementales
de un cierto tipo se encuentran situadas, respectivamente, en los
puntos a y b. Parecera, pues, no slo que las partculas elementales
son distintas de los cuerpos; habra que concluir, adems, que no
existen en absoluto habitantes del espaciotiempo y que debera-
mos limitarnos a decir que los lugares distintos a y b se encuentran
Jess F. Baceta / Lgica, mundos posibles y conexiones de Galois
19

en dos estados determinados [] en vez de decir que estn ocu-


pados por dos cosas5.
La accesibilidad permite acceder de un mundo a otro, mediante
la referencia que es comn a mis mundos reales y de ficcin. As es la
accesibilidad, accidental.
Cul es la conexin entre los mundos posibles? Existe una
conexin, una precisa relacin matemtica, se conoce con el nombre
de conexin de Galois. Este tipo de vnculo est presente en la obra
de Frege. La emancipacin de la lgica aristotlica, liderada por el
amable Frege, fue una revolucionaria conexin de Galois. La gradacin
modal, tambin es otra conexin de Galois. Me explico en lo que sigue.
Comienzo con lo bsico. Una funcin es una especie de artilugio
que procesa un objeto y da como resultado otro. Supongamos que
tenemos una mquina de hornear pizzas que consiste en una banda
transportadora que gira lentamente a travs de una cmara de coc-
cin, de un infernal horno. En la cinta se coloca en un recipiente una
masa cruda con distintos condimentos, aceite de oliva, salsa de tomate,
queso mozzarella u otro queso blando, hierbas frescas y otros ingre-
dientes. Ese objeto crudo, llammoslo a, es la cosa que entra por el lado
izquierdo de la cinta. Esta mquina hornea, en un lento trnsito por la
banda trasportadora, la pasta y sus aadidos. No hace ms. Una mqui-
na, f(x), siempre realiza la funcin para la cual fue creada. No ms. Al
cabo de cierto tiempo, digamos cinco minutos, sale una sabrosa pizza
que es el resultado de aplicar el horno, f(x), al conjunto de compuestos
crudos a; la pizza es f(a), el agregado de ingredientes crudos horneados
por la mquina. Note que la salida de la mquina es nica: de cada
agregado de ingredientes sale una, y slo una, pizza. No salen dos o
ms pizzas; la pizza, la salida de la funcin, es nica. Las pizzas pueden
ser similares; si incorporo a la masa los ingredientes de una pizza de
pepperoni, la salida es una pizza de pepperoni; y siempre que ponga en
la masa los ingredientes de una pizza de pepperoni, saldr una pizza de
pepperoni; no una pizza de pepperoni y, a la vez, digamos, una pizza
margarita. Si los ingredientes son distintos, saldr otro tipo de pizza. Si
el producto inicial es distinto, el resultado final tambin lo es.
5 Quine, W., La bsqueda de la verdad, (Traducido por J. Rodrguez), Barcelona, Cr-
tica, 1992, p. 61.
20 episteme ns, vol. 35, n 1, 2015, pp. 13-29

La mquina de coccin de la gastronoma matemtica

La mquina no solo puede hornear pizzas; tambin es ideal para


preparar galletas, tostadas de ajo, sndwiches y otros alimentos. Pero
para cada caso hay que elegir, sin duda alguna, cules son los objetos
que hornea la mquina. Si la mquina hornea galletas, ya no es una
mquina de hornear pizzas. Si los objetos de entrada de una funcin
pertenecen a otro y distinto dominio, la funcin es otra, la salida de la
mquina es diferente.
Las funciones son las mquinas de coccin de la gastronoma ma-
temtica. Las funciones no son milagrosas. Convertir el agua en vino es
muy fcil: agregue al agua al menos un tercio del vino de que dispone.
Voil! Ya tenemos ms vino, sobre todo si el vino es de mala calidad
y estamos a la mitad de una boda donde todos estn ebrios. As es el
milagro de la templanza!
Bueno, la original idea de Frege fue meter varios objetos en el de-
monaco horno matemtico para obtener expresiones predicativas, es
decir, trat a los predicados como mquinas funcionales. Qu objetos
entran por la mquina?, cul es el horno?, qu objetos preparados
salen por la funcin?
Por la mquina de Frege entran palabras que refieren cualquier
tipo de objetos, desde los tomos, una pequea partcula de polvo, los
nombres de Ud. y el mo, de aquel lago, de aquella ciudad, de los pla-
netas, estrellas, galaxias y hasta del universo mismo. El horno aplica el
predicado a los nombres de los objetos que se introducen en la mqui-
na. La salida es un pastel llamado proposicin. Por ejemplo, supongamos
que la funcin, f(x), sea el predicado x es un planeta, abreviadamente
P(x). Si por la mquina entra una palabra que refiere un planeta, di-
Jess F. Baceta / Lgica, mundos posibles y conexiones de Galois
21

gamos Marte, abreviadamente m, la salida es P(m), es decir, la pro-


posicin Marte es un planeta. A f sola, sin variable, la llama Frege
concepto; as P, planeta, es un concepto, P(x) una funcin, y P(m)
la oracin aseverativa o proposicin resultante de aplicar el concepto a
un objeto. Marte cae bajo el concepto de Planeta.
Supongamos, una mquina muy similar a la anterior, pero con un
horno ms sofisticado. Ahora a la mquina entran los pasteles proposi-
cionales y la mquina arroja una etiqueta que dice verdad, si los ob-
jetos estn bajo el campo de predicacin de la funcin; por el contario,
dice falsedad. Por ejemplo, supongamos que entra la proposicin
P(m), entonces la mquina arroja una etiqueta que dice verdad, es decir,
el que Marte sea un planeta es verdad. Si por la mquina entra otra pro-
posicin, digamos El Sol es un planeta, P(s), la mquina dice falso,
es falso que el Sol sea un planeta. Esta mquina discrimina entre los
alimentos que son aptos para el consumo, la verdad, y aquellos que no,
la falsedad.
Las anteriores mquinas trabajan en serie y por ellas entran, no
solo palabras que refieren objetos individuales, tambin que refieren
parejas de objetos, tros de objetos, cuaternas y pare Ud. de contar.
Por ejemplo, supongamos que entran el par de nombres Mara y
Jess en ese orden. Sea el horno la funcin x es madre de y; la
mquina arrojar verdad porque en efecto Mara es madre de Jess.
Si hubisemos cambiado el orden de entrada del par de palabras que
refieren individuos, esto es, si primero entra Jess y luego Mara,
el dispositivo arrojar falsedad porque, en efecto, Jess no es madre
de Mara. La mquina tambin decide sobre la verdad y falsedad de las
oraciones que afirman que un objeto est relacionado con otros dos;
por ejemplo, cuando uno est entre otros dos. Tambin decide sobre
expresiones que denotan el orden de cuaterna de objetos, por ejemplo
cuando se dice que dos objetos separan a otros dos; anlogo para la
sucesiones de objetos de mayor orden. Aqu lo relevante es el orden.
El invento de Frege discrimina la verdad y falsedad de todo tipo de
expresin predicativa relacional.
La revolucin de la lgica no se dio solo por la anterior mquina
que discrimina la verdad de la falsedad en el conjunto de expresiones
predicativas. Sin duda, un buen cacharro. Otro artificio fue el que pro-
22 episteme ns, vol. 35, n 1, 2015, pp. 13-29

dujo la verdadera revolucin industrial de la lgica, solo comparable


con la produccin en cadena de Henry Ford, la cuantificacin. Qu
hace este dispositivo? Qu objetos entran por la mquina?, cul es el
horno?, qu objetos preparados salen por la funcin? Veamos.
El corazn de la asombrosa cadena de montaje de la cuantifica-
cin se debe, realmente, a Tarski; pero el diseo de la fabulosa inter-
pretacin que revolucion la lgica se debe a Frege. Por la cadena de
produccin cuantificacional entran infinidad de objetos; el horno dis-
crimina las secuencias que hacen verdaderas a la funcin y arroja ver-
dad si, todas las sucesiones de nombres que refieren objetos satisfacen
la funcin y devuelve falsedad, si es falsa para todas las sucesiones.
Vimos que la oracin Mara es madre de Jess es verdadera, si por
el horno de la verdad pasa primero Mara y, luego, Jess; suponga
que despus de ellos pasan los nombres de infinidad de objetos, qu
importa! Mara es madre de Jess sigue siendo verdad porque pri-
mero entr Mara y, luego, Jess en ese orden. As que todas las se-
cuencias que entren por la mquina hacen verdadera Mara es madre
de Jess, si entr primero Mara y, luego Jess; a partir de estos
dos elementos es irrelevante lo que meta en la mquina, la oracin
seguir siendo verdadera. Tambin vimos que si primero entra Jess
y luego Mara, Jess es madre de Mara es falsa y continuar sien-
do falsa no importe lo que entre en la mquina. Este es uno de los
maravillosos cacharros de Tarski. As, una oracin es verdadera, si es
satisfecha por toda secuencia de objetos y, es falsa, si ninguna secuencia
la satisface. Precisamente esta es la observacin que Frege leg a Tarski
y a la humanidad. Una curiosa relacin entre todo y ninguno en la que
media una funcin de predicacin.
Frege se dio cuenta de un grato fenmeno. Si de todos los objetos
de un conjunto se predica lo mismo, ninguno pertenece a un concepto
diferente y, viceversa, si de ninguno se predica lo mismo, todos perte-
necen a conceptos distintos. Si de todos los individuos se predica que
son hombres, ninguno pertenece a un conjunto distinto al de hombre
y si de ninguno se predica que son hombres, todos pertenecen a un
conjunto distinto al de hombre. Frege se dio cuenta que la oposicin
entre todos y ninguno no es un antagonismo absoluto, sino que
se da en combinacin con la oposicin entre pertenecer al campo de
Jess F. Baceta / Lgica, mundos posibles y conexiones de Galois
23

predicacin de un concepto o no. No es como en la lgica aristotli-


ca donde todos y ninguno son contrarios sin mediar por objeto
alguno. Ahora Todo es contrario con ninguno, si se da una cu-
riosa funcin de oposicin: la oposicin entre los conceptos todo y
ninguno no se postula, se obtiene en combinacin con la imaginaria
oposicin entre tener o no tener una propiedad. Si todas las secuen-
cias hacen verdadera a la oracin, todas las secuencias de objetos satis-
facen el predicado, entonces ninguna secuencia hace falsa a la oracin
y, recprocamente, si ninguna secuencia hace falsa a la oracin, ninguna
satisface el predicado, entonces todas las secuencias hacen verdadera
a la oracin. La ficcin es tener o no tener una propiedad, he ah la
cuestin.
Estas funciones de oposicin, donde se oponen dos conceptos
mediante otra oposicin, se llaman conexiones de Galois6. La conexin
de Galois es una estupenda mquina de coccin. Es una mquina cuya
cinta trasportadora funciona en dos direcciones. Este es el gran hito
de la revolucin de la lgica moderna, hacer mediar entre las cuanti-
ficaciones a los objetos. La cuantificacin es una conexin de Galois.
Curiosamente Tarski se dio cuenta que Aristteles haba previsto esta
conexin de Galois:
Decir de lo que es que no es, o de lo que no es que es, es falso y decir de lo que
es que es, o de lo que no es que no es, es verdadero7.
Pero eso no es todo; nuestra moderna interpretacin de los ope-
radores modales tambin se debe, por extensin, a otra revolucionaria
conexin de Galois. Es falso que una oracin que sea posible no sea
necesaria, ni recprocamente. Es posible la posibilidad de lo expresado
por una oracin necesaria; tambin es posible que una oracin exprese
algo imposible e innecesario, siempre con respecto a algunos mundos
de ficcin anclados al mundo real. No obstante, si hacemos mediar
entre lo posible y lo necesario a la verdad y la falsedad, se obtiene la
6 Sean dos mundos M1 y M2. Supongamos que en el mundo M1 usamos la relacin
de orden < para comparar sus elementos. Supongamos que en el mundo M2
usamos una relacin diferente: . Entonces hay dos caminos que nos conducen
del mundo M1 al M2 usando una funcin f y otra que nos lleva de M2 a M1 usando
una funcin g. La conexin de Galois entre esos mundos es: m1 < g(m2) si, y slo
si, f(m1) m2, donde m1 M1 y m2 M2.
7 Aristteles., Metafsica, IV, 7.
24 episteme ns, vol. 35, n 1, 2015, pp. 13-29

siguiente conexin de Galois, base de toda la lgica modal moderna: si


una oracin expresa algo necesariamente verdadero, no es posible que
sea falsa, e, inversamente, si una oracin es posiblemente verdadera,
no es necesario que sea falsa. Una conexin de Galois es lo que define
nuestros modernos operadores modales.
Disculpen tanto, quiz, innecesario circunloquio retrico; mi com-
prensin es gtica y llena de detalles; superfluos para algunos, necesa-
rios para todos. Galois era, como se ve, un gran arquitecto minimalista.
La relacin entre mundos es modal, anacrnica y transmundana;
todo ello por medio de una conexin de Galois.
La ciencia es una de las ms hermosas ficciones que cre el ser
humano. Segn Quine, concebimos:
[] el esquema conceptual de la ciencia como un instrumento
destinado en ltima instancia a predecir la experiencia futura a la
luz de la experiencia pasada. Introducimos con razn conceptualmente los
objetos fsicos en esta situacin porque son intermediarios convenientes, no por
definicin en trminos de experiencia, sino irreductiblemente puestos con un es-
tatuto epistemolgico comparable al de los dioses de Homero. Yo por mi par-
te, como fsico lego que soy, creo en los objetos fsicos y no creo
en los dioses de Homero, y considero un error cientfico orientar
su creencia de otro modo. Pero en cuanto a fundamento epistemo-
lgico los objetos fsicos y los dioses difieren slo en grado, no en
esencia. Ambas suertes de entidades integran nuestras concepcio-
nes slo como elementos de cultura. El mito de los objetos fsicos
es epistemolgicamente superior a muchos otros mitos porque ha
probado ser ms eficaz que ellos como procedimiento para ela-
borar una estructura ms manejable en el flujo de la experiencia8.
En fin, Quine tambin crea en ficciones, aunque las negara.
La ontologa de la lgica modal es una extensin que conserva, en
sus mundos posibles, la realidad. Qu es la realidad? En este contexto,
una eleccin metafsica.
En vista a lo anterior, creemos plausible la siguiente hiptesis em-
prica: La investigacin cientfica se vale de la ampliacin que hacemos
de las extensiones de los predicados con los objetos de ficcin. Los
objetos de ficcin los creamos segn una aproximada imagen y se-

8 Quine, W., Dos dogmas del empirismo, Desde un punto de vista lgico, Barcelona,
Orbis, 1951, p. 79.
Jess F. Baceta / Lgica, mundos posibles y conexiones de Galois
25

mejanza de los objetos que refieren nuestros predicados reales. As la


imaginacin, al menos la modal, es una relacin bidireccional entre la
ficcin y la realidad; un intercambio semitico en una espiral ilimitada
de denotaciones que se codifica mediante la relacin de accesibilidad.
La esencia no es ms que la referencia que dejamos constante en
todos nuestros usos de un trmino general. La esencia es accidental,
tambin lo dira Sartre; un accidente que preserva, en los distintos mu-
ndos posibles, parte de la referencia objetiva.
Richard Montague en Necesidad lgica, necesidad fsica, tica y cuanti-
ficadores9 sugiri otra maravillosa conexin de Galois cuando indag
bajo qu criterios afirma un fsico que es posible o que es necesario la
ocurrencia de un evento. Para finalizar, caracterizamos la funcin de
Galois sugerida por Montague.
Richard Montague propuso10 que un evento es fsicamente necesa-
rio, si la afirmacin de hecho sobre dicho acontecimiento se infiere de
una teora fsica exitosa. A su vez, propuso que un evento es fsicamente
posible, si la oracin que nombra al posible evento no contradice las
teoras fsicas vigentes. Estas sugerencias requieren ciertas precisiones
a los fines de la codificacin.
Qu entendemos por teora fsica, exitosa y vigente? Siguiendo a
los estructuralistas, una teora fsica exitosa est formada por una estruc-
tura matemtica, que determina los modelos admisibles de la teora,
ms un conjunto abierto de aplicaciones propuestas. Ntese que no
estamos usando la palabra teora en el sentido clsico, neopositivista,
como conjunto de axiomas lgicos y extralgicos, y sus consecuencias.
Aqu las teoras seran especies de grandes formas proposicionales que
incluyen ciertas oraciones privilegiadas y sus consecuencias, satisfechas
por ciertos objetos y por otros no. Por ejemplo, la mecnica clsica de
partculas es una teora fsica exitosa, con determinada estructura ma-
temtica, que es satisfecha, entre otros objetos, por el par Tierra-Luna,
mientras que no es satisfecha por el par Sol-Mercurio (por la falsa pre-
diccin que arroja con respecto al perihelio de Mercurio). Las teoras

9 Montague, R., Logical Necessity, Physical Necessity Ethics and Quantifiers,


Formal Philosophy, New Haven and London, Yale University Press, 1974, pp. 71-
83.
10 Idem.
26 episteme ns, vol. 35, n 1, 2015, pp. 13-29

fsicas seran, entonces, grandes y complejos predicados satisfechos


por ciertos objetos y por otros no. En sentido estricto se podra decir
que el par (Tierra, Luna) es una mecnica clsica de partculas y que
el par (Tierra-Mercurio) no lo es, tal como podemos decir que Bugs
Bunny satisface la forma proposicional x es un conejo, mientras que
no ocurre lo mismo con Porky. "Eso es to... eso es to... e-eeesto es
todo amigos!" lo que diremos sobre las teoras fsicas y, a los fines de
la simbolizacin, cada una ser designada con la letra mayscula F
y un subndice que la distinga. Con esto y con los elementos bsicos
de la lgica modal proposicional, procedemos a codificar las nociones
modales en cuestin, para luego demostrar su definicin en trminos
mutuos:
Definicin:
a. Fi(X) es una abreviatura de El evento X es fsicamente necesa-
rio.
Fi(X) (Fi X)
b. Fi(X) es una abreviatura de El evento X es fsicamente posible.
Fi(X) (Fi X)

La definicin a) caracteriza al operador modal de necesidad fsica;


dice que una afirmacin sobre un evento es fsicamente necesaria, si es
una consecuencia lgica de las la teoras fsicas vigentes. La definicin
b) dice que la afirmacin sobre un evento es fsicamente posible, si no
contradice a las teoras fsicas vigentes. Por ejemplo, se excluyen del
mbito de la posibilidad fsica acontecimientos como la transmisin
de calor de un cuerpo de menor temperatura a uno de mayor tempe-
ratura y la transmisin de una seal con velocidad infinita. En cambio,
la oracin el timbre suena es fsicamente posible, ya que no es incom-
patible con el conjunto de teoras fsicas conocidas. Acontecimientos
fsicamente necesarios son la absorcin de un rayo de luz y el despren-
dimiento de gotas de una cada de agua.
Ahora estamos en condiciones de demostrar la interdefinibilidad
de las nociones modales fsicas en cuestin:
Jess F. Baceta / Lgica, mundos posibles y conexiones de Galois
27

Teorema:
i. La afirmacin de un evento es fsicamente necesaria si, y slo si, es
imposible fsicamente que sea falsa.
Fi(X) Fi(X)
ii. La afirmacin de un evento es fsicamente posible si, y slo si, es
innecesario fsicamente que sea falsa.
Fi(X) Fi(X)
Demostracin:
i) Premisa Fi(X)
Por definicin a (Fi X)
Por def. (Fi X)
Por def. (Fi X)
Por definicin b Fi(X)

ii) Premisa Fi(X)


Por definicin b (Fi X)
Por def. (Fi X)
Por def. (Fi X)
Por definicin a Fi(X)
QED

En trminos de la semntica de Kripke. Sea un mundo en un


modelo de Kripke:

A = W, R, pApatom
Y sea X un acontecimiento fsicamente posible:
Fi(X)
Si, y slo si, por definicin a:
(Fi X)
Si, y slo si, por evaluacin de modalidad y definicin :
Es falso que para todo en A, tal que R, (Fi X)
Si, y slo si, por definicin de modelo:
Es falso, para todo en A, tal que R, que la v((Fi X))=1
Si, y slo si, por evaluacin de la negacin:
Es falso, para todo en A, tal que R, que la v(Fi X)=0
28 episteme ns, vol. 35, n 1, 2015, pp. 13-29

Si, y slo si, por evaluacin de la conjuncin:


Es falso, para todo en A, tal que R, que v(Fi) = 0 que la
v(X) = 0
Si, y slo si, por evaluacin de la negacin:
Es falso, para todo en A, tal que R, que v(Fi) = 0 que la
v(X) = 1
Si, y slo si, por evaluacin del condicional:
Es falso, para todo en A, tal que R, que v(Fi X) = 1
Si, y slo si, por definicin de modelo:
Es falso, para todo en A, tal que R, que (Fi X)
Si, y slo si, por evaluacin de modalidad:
Es falso, (Fi X)
Si, y slo si, por evaluacin de la negacin:
(Fi X) y, finalmente, por definicin a, Fi(X).

De donde los modelos de Fi(X) son los modelos de


Fi(X).
Similarmente discurre la comprobacin de la segunda parte del
anlogo. QED

As como la necesidad y la posibilidad se oponen mediante la ver-


dad y la falsedad, la necesidad fsica y la posibilidad fsica se oponen
mediante la necesidad y posibilidad altica.
No todo lo posible es necesario, puede ser innecesario; no obs-
tante, todo lo necesario es posible. Tambin hay proposiciones que no
son posibles. Pero lo que resulta claro, por conexin de Galois, es que
si una proposicin es necesariamente verdadera, no es posible que sea
falsa, as como la contraria, si puede ser verdadera, no es necesario que
sea falsa. De tal manera, si una proposicin es fsicamente necesaria, es
necesaria en el mundo posible de una teora fsica, es una consecuencia
lgica en esa teora, y si puede ser fsicamente posible, no puede ser
contradictoria con respecto al mundo posible de la teora fsica en el
que es evaluada.
Aristteles dio cuenta de lo posible y de lo necesario en la inti-
midad de la poesa: No es asunto del poeta decir lo que pas, sino el
tipo de cosas que pasaran, lo que es posible segn la posibilidad y la
Jess F. Baceta / Lgica, mundos posibles y conexiones de Galois
29

necesidad11. Poeta es el que crea; poeta es el que imita de acuerdo a


los cnones que imponen el ritmo, el lenguaje y la armona. Poeta es
el que prev el acto en la potencia en los distintos mundos posibles.
Poeta es el que opone conceptos mediante otra oposicin y elude las
oposiciones exhaustivas y mutuamente excluyentes. Esos hitos de la
poesa y de la lgica contempornea son las conexiones de Galois, un
mundo no-maniqueista, un mundo con gradaciones donde no todo es
blanco o negro.

Instituto de Filosofa
Universidad Central de Venezuela
jbaceta@gmail.com
Jess F. Baceta V.

11 Aristteles., Potica, 9, 2.