You are on page 1of 8

CRITICA , Revista Hispanoamericana de Filosofa

Vol. XXXI, No. 93 (diciembre 1999): 117124

NOTAS BIBLIOGRFICAS

Jos Alfredo Amor Montao, Compacidad en la lgica de


primer orden y su relacin con el teorema de completud,
1a. ed., Coordinacin de Servicios Editoriales, Facultad de
Ciencias, UNAM, 1999.

La formalidad rigurosa de la sintaxis


slo tiene sentido cuando detrs de
ella se encuentra la riqueza creativa
de la semntica (p. vii).

1. Introduccin
Los Teoremas de Correctud y de Completud son considerados
los resultados fundamentales de la lgica de primer orden, pues
establecen la equivalencia entre la nocin de derivabilidad formal
() y la de consecuencia lgica (|=), esto es, entre la sintaxis y
la semntica de un lenguaje formal. En sus versiones originales,
estos teoremas establecen que toda frmula que es teorema es
universalmente vlida (correctud: Si  entonces |=) y que
toda frmula universalmente vlida es teorema (completud: Si
|= entonces ). Mientras que la correctud era un resultado
ya conocido en los aos veinte, Kurt Gdel ofrece la prueba de
completud hasta 1930 en su tesis de doctorado.1 Como corola-
rio del Teorema de Completud, Gdel prueba otro resultado, a


Agradezco a Jos Alfredo Amor y a un dictaminador annimo
sus valiosos comentarios a esta resea.
1
Gdel prueba una formulacin equivalente, a saber: Cada fr-
mula de la lgica de primer orden es o refutable o satisfacible (una
frmula F es refutable si y slo si F es deducible). Adems, Gdel
generaliza este resultado a conjuntos infinitos numerables de frmulas.
Cfr., K. Gdel, Obras completas, trad. de Mostern, Alianza Editorial,
Espaa, 1981.

117
saber, el Teorema de Compacidad, el cual establece lo siguien-
te: Para que un conjunto infinito numerable de frmulas sea
satisfacible es necesario y suficiente que cada subconjunto finito
suyo sea satisfacible.
Como es usual en el quehacer matemtico, resulta atractivo
tanto reformular teoremas como generalizarlos y demostrarlos
de manera distinta, y el Teorema de Completud no es la excep-
cin en este sentido. Leon Henkin, matemtico todava activo,
ofrece en 1949 una versin de este teorema extendido a con-
secuencias lgicas y deducciones formales (Si |= entonces
) y prueba una formulacin equivalente donde relaciona
las nociones de consistencia y satisfacibilidad, a saber: Si S es
un conjunto consistente, entonces S es satisfacible y da una
prueba semntica constructiva que en s misma sent las bases
de la teora de modelos como la conocemos hoy en da.
La formulacin de Henkin es ms general que la original de
Gdel y tiene la ventaja de que puede extenderse a lenguajes de
cualquier cardinalidad e incluso de orden superior. Adems, su
prueba es ms accesible. En este nuevo contexto, el Teorema
de Compacidad se reformula como sigue: Si un conjunto S es
finitamente satisfacible (todo subconjunto finito de S es satisfaci-
ble), entonces S es satisfacible. Este teorema puede igualmente
probarse como corolario del Teorema de Completud Extendido,
pero lo novedoso de esta reformulacin es que Compacidad pue-
de tambin probarse sin hacer uso de Completud y ms an, las
pruebas de estos dos teoremas resultan ser del mismo estilo.
La demostracin semntica del Teorema de Compacidad hace
que se independice, por decirlo de alguna forma, del Teorema
de Completud y as goce de un status superior al de corolario.
Sin embargo, a pesar de que hay varias presentaciones, aplica-
ciones y pruebas del Teorema de Compacidad, cuestin que nos
muestra detalladamente el autor del libro que hoy nos ocupa,
es difcil encontrarlo en otros libros de lgica como un teorema
fundamental a la par con el de Completud.
Para Jos Alfredo Amor, el Teorema de Compacidad pue-
de considerarse, desde el punto de vista semntico, el teorema
fundamental de la lgica matemtica (p. iii). De hecho, la
contribucin ms original de este libro es que en l se explora,
aunque no se resuelve en su totalidad, la implicacin faltante
para establecer la equivalencia entre Compacidad y Correctud-
Completud, a saber, que lo primero implica lo segundo. Para
ello, por un lado, el autor distingue entre dos versiones de Com-
pletud, la Restringida y la Extendida. Mientras que la primera
es la original de Gdel, que establece que todas las frmulas

118
universalmente vlidas son teoremas (Si |= entonces ), la
segunda enuncia que toda consecuencia lgica a partir de un
conjunto de enunciados es derivable a partir de dicho conjunto
por medio de una deduccin formal (Si |= entonces ).
El resultado, ya conocido y presentado en este libro, es el de que
Compacidad implica Correctud-Completud Restringida, demos-
tracin que atribuye a Malitz (p. 106). Por otro lado, el autor re-
suelve negativamente la implicacin de que Compacidad implica
Correctud-Completud Extendida para el sistema SM de Malitz,
pues encuentra que falla la Correctud del mismo. Para ello, nos
ofrece una caracterizacin original de las reglas de inferencia de
un sistema axiomtico, la cual las clasifica de acuerdo con las
propiedades semnticas que preservan. Por ejemplo, mientras
que las reglas que preservan cualquier tipo de satisfacibilidad
son consideradas como muy buenas, las que slo preservan
validez universal son consideradas como regulares. As, esta
caracterizacin sirve al autor para dar una explicacin de la falla
en la Correctud Extendida del sistema axiomtico en juego. En
particular, el autor sugiere que la incorrectud se debe a que una
de las reglas, la de Skolem, es slo regular. Entonces propone,
aunque no lo lleva a cabo, que una reformulacin apropiada de la
regla de Skolem hacindola buena podra sentar las bases pa-
ra una prueba semntica del Teorema de Correctud-Completud
Extendido a partir del Teorema de Compacidad. En la ltima
seccin de esta resea retomaremos este resultado y lo discuti-
remos en detalle.
As, este libro tiene como protagonista al Teorema de Com-
pacidad y alrededor de ste se organizan los tres captulos y el
apndice que lo constituyen. En breve, en el captulo 1 se dan
las diversas versiones del Teorema de Compacidad, se muestra
la equivalencia entre todas ellas y se demuestra en detalle una en
particular. El captulo 2 se dedica a presentar aplicaciones del
Teorema de Compacidad, algunas de las cuales son ampliamente
conocidas y otras, al contrario, resultan ser usos interesantes del
Teorema de Compacidad para construir modelos para determi-
nados conjuntos de enunciados en contextos fuera de la lgica.
En el captulo 3 se establece la relacin semntica entre el Teo-
rema de Compacidad y el Teorema de Completud, tratando por
separado las versiones Restringida y Extendida. Por ltimo, se
ofrece un apndice en donde se da una prueba sintctica del
Teorema de Completud Extendido. Pasemos a describir cada
captulo con ms detalle.

119
2. Contenido del libro
En el primer captulo se presentan tres versiones del Teorema de
Compacidad, dos de las cuales ya se mencionaron, y adems se
demuestra la equivalencia entre todas ellas. Asimismo, se prueba
en detalle el Teorema de Compacidad con una prueba semntica
para la siguiente formulacin: Si S es finitamente satisfacible
entonces S tiene un modelo de cardinalidad |S| + o. Su de-
mostracin parece ser una adaptacin a la lgica de primer orden
de la prueba dada por Enderton para Compacidad en la lgica
proposicional (prueba que a su vez se basa en la de Henkin).
Esto es, se construye un conjunto S a partir del conjunto S
finitamente satisfacible que cumple con lo siguiente: (i) S es
finitamente satisfacible, (ii) S es completo y (iii) S es cerrado
bajo testigos. Con esto se demuestra que S tiene un modelo A de
cardinalidad |S| + o. Esto es, se construye un modelo A tal que
a es verdadera en A si y slo si a  S y se muestra que cumple
con la cardinalidad deseada. Finalmente, se mencionan algunas
de las limitaciones del Teorema de Compacidad y se da una expli-
cacin topolgica de porqu lleva ese nombre. El autor muestra
que el hecho de que cierto espacio topolgico sea compacto, es
equivalente a que se cumpla el Teorema de Compacidad para la
lgica de primer orden. El autor no menciona que el Teorema de
Compacidad recibe tambin el nombre de Teorema de Finitud,
pero ciertamente esta relacin topolgica que nos ofrece indica
que es ms apropiado el nombre de Compacidad.
En el segundo captulo se presentan varias aplicaciones del
Teorema de Compacidad que incluyen al teorema de Lowen-
heim-Skolem y al problema de los cuatro colores para mapas
infinitos. Asimismo, usando Compacidad se prueba tanto que
todo conjunto es totalmente ordenable as como tambin el Lema
de Infinitud de Knig, resultados que usualmente se demuestran
usando el Axioma de Eleccin (todo conjunto es bien ordenable).
Con esto el autor nos sugiere que el Teorema de Compacidad
puede considerarse como una forma dbil del Axioma de Elec-
cin. Las otras aplicaciones conciernen a la construccin de mo-
delos no estndar para la aritmtica de los nmeros naturales y
para los nmeros infinitesimales. En el primer caso se construye,
usando Compacidad, un modelo no estndar que satisface a los
enunciados aritmticos y a otros enunciados no contradictorios
con los usuales. En el segundo caso se presenta una construccin
basada en un resultado bien conocido de Abraham Robinson
(1961), a saber, un sistema extendido de los nmeros reales que
incluye tanto a los nmeros infinitamente pequeos como a los

120
infinitamente grandes, y que posee todas las propiedades del
sistema de los nmeros reales expresables en un lenguaje de
primer orden. Con estos dos resultados se muestra la utilidad
del Teorema de Compacidad para obtener modelos no estndar
que extienden a sistemas numricos como lo son los naturales y
los reales. Como el propio autor sugiere, esto nos muestra una
reivindicacin de los infinitesimales (p. 58).
En el tercer captulo, para establecer la relacin semntica
entre los Teoremas de Compacidad y de Correctud-Completud
se presentan los teoremas de Skolem y de Herbrand, que es-
tablecen por un lado, las condiciones de equivalencia entre las
frmulas y las formas normales de Skolem para satisfaccin y
para validez y, por el otro, el resultado de Herbrand establece
la relacin entre la validez universal de una frmula existencial
pura y las instancias cerradas de sustitucin de la matriz de la
frmula. Estos resultados son usados para establecer un proce-
dimiento efectivo para la validez universal de una frmula. Es
un procedimiento efectivo mas no un algoritmo, pues slo hay
garanta de respuesta para el caso afirmativo. Asimismo, el au-
tor presenta la caracterizacin semntica de reglas de inferencia
antes mencionada.
El resto del captulo est dedicado por un lado, a estable-
cer una prueba semntica del Teorema de Correctud-Completud
Restringido, y por el otro, a explorar la pregunta de si existe o
no una prueba semntica anloga para Correctud-Completud Ex-
tendida. Con respecto a lo primero, se da una demostracin muy
elegante a partir de los Teoremas de Compacidad de Skolem y
Herbrand. En lo segundo, el autor nos muestra que el sistema
axiomtico SM es incorrecto. As, con estos resultados se obtiene
slo una equivalencia parcial entre los Teoremas de Compaci-
dad y Correctud-Completud. Por ltimo, lo interesante de la
demostracin sintctica del Teorema de Correctud-Completud
Extendido que aparece en el apndice, es que su estructura es
totalmente anloga a la prueba de Compacidad del captulo 2.
Estas dos pruebas usan dos lemas en donde slo se intercambia
la nocin de finitamente satisfacible (para Compacidad) por la
de consistencia (para Correctud-Completud), sugiriendo as la
equivalencia entre ellas.

3. Crtica y conclusiones
Este libro est claramente dividido en dos partes. La prime-
ra la constituyen los captulos primero y segundo y la segun-
da parte el captulo tercero y el apndice. Estas dos partes se

121
distinguen tanto por aspectos de presentacin como de con-
tenido. Mientras que la primera parte puede considerarse co-
mo un libro de texto, la segunda, sobre todo las dos ltimas
secciones, es de carcter exploratorio, provisional. La exposi-
cin de todas las secciones que componen la primera parte
es precisa, clara y completa. La notacin es muy limpia (aun-
que debo decir que no me gust el smbolo de fin de prue-
ba); se encuentran ejemplos as como algunos ejercicios y to-
dos sus temas estn expuestos de manera muy detallada. La
segunda parte, por el contrario, aunque es de carcter ms
original y por esto resulta ms interesante, es poco clara en
algunas partes y deja la sensacin de estar incompleta. Men-
cionar algunas cosas que me parece que podran mejorarse
para una segunda edicin. En primer lugar, creo que sera
de gran utilidad comenzar el captulo con una descripcin de
la estrategia a seguir para dar tanto las pruebas semnticas
de Completud como la discusin de si el Teorema de Com-
pacidad implica el Teorema de Completud. Esto ltimo, ade-
ms, merecera una seccin especial independiente de la sec-
cin 3.3 Sistemas Axiomticos, en donde se encuentra actual-
mente. Otro detalle con respecto al contenido es la caracteri-
zacin semntica de reglas de inferencia. sta es, como ya lo
dije, original e interesante, pero pasa desapercibida hasta el fi-
nal del captulo cuando se refiere a ella como la explicacin de
que el sistema axiomtico SM es incorrecto para la versin de
Correctud-Completud Extendida. Adems, me parece que esta
idea debiera explotarse mucho ms como sugerir a continua-
cin.
Recordemos que el problema para construir una prueba se-
mntica de Correctud-Completud Extendida radica en que el
sistema SM no es correcto, pues no valida ni la regla de Sko-
lem ni el Metateorema de la Deduccin. As, se pueden derivar
enunciados que no son consecuencias lgicas. El autor adjudica
esta falla al hecho de que la regla de Skolem es slo regular, de
acuerdo con la caracterizacin semntica de reglas de inferencia.
Entonces sugiere dar una refomulacin de esta regla para hacer-
la buena y con esto concluye: Si esto es posible, sin afectar
la prueba del Teorema de Correctud-Completud Extendido, se
tendr una prueba del Teorema de Correctud-Completud Ex-
tendido, de un modo semntico (p. 114). Con esta asercin
parece que el autor est interesado no slo en obtener una prue-
ba semntica de Correctud-Completud Extendida, sino en una
prueba a partir de un sistema axiomtico lo ms parecido a SM,

122
el usado para la versin restringida. No hay una razn por la
cual se quiera dar esta prueba con el sistema SM y no con otro
(tal vez la motivacin estriba slo en poder extender la prueba
para la versin Restringida). Si lo que se busca es Correctud-
Completud, esto parece ser mucho pedir. Como el propio au-
tor acepta enseguida, otra posibilidad para enmendar Correctud
sera dando otro sistema S que cumpla Correctud-Completud
Extendida (p. 115), aunque su inters, claro est sigue siendo
dar una prueba semntica a partir de Compacidad, Skolem y
Herbrand.
Lo extrao de este resultado es que por querer extender una
prueba ya existente (Compacidad implica Correctud-Completud
Restringida), el autor pareciera hacer las cosas al revs. Usual-
mente uno asegura primero que el clculo axiomtico es Correcto
y slo despus intenta probar que es Completo. Aqu tenemos
el caso de un sistema axiomtico SM que satisface Completud
Extendida pero no as Correctud Extendida. A mi juicio, el au-
tor debiera distinguir claramente todas sus preguntas y tratarlas
por separado. Esto es, si lo que quiere es usar una extensin del
sistema SM, entonces debiera dar las razones de esta motivacin
y luego intentar complementar su caracterizacin semntica de
reglas de inferencia para convertir tipos de reglas en unas y
otras (un tipo de procedimiento que funcione por lo menos para
la regla de Skolem).
Por otro lado, creo que este captulo quedara ms completo si
el autor explorara otros sistemas axiomticos para la versin Ex-
tendida. Con esto quedara muy claro que la falla de Correctud
Extendida se debe al sistema axiomtico SM en cuestin, aunque
se dejara abierta la pregunta de su Completud Extendida.
En todo caso, no resultara sorpresivo que un resultado positi-
vo de que Compacidad implica Correctud-Completud Extendida
para algn otro sistema axiomtico requiera de una buena inte-
raccin entre la sintaxis y la semntica. Esto es, de la capacidad
de formular un clculo correcto que a su vez pueda ser usado
semnticamente en el sentido que propone el autor. Este libro
es un muy buen ejemplo de la utilidad y belleza del tratamiento
de los problemas lgicos desde la interaccin de la sintaxis y la
semntica, los dos aspectos esenciales en la lgica clsica.
Este libro es altamente recomendable para estudiosos de la
lgica y bien puede ser usado como libro de texto en un curso
de teora de modelos o en un seminario de temas avanzados en
lgica. En conclusin, aunque en su primera parte no va mucho
ms all de las obras clsicas de la materia, su enfoque en torno
al Teorema de Compacidad lo hace muy interesante. En cuanto

123
a la segunda parte, aunque no totalmente acabada, es original
y propone nuevas lneas de investigacin (en las cuales el autor
esta trabajando como parte de su proyecto de doctorado). Otra
de sus virtudes es que no existe otro libro de esta naturaleza
en castellano (slo conozco una excepcin, el libro Teora de
Modelos de Mara Manzano, publicado por Alianza Editorial,
Madrid, 1989).

ATOCHA ALISEDA

124

You might also like