GEORGE BOOLE

(1815-1864)
Rafael del Vado Vrseda
Departamento de Sistemas Informticos y Programacin
Universidad Complutense de Madrid, Spain
rdelvado@sip.ucm.es

Curso acadmico 2005-2006

George Boole (1815-1864)

RAFAEL DEL VADO - 2005/06

George Boole (1815-1864)

El matemtico ingls George Boole (1815-1864) dio forma dos siglos ms tarde a los axiomas de
Leibniz y creo los fundamentos de la lgica matemtica mediante el lgebra que lleva su nombre.
Su lgica la conocemos hoy como lgica de proposiciones y permite expresar y demostrar silogismos de la forma:
Todos los mamferos respiran mediante pulmones
Los perros son mamferos
Los perros respiran mediante pulmones
Boole realiz parcialmente los sueos de Leibniz, aun sin conocer los escritos de ste. Su principal
contribucin fue incorporar la lgica -que siempre haba formado parte de la filosofa- al mbito de
las matemticas y establecer sus axiomas y reglas fundamentales.
El sistema de Boole es sin embargo muy limitado. Por ejemplo, no permite formalizar afirmaciones
tales como:
Todo mamfero, o bien tiene patas, o bien tiene aletas
RAFAEL DEL VADO - 2005/06

George Boole (1815-1864)

El trabajo de Boole lleg a ser un paso fundamental en la revolucin de los computadores cuando
Claude Shannon en 1938, demostr como las operaciones booleanas elementales, se podran representar mediante circuitos conmutadores elctricos, y como la combinacin de estos poda representar operaciones aritmticas y lgicas complejas. Shannon demostr asimismo que el lgebra de Boole se poda utilizar para simplicar circuitos conmutadores.

RAFAEL DEL VADO - 2005/06

La dura vida de George Boole

Rafael del Vado Vrseda

Departamento de Sistemas Informticos y Programacin
Universidad Complutense de Madrid, Spain
rdelvado@sip.ucm.es

Curso acadmico 2005-2006

De Leibniz a George Boole

La inteligente y hermosa princesa Carolina von Ansbasch, que tena dieciocho aos y un da habra
de ser reina de Inglaterra como esposa de Jorge II, conoci a Leibniz en Berln en 1704.
Despus de que ella hubiera partido a Inglaterra con la corte sigui manteniendo su amistad con
Leibniz por correspondencia. Ella trat de persuadir a su suegro, el rey Jorge I de Inglaterra, de
que trajera a aquel a Inglaterra. Sin embargo, el rey insista en que Leibniz permaneciera en Alemania para terminar la historia familiar hannoveriana.
Carolina se vio envuelta en la absurda disputa sostenida entre, por un lado, Leibniz y, por otro,
Newton y sus seguidores, en la que cada parte acusaba a la otra de haber plagiado la invencin
del clculo.
Carolina, por su parte, trat de hacer que se tradujeran al ingls algunos escritos de Leibniz. Este
objetivo le puso en contacto con Samuel Clarke, a quien le haban recomendado como traductor.
Clarke era filsofo, telogo y tambin ferviente discpulo de Newton. En su obra Being and Attributes of God (1704), Clarke haba expuesto una demostracin de la existencia de Dios.
El hecho ms importante respecto a Samuel Clarke es que casi un siglo y medio despus de la muerte de Leibniz, George Boole mostrara la eficacia de sus mtodos utilizando como ejemplo el argumento a favor de la existencia de Dios de Clarke.
Con dichos mtodos, Boole haba conseguido que el sueo de Leibniz cobrara vida hasta el punto
de poder reducir la complicada deduccin de Clarke a un simple conjunto de ecuaciones.
RAFAEL DEL VADO - 2005/06

La dura vida de George Boole (I)

George Boole, el primero de cuatro hermanos, naci el 2 de noviembre de 1815 en la ciudad de
Lincoln, al este de Inglaterra.
Su padre, John Boole, era un zapatero que a duras penas se ganaba la vida con su negocio, pero
sin embargo, tena una gran pasin por aprender y particularmente por los instrumentos cientficos. En el escaparato de su tienda exhiba con orgullo un telescopio que l mismo haba hecho
a mano.
Desgraciadamente, no fue un hombre de negocios tan efectivo, y enseguida su inteligente y concienzudo hijo se encontr cargando con la responsabilidad de mantener a toda la familia.
Los padres de George Boole, que reconocieron enseguida el talento de su hijo, eran demasiado
pobres como para proporcionarle la educacin formal adecuada, de modo que con la inestimable ayuda de su padre, George fue sobre un autodidacta.
Boole no slo estudi latn y griego, sino tambin francs y alemn, y fue capaz de escribir artculos de investigacin matemtica en todas esas lenguas (por supuesto, mucho despus).
Nunca perteneci a ninguna confesin religiosa determinada y le resultaba imposible creer en la
divinidad de Cristo, pero mantuvo firmes convicciones religiosas a lo largo de toda su vida.
RAFAEL DEL VADO - 2005/06

La dura vida de George Boole (II)

Pronto abandon su meta inicial de unirse al clero de la iglesia de Inglaterra, en parte a causa de
sus creencias, pero tambin de manera determinante a causa de la necesidad de su familia de recibir ayuda econmica de inmediato cuando quebr el negocio de su padre.
George no tena todava diecisis aos cuando comenz su carrera como profesor en una pequea escuela metodista a unos sesenta y cinco kilmetros de su casa.
Al cabo de dos aos fue despedido, aparentemente debido a las quejas acerca de su conducta religiosa: trabajaba en cuestiones matemticas los domingos e incluso en la iglesia! En realidad, esta fue la poca en la que los empeos de Boole se orientaron cada vez ms hacia la matemtica.
En aos posteriores, cuando recordaba este perodo de su vida, explicaba que teniendo un presupuesto verdaderamente limitado para comprar libros descubri que los de matemticas eran los
ms rentables porque se tardaba mucho ms en leerlos bien que los libros sobre otras materias.
Tambin le gustaba hablar de la inspiracin que repentinamente se le present durante su estancia en la escuela metodista: Mientras caminaba por un prado, la idea de que se podran expresar
las relaciones lgicas en forma algebraica ilumin su mente. Esta experiencia, la cual compara
un bigrafo con la de San Pablo en el camino a Damasco, slo dara frutos muchos aos ms tarde.
RAFAEL DEL VADO - 2005/06

La dura vida de George Boole (III)

Tras la escuela metodista, Boole obtuvo un empleo en Liverpool. Pero despus de seis meses de
vivir e impartir clases all se sinti obligado a abandonarlo a causa de (en palabras de su hermana) el espectculo de apetitos y pasiones vulgares satisfechas con desmesura, presumiblemente por parte del director del colegio.
Su siguiente empleo tambin dur poco. Entonces, cuando tena diecinueve aos, George Boole
decidi abrir su propia escuela en su ciudad natal de Lincoln para asentar las finanzas de su familia sobre una base slida.
Durante quince aos, hasta que acept una plaza de profesor en la recin fundada Universidad de
Cork (Irlanda), Boole desarroll una fructfera carrera como maestro de escuela. Sus escuelas
(hubo tres diferentes y sucesivas) fueron la nica fuente de subsistencia para sus padres y hermanos, aunque finalmente su hermana Mary Ann y su hermano William lo ayudaron en su labor.
Aunque puede considerarse que regentar una escuela en rgimen abierto y de internado y, al mismo tiempo, impartir muchas clases podra ser un empleo muy absorbente, durante este perodo
Boole consigui recorrer el camino que va de ser un estudiante de matemticas a convertirse en
un matemtico creativo. Adems, de algn modo encontr tiempo para desarrollar actividades de
inters social.
RAFAEL DEL VADO - 2005/06

La dura vida de George Boole (IV)

Fue fundador y miembro del consejo de administracin de un hogar de acogida femenino en
Lincoln cuyo objetivo era proporcionar un hogar provisional en el que, mediante la instruccin moral y religiosa y la adquisicin de hbitos industriosos, aquellas mujeres que se haban apartado de los senderos de la virtud pudieran reintegrarse a un lugar digno en la sociedad.
El bigrafo de Boole se refiere a las penitentes que tenan que recibir ayuda de esta institucin
diciendo que eran prostitutas (y sin duda en aquella Lincoln victoriana estas eran numerosas).
Seguramente, la clientela tpica de este centro era una mujer joven de clase baja que se haba
descubierto embarazada y haba sido abandonada por un amante de su misma clase social despus de que este le hubiera prometido matrimonio.
Quiz podamos hacernos una idea de la actitud personal de Boole hacia las cuestiones sexuales
a partir de lo que dijo en dos conferencias sobre asuntos no relacionados con la matemtica. En
una de ellas, una conferencia sobre educacin, adverta:
Una gran proporcin de la literatura griega y romana existente [...] est profundamente manchada de alusiones, y con demasiada frecuencia ms que alusiones, a los vicios del paganismo []. Pero no creo que la inocencia de la juventud pueda exponerse a la contaminacin del mal sin riesgos.
RAFAEL DEL VADO - 2005/06

La dura vida de George Boole (IV)

Y una conferencia sobre el adecuado uso del tiempo libre (ofrecida tras una fructfera campaa
realizada por la Lincoln Early Closing Association para conseguir la jornada laborar de diez horas) inclua las siguientes y severas palabras:
Uno no tiene ninguna excusa para buscar satisfaccin en aquellas metas que se
apartan de la virtud.
Siguiendo los pasos de su padre, Boole tambin estuvo muy ligado al Instituto de Mecnica de
Lincoln. Este tipo de institutos haba florecido por toda la Gran Bretaa victoriana y estaban dedicados principalmente a la educacin nocturna de artesanos y dems trabajadores.
Boole fue miembro de una comisin en el de Lincoln, hizo recomendaciones para ampliar los
fondos de la biblioteca, ofreci conferencias e imparti clases sin remuneracin sobre gran variedad de temas.
Entre todo esto, encontraba tiempo de algn modo para estudiar algunos de los tratados de matemticas ms importantes, tanto ingleses como del resto de Europa, y para empezar a hacer sus
propias aportaciones.

RAFAEL DEL VADO - 2005/06

La dura vida de George Boole (V)

Gran parte de las primeras obras de Boole ofrecen testimonio a favor de la creencia de Leibniz en el poder del simbolismo matemtico adecuado y en el modo mgico y casi sin esfuerzo
en el que los smbolos parecen ofrecer respuestas correctas a los problemas. Leibniz haba mostrado el ejemplo del lgebra.
Cuando Boole empez su obra, en Inglaterra estaba empezando a descubrirse que el poder del
lgebra proceda del hecho de que los smbolos que representan cantidades y operaciones obedecan a un reducido nmero de reglas y leyes bsicas. Esto supona que ese mismo poder poda aplicarse a los objetos y operaciones del mas variado tipo, siempre que de algn modo obedecieran a algunas de esas mismas leyes.
En sus primeras obras, Boole aplic mtodos algebraicos a los objetos que los matemticos llaman operadores. Estos operan sobre las expresiones del lgebra ordinaria para dar lugar a
nuevas expresiones. Boole estaba particularmente interesado en los operadores diferenciales,
as llamados porque intervenan en la operacin del clculo llamada derivacin.
Boole mostr cmo se podan resolver ciertas ecuaciones diferenciales aplicando mtodos algebraicos ordinarios a dichos operadores diferenciales, de especial importancia porque muchas de
las leyes fundamentales del universo fsico adoptan la forma de ecuaciones diferenciales (es decir, de ecuaciones en las que intervienen operadores diferenciales).
RAFAEL DEL VADO - 2005/06

La dura vida de George Boole (VI)

Durante los aos que ejerci como maestro, Boole public una docena de artculos de investigacin en el Cambridge Mathematical Journal. Adems, remiti un artculo muy extenso a la revista Philosophical Transactions of the Royal Society.
En primera instancia la Royal Society era reacia a admitir que un no miembro enviara una propuesta de esta naturaleza, pero finalmente decidieron aceptarla y posteriormente la premiaron
con una medalla de oro.
El mtodo de Boole consista en introducir un procedimiento y luego aplicarlo a una serie de ejemplos. Generalmente, para demostrar que sus mtodos eran correctos no se exiga a s mismo
ms que el hecho de que sus ejemplos funcionaran.
En aquella poca, Boole estableci amistad y mantuvo correspondencia con una serie de jvenes matemticos ingleses destacados.
Fue una discrepancia entre el filsofo sir William Hamilton y el amigo de Boole, Augustus de
Morgan, lo que devolvi el pensamiento de Boole hacia aquel destello de intuicin que tuviera
haca tanto tiempo de que quiz las relaciones lgicas podran expresarse como una especie de
lgebra.
RAFAEL DEL VADO - 2005/06

La dura vida de George Boole (VII)

George Boole tena treinta y dos aos cuando se public su primera monografa revolucionaria
sobre la lgica como una forma de la matemtica. Su exposicin ms lograda, An Investigation
of the Laws of Thought (Una Investigacin sobre las Leyes del Pensamiento), aparecin siete aos ms tarde.
En ese libro, Boole mostr como aplicar el lgebra ordinaria a los procesos del pensamiento humano, escribiendo las ecuaciones algebraicas en las que las incgnitas no denotan nmeros sino pensamientos humanos.
Estos fueron aos llenos de incidentes en la vida de Boole. La clase social a la que perteneca
y la poco convencional educacin que haba recibido eliminaba aparentemente toda posibilidad
de que accediera a un puesto en una univerdad inglesa.
Curiosamente, fue el problema irlands lo que abri una brecha para Boole. Entre las muchas y airadas quejas que haba en Irlanda en relacin con el gobierno ingls, una de ellas era
el carcter protestante de su nica universidad, el Trinity College de Dubln.
En respuesta a ellas, el gobierno britnico propuso fundar tres nuevas universidades, que se llamaran los Queens Colleges, en Cork, Belfast y Galway. Adelantndose mucho a su poca, estas universidades seran no confesionales. Boole decidi solicitar un puesto en una de estas universidades y finalmente, tres aos despus, en 1849, fue nombrado profesor de matemticas en
el Queens College de Cork.
RAFAEL DEL VADO - 2005/06

La Universidad de Cork en Irlanda (I)

En 1849 Irlanda haba atravesado la peor poca de hambrunas y epidemias producidas por la peste de la patata, un hongo devastador que destruy la mayor parte de la cosecha de patatas de la que
dependan las clases bajas irlandesas. Muchos de aquellos que no murieron de hambre, lo hicieron
de tipus, disentera, clera y fiebres.
Aunque sin duda Cork no era ningn centro cultural ni intelectual importante, el cargo ofreci a
Boole la posibilidad de llevar una vida bastante ms adecuada a su envergadura como uno de los
grandes matemticos del siglo.
Su padre haba muerto haca poco y, despus de proveer adecuadamente a su madre, qued finalmente liberado de la carga de ser el sostenedor de la familia y pudo pensar en tener una vida propia.
Las matemticas que se enseaban en Cork eran de un nivel bastante bajo para una universidad.
El plan de estudios empezaba con Aritmtica decimal y fraccionaria y continuaba con cuestiones que hoy da se ensean en la educacin secundaria.
El salario anual de Boole era de 250 libras, adems de la matrcula de los alumnos a razn de unas dos libras por trimestre. Como no tena ningn ayudante, l mismo calificaba los deberes semanales de sus alumnos.
RAFAEL DEL VADO - 2005/06

La Universidad de Cork en Irlanda (II)

Aunque el rector era el distinguido cientfico catlico sir Robert Kane, la jerarqua de la Iglesia
catlica haba llegado tan lejos como para prohibir realmente a los miembros del clero que participaran en la labor de las universidades.
Aquel rector tampoco se granje el cario de su plantilla: su esposa no tena ninguna gana de vivir en Cork, de manera que el rector trat de dirigir la universidad desde Dubln. Esto, unido a su
arbitrario y belicoso carcter, desembocaba en un conflicto tras otro entre el rector y la plantilla;
estriles batallas en la que normalmente Boole se vea involucrado.
Mary Everest, la futura esposa de Boole, refera posteriormente algunas de sus primeras impresiones acerca de las actitudes de algunos internos de Cork hacia el hombre con quien se casara.
La respuesta de una mujer a la pregunta Cmo es el profesor de matemticas? era Oh!
Es el tipo de hombre al que uno le puede confiar a su hija. Otra mujer explicaba la ausencia
de sus hijos pequeos dicindole a la seorita Everest que George Boole se los haba llevado a
pasear y que siempre le pareca bien que estuvieran con l. A la rplica de que Boole pareca ser
el favorito de todos, la mujer objetaba:
No est entre mis favoritos, [] al menos, yo no disfruto con su compaa. No me
importa estar con gente tan buena. [] Nunca manifiesta que te considera perverso,
pero cuando ests junto a alguien tan santo y puro no puedes evitar percibir lo extrao que debes de parecerle. Me hace sentir mala, pero siempre estoy tranquila cuando los chicos estn con l. Se que estn recibiendo algo bueno.
RAFAEL DEL VADO - 2005/06

Mary Everest
Mary Everest era hija de un clrigo excntrico y sobrina del teniente coronel sir George Everest,
de quien recibi el nombre la montaa ms alta del mundo. Tambin era sobrina de un amigo de
Boole y colega de John Ryall, vicepresidente y profesor de griego en la Universidad de Cork,
que fue quien present a George y Mary.
De nia, Mary haba mostrado aptitudes para la matemtica y despus de que George empezara a
darle clases particulares se hicieron buenos amigos y se carteaban con frecuencia.
Parece que Boole crea que una diferencia de edad de diecisiete aos impeda cualquier cosa, pero
cinco aos despus de su primer encuentro las cosas alcanzaron un punto crtico con la muerte del
padre de Mary.
Como aparentemente esta quedaba economicamente desvalida, George le propuso matrimonio de
repente; y antes de que terminara el ao, ya estaban casados.
Su matrimonio no dur ms que nueve aos, ya que Boole muri a la edad de slo cuarenta y nueve aos tras haber andado ocho kilmetros para ir a clase bajo una fra tormenta de octubre. La
consiguiente bronquitis se convirti enseguida en neumona, y dos semanas ms tarde muri.
Su muerte, trgicamente, pudo haberse visto acelerada por las extraas ideas mdicas de su esposa,
que parece ser que trat su neumona colocndolo entre sbanas empapadas y fras.
RAFAEL DEL VADO - 2005/06

Ethel Lilian Voynich Boole

El matrimonio haba sido feliz. Mary Boole rememoraba que era como el recuerdo de un sueo
soleado. La viuda de Boole vivi hasta bien entrado el siglo XX y muri a la edad de ochenta y
cuatro aos mientras la Primera Guerra Mundial ruga al otro lado del canal de la Mancha.
Se adscribi a diferentes sistemas de creencias msticas y escribi un montn de tonteras. Sus
cinco hijas, todas chicas, tuvieron vidas muy interesantes.
Alicia, la tercera de ellas, posea unas dotes para la geometra muy llamativas: era capaz de visualizar objetos en cuatro dimensiones con claridad. Esto le permiti hacer una serie de importantes
descubrimientos matemticos.
El caso de Ethel Lilian, la ms joven, fue el ms asombroso. Cuando muri su padre tena slo
seis meses, y recordaba su infancia sumida en una terrible pobreza.
Lily, que era como la llamaban, se hizo famosa como autora de The Gadfly (El tbano) una novela inspirada en su breve pero apasionada aventura amorosa con el hombre que sera conocido como Sidney Riley y cuya increble vida constituy la base para una serie de televisin llamada Riley: Ace of Spies. El libro se convirti en un bestseller mundial, especialmente en la Rusia postrevolucionaria (antes de su muerte se haban vendido en aquel pas ms de 2.500.000 de ejemplares).
RAFAEL DEL VADO - 2005/06

El lgebra lgica de George Boole

Rafael del Vado Vrseda

Departamento de Sistemas Informticos y Programacin
Universidad Complutense de Madrid, Spain
rdelvado@sip.ucm.es

Curso acadmico 2005-2006

Algebra de Clases (I)

La lgica clsica de Aristteles que tanto haba fascinado al joven Leibniz contena sentencias de
este tipo:
- Todas las plantas son seres vivos.
- Ningn hipoptamo es inteligente.
- Algunas personas hablan ingls.
Boole se dio cuenta de que lo importante en el razonamiento lgico acerca de palabras tales como
seres vivos, hipoptamo o personas es la clase o grupo de todos los individuos descritos por
la palabra en cuestin:
- La clase seres vivos.
- La clase hipoptamos.
- La clase personas.
Es ms, descubri cmo se poda expresar este tipo de razonamiento en trminos de un lgebra de
clases.
Boole utiliz letras para representar clases, del mismo modo que antes se haban utilizado las letras
para representar nmeros u operadores: Si las letras x e y representan dos clases concretas, entonces
Boole escriba xy para referirse a la clase de cosas que pertenecen a un tiempo a x y a y.
RAFAEL DEL VADO - 2005/06

Algebra de Clases (II)

Como escribi el propio Boole:
[] Si un adjetivo como bueno se emplea como trmino de una descripcin, representamos
con una letra, como por ejemplo y, a todas aquellas cosas a las que se aplica el calificativo
bueno, es decir, a todas las cosas buenas o a la clase cosas buenas. Admitimos despus
que mediante la combinacin de letras xy representaremos la clase de objetos a la que se puede
aplicar simultneamente el nombre o la descripcin que representa x y la que representa y. As,
si x en solitario representa cosas blancas e y representa ovejas, xy representar ovejas
blancas; y si, de manera similar, z representa cosas con cuernos [...] zxy representar ovejas blancas con cuernos.
Boole pensaba que esta operacin aplicada a las clases era de alguna forma parecido a la operacin
de la multiplicacin aplicada a los nmeros. Sin embargo, se dio cuenta de que haba una diferencia fundamental.
Si y es la clase de ovejas, qu es yy? Debera ser la clase de cosas que son ovejas y adems
ovejas. Pero esto es exactamente lo mismo que la clase de ovejas; de modo que yy = y.
La expresin de Boole xx = x, donde x representa una clase, puede compararse con la de Leibniz
A A = A. En ambos casos, cuando una operacin que pretende aplicarse a pares de trminos se
aplica a un trmino y a s mismo el resultado es el propio trmino.
RAFAEL DEL VADO - 2005/06

Algebra de Boole aplicada a la Lgica

Si x e y representan dos clases, entonces Boole representa mediante xy a la clase de aquellas cosas que pertenecen tanto a x como a y. Pretenda que este notacin sugiriera su analoga con la
multiplicacin en el lgebra ordinaria. En terminologa contempornea, xy representa la interseccin de x e y.
La ecuacin xx = x es siempre verdadera cuando x representa una clase. Boole se plante la siguiente pregunta: En el lgebra ordinaria, donde x representa un nmero, cundo es verdadera la ecuacin xx = x?
La respuesta es sencilla: la ecuacin es verdadera cuando x es igual a 0 o a 1, y para ningn
otro nmero. Esto le condujo al principio de que el lgebra de la lgica era aquello en lo que
se convertira justamente el lgebra ordinaria si estuviera restringida a los valores 0 y 1.
Para que esto tuviera sentido, era necesario reinterpretar los smbolos 0 y 1 como clases. Para ello, analizamos cmo se comportan el 0 y el 1 respectivamente en la multiplicacin ordinaria:
- 0 veces cualquier nmero es 0. En smbolos: 0x = 0. Para las clases, 0x ser idntico a 0 para
cualquier x, slo si entendemos que 0 es una clase a la que no pertenece nada; en la terminologa moderna, 0 es el conjunto vaco.
- 1 vez cualquier nmero es ese mismo nmero. En smbolos: 1x = x. Para las clases, 1x ser idntico a x para todo x, siempre que 1 contenga cualquier objeto que consideremos o, como podramos decir, siempre que 1 sea el universo de discurso.
RAFAEL DEL VADO - 2005/06

El Algebra de Boole (I)

El lgebra ordinaria se ocupa de la suma, la resta y la multiplicacin. Si Boole quera representar
el lgebra de la lgica exactamente como el lgebra ordinaria pero con la regla especial xx = x
tena que ofrecer una interpretacin para + y -.
Si x e y representan dos clases distintas, Boole hizo que x + y representara a la clase de todas las
cosas que contenan x e y, a lo cual llamamos hoy da unin de x e y.
Por ejemplo, si x es la clase de hombres e y es la clase de mujeres, entonces x + y es la clase compuesta de todos los hombres y mujeres.
Boole tambin escribi x - y para referirse a la clase de cosas que pertenecen a x y que no estn en
y.
Por ejemplo, si x representa la clase de todas las personas e y representa la clase de todos los nios,
entonces x - y representara la clase de los adultos.
Concretamente, 1 - x sera la clase de cosas que no pertenecen a x, de modo que x + (1 - x) = 1.

RAFAEL DEL VADO - 2005/06

El Algebra de Boole (II)

Veamos cmo funciona el lgebra de Boole. Sirvindonos de la notacin algebraica, escribamos x2
en lugar de xx. De este modo, podemos escribir la regla bsica de boole como x2 = x o x - x2 = 0.
Si sacamos factor comn de esta ecuacin mediante las reglas ordinarias del lgebra, queda:
x (1 - x) = 0
Dicho con palabras: Nada puede pertenecer y no pertenecer al mismo tiempo a una clase x determinada.
Para Boole, este era un resultado emocionante que le animaba a pensar que estaba en el buen camino. Porque como l deca, citando la Metafsica de Aristteles, esta ecuacin expresaba con precisin
[...] ese principio de no contradiccin que Aristteles haba descrito como el axioma
fundamental de toda la filosofa. Es imposible que una misma cualidad pueda pertenecer y no pertenecer a una misma cosa [...] Este es el ms cierto de todos los principios
[] aquel al que remiten como razn ltima todos los que demuestran algo. Porque por
naturaleza este es el origen de todos los dems axiomas.
RAFAEL DEL VADO - 2005/06

Los Silogismos de Aristteles (I)

La parte de la lgica que Aristteles estudi se ocupa de las inferencias de un determinado tipo
muy restringido, llamadas silogismos.
Los silogismos son inferencias formadas por un par de proposiciones llamadas premisas que conducen a otra proposicin llamada conclusin. Las premisas y las conclusiones se deben representar mediante sentencias de uno de los cuatro tipos siguientes:
Tipo de sentencia
Todos los X son Y
Ningn X es Y
Algunos X son Y
Algunos X no son Y

Ejemplo
Todos los caballos son animales
Ningn rbol es un animal
Algunos caballos son purasangre
Algunos caballos no son purasangre

El siguiente es un ejemplo de un silogismo vlido

Todos los X son Y
Todos los Y son Z
Todos los X son Z

El hecho de que este silogismo sea vlido quiere decir que cualesquiera que sean las propiedades
con las que sustituyamos X, Y y Z, siempre que las dos premisas dadas sean verdaderas, la conclusin tambin lo ser.
RAFAEL DEL VADO - 2005/06

Los Silogismos de Aristteles (II)

Dos ejemplos de este silogismo:
Todos los caballos son mamferos
Todos los mamferos son vertebrados

Todos los bulfagos son carabones

Todos los carabones son morados

Todos los caballos son vertebrados

Todos los bulfagos son morados

Se pueden utilizar fcilmente los mtodos algebraicos de Boole para demostrar que este silogismo es vlido:
1) Decir que todo lo que pertenece a X pertenece tambin a Y es lo mismo que decir que no hay
nada que pertenezca a X y no pertenezca a Y, es decir, que X (1 - Y) = 0, o de un modo equivalente que X = XY.
2) Igualmente, podemos escribir la segunda premisa como Y = YZ. Utilizando estas ecuaciones
obtenemos:
X = XY = X (YZ) = (XY) Z = XZ
que es la conclusin que buscbamos.
RAFAEL DEL VADO - 2005/06

Los Silogismos de Aristteles (III)

Por supuesto que no todos los silogismos que se propongan son vlidos. Podemos obtener un ejemplo de silogismo invlido intercambiando el lugar de la segunda premisa del anterior ejemplo
con su conclusin:
Todos los X son Y
Todos los X son Z
Todos los Y son Z
En esta ocasin no hay modo de utilizar las premisas X = XY y X = YZ para obtener la supuesta
conclusin Y = YZ.

RAFAEL DEL VADO - 2005/06

Razonamientos No Silogsticos (I)

Restrospectivamente, es difcil comprender la difusin de la creencia de que el razonamiento silogstico constitua la totalidad de la lgica, y Boole fue bastante castico denunciando esta idea.
l sealaba que la mayora del razonamiento ordinario introduce lo que l llamaba proposiciones
secundarias, es decir, proposiciones que expresan relaciones entre otras proposiciones. Este tipo
de razonamiento no es silogstico.
Para ver un ejemplo sencillo de este tipo de razonamiento escuchemos una conversacin entre
Juan y Susana. Juan no encuentra su talonario de cheques y Susana est tratando de ayudarle.
SUSANA: Te lo dejaste en el supermercado cuando fuiste a comprar?
JUAN: No, he llamado por telfono y no lo tienen. Si me lo hubiera dejado all seguro
que lo habran encontrado.
SUSANA: Espera un momento! Ayer por la noche pagaste con un cheque en el restaurante y te vi guardar el talonario en el bolsillo de la chaqueta. Si no lo hubieras utilizado desde entonces, debera estar all.
JUAN: Tienes razn. No lo he utilizado. Est en el bolsillo de la chaqueta.
Juan mira en el bolsillo y (si es un buen da para la lgica) el talonario desaparecido est all.
RAFAEL DEL VADO - 2005/06

Razonamientos No Silogsticos (II)

Veamos cmo podramos utilizar el lgebra de Boole para analizar el razonamiento de Juan y Susana. En el razonamiento de Juan y Susana intervenan las siguientes proposiciones (denominaremos a cada una de ellas con una letra):
D = Juan se dej el talonario en el supermercado,
A = El talonario de Juan apareci en el supermercado,
E = Juan extendi un cheque en el restaurante ayer por la noche,
G = Despus de extender el cheque ayer por la noche Juan guard el talonario en el bolsillo de la chaqueta,
N = Juan no ha utilizado su talonario desde la noche anterior,
B = El talonario de Juan est todava en el bolsillo de su chaqueta.
Ellos utilizaron el siguiente esquema:
PREMISAS:
Si D, entonces A.
No A.
E y G.
Si E y G y N, entonces B.
N.

CONCLUSIONES:
No D.
B.

RAFAEL DEL VADO - 2005/06

Notacin Algebrica (I)

Al igual que los silogismos de Aristteles, este esquema constituye una inferencia vlida. Como
sucede con cualquier inferencia vlida, la verdad de las sentencias llamadas conclusiones se infiere de la verdad de otras sentencias, llamadas premisas.
Boole se dio cuenta de que la misma lgebra que funcionaba para las clases funcionara tambin
para este tipo de inferencias.
Utiliz una ecuacin como X = 1 para expresar que la proposicin X es verdadera; igualmente,
utiliz la ecuacin X = 0 para indicar que X es falsa. As, para No X escribira la ecuacin
X = 0.
De manera similar, escriba la ecuacin XY = 1 para representar X e Y. Esto funciona porque
X e Y es verdadero precisamente cuando X e Y son ambas verdaderas, mientras que algebraicamente, XY = 1 si X = Y = 1, pero XY = 0 cuando o bien X = 0, o bien Y = 0 (o ambas cosas).
Finalmente, la afirmacin Si X, entonces Y se puede representar mediante la ecuacin
X (1 - Y) = 0 (es decir, si X = 1, entonces Y = 1)
Al sustituir X = 1 en la ecuacin inicial obtenemos 1 - Y = 0, es decir, Y = 1.
RAFAEL DEL VADO - 2005/06

Notacin Algebrica (II)

Utilizando estas ideas, podemos expresar las premisas de Juan y Susana mediante las siguientes
ecuaciones:
D (1 - A) = 0,
A = 0,
EG = 1,
EGN (1 - B) = 0,
N = 1.
Al sustituir la segunda ecuacin en la primera obtenemos D = 0, la primera de las conclusiones
deseadas. Al sustituir la tercera y la quinta ecuaciones en la cuarta, obtenemos 1 - B = 0, es decir,
B = 1, la otra conclusin deseada.
El hecho de que el tipo de razonamiento que se produce informal e implcitamente en las interacciones humanas ordinarias pueda encerrarse en el lgebra de Boole aliment la esperanza de que
tambin pudieran encerrarse en ella razonamientos ms complicados.
Podramos considerar a los matemticos como personas que se dedican a encapsular sistemticamente inferencias lgicas altamente complejas, de modo que una prueba definitiva para una teora de la lgica que aspire a la totalidad es si abarca todos los razonamientos matemticos.
RAFAEL DEL VADO - 2005/06

Ejemplo (I)
Como ejemplo de los mtodos de Boole, examinamos la demostracin de la existencia de Dios
construida por Samuel Clarke. Citamos un pequeo fragmento:
Las premisas son:
1 Algo existe.
2 Si algo existe, o bien exista desde siempre, o bien ha sido creado de la nada en algn momento.
3 Si algo existe, o bien existe por necesidad de su propia naturaleza o bien existe por voluntad de
otro ser.
4 Si este algo existe por necesidad de su propia naturaleza, entonces es que algo exista desde
siempre.
5 Si esto existe por voluntad de otro ser, entonces la hipotesis de que las cosas que conocemos
han sido creadas de la nada es falsa.
Podemos expresar simblicamente las anteriores proposiciones:
x = Algo existe,
y = Algo existi siempre,
z = Lo que existe ha sido creado de la nada,
p = Algo existe por su propia naturaleza (es decir, el algo del que se habla ms arriba),
q = Algo existe por voluntad de otro ser.
RAFAEL DEL VADO - 2005/06

Ejemplo (II)
Partiendo de estas premisas, Boole obtiene las siguientes ecuaciones:
1-x=0
x { yz + (1 - y) (1 - z) } = 0
x { pq + (1 - p) (1 - q) } = 0
p (1 - y) = 0
qz = 0
Uno se pregunta qu le habra parecido a Clarke que se redujera su intrincado razonamiento metafsico a la manipulacin de simples ecuaciones. Probablemente hubiera estado encantado de ello,
como discpulo de Newton que era. Por el contrario, al belicoso metafsico sir William Hamilton,
que tanto odiaba las matemticas, le habra horrorizado.

RAFAEL DEL VADO - 2005/06

El Algebra de Boole
Un lgebre de Boole es un conjunto en el que:
a) Se han definido dos funciones binarias que llamaremos aditiva (representada por x + y)
y multiplicativa (representada por xy) y una funcin monaria representada por x.
b) Se han definido dos elementos, que designamos por 0 y 1.
c) Se tienen las siguientes propiedades:
Conmutativa respecto a la primera funcin: x + y = y + x
Conmutativa respecto a la segunda funcin: xy = yx
Asociativa respecto a la primera funcin: (x + y) + z = x + (y + z)
Asociativa respecto a la segunda funcin: (xy)z = x(yz)
Distributiva respecto a la primera funcin: (x + y)z = xz + yz
Distributiva respecto a la segunda funcin: (xy) + z = (x + z)(y + z)
Identidad respecto a la primera funcin: x + 0 = x
Identidad respecto a la segunda funcin: x1 = x
Complemento respecto a la primera funcin: x + x = 1
Complemento respecto a la segunda funcin: xx = 0
RAFAEL DEL VADO - 2005/06

Propiedades del lgebra de Boole

Idempotente respecto a la primera funcin: x + x = x
Idempotente respecto a la segunda funcin: xx = x
Maximalidad del 1: x + 1 = 1
Minimalidad del 0: x0 = 0
Involucin: x = x
Inmersin respecto a la primera funcin: x + (xy) = x
Inmersin respecto a la segunda funcin: x(x + y) = x
Ley de Morgan respecto a la primera funcin: (x + y) = xy
Ley de Morgan respecto a la segunda funcin: (xy) = x + y

RAFAEL DEL VADO - 2005/06

Boole y el sueo de Leibniz

Rafael del Vado Vrseda

Departamento de Sistemas Informticos y Programacin
Universidad Complutense de Madrid, Spain
rdelvado@sip.ucm.es

Curso acadmico 2005-2006

Leibniz Vs. Boole (I)

El sistema de la lgica de Boole contena el de Aristteles e iba mucho ms all de l. Pero todava estaba muy lejos de lo necesario para hacer realidad el sueo de Leibniz.
Consideramos las siguientes sentencias: Todos los estudiantes que suspenden, o bien son estpidos o bien son perezosos. Uno podra pensar que esta frase pertenece al tipo
Todos los X son Y
Sin embargo, esto exigira que la clase de estudiantes que son estpidos o perezosos fuera tratada
como una unidad, y no nos permitira hacer ningn razonamiento que pretendiera distinguir entre
aquellos que suspenden a causa de la estupidez de aquellos otros que suspenden a causa de la pereza.
El sistema de la lgica de Gottlob Frege contempla razonamientos de esta naturaleza ms sutil.
Es bastante sencillo utilizar el lgebra de Boole como sistema de reglas para calcular, y as diramos que, mantenindonos dentro de sus lmites, nos proporciona el calculus ratiocinator que Leibniz haba perseguido.
RAFAEL DEL VADO - 2005/06

Leibniz Vs. Boole (II)

Los escritos de Leibniz sobre esta cuestin se encontraban en sus cartas y en otros documentos inditos, y fue slo a finales del siglo XIX cuando se hizo un esfuerzo importante por reunirlos y
publicarlos.
No hay ningn modo razonable de pensar que Boole pudiera haber estado al tanto de las labores
de su predecesor.
Es interesante comparar el sistema completo de Boole con las tentativas fragmentarias de Leibniz:
1) Leibniz inclua como su segundo axioma A A = A. La operacin a la que Leibniz se refiri
iba a obedecer a la regla fundamental de Boole: xx = x.
2) Leibniz se propuso presentar su lgica como un sistema deductivo completo y detallado en el
que todas las reglas se deducen de un pequeo conjunto de axiomas. Esto est en consonancia
con la prctica moderna y nos demuestra que Leibniz, en este aspecto, se haba adelantado a
Boole.

RAFAEL DEL VADO - 2005/06

Conclusiones
La gran aportacin de Boole fue demostrar de una vez por todas que la deduccin lgica poda
instituirse como una rama de la matemtica.
Aunque haba habido algunos avances despus de la obra pionera de Aristteles (fundamentalmente realizados por parte de los estoicos de la poca helenstica y por la escolstica europea
del siglo XII), Boole se encontr la materia bsicamente tal como la haba dejado Aristteles
dos milenios antes.
Desde la poca de Boole, la lgica matemtica ha sido objeto ininterrumpidamente de nuevos avances.
Una organizacin internacional, la Association for Symbolic Logic (Asociacin de Lgica Simblica), publica dos revistas trimestrales y celebra congresos peridicos para difundir las nuevas
investigaciones. Los logicos europeos tambin tienen sus propios congresos anuales.
Los nuevos trabajos relativos a las relaciones entre la lgica y los ordenadores se presentan en los
congresos internacionales anuales que se celebran bajo los encabezamientos de Logic in Computer Science y Computer Science Logic.
Con algunas modificaciones menores, el lgebra decimonnica del pensamiento de Boole se encuentra detrs de las computadoras electrnicas y es la fuerza de empuje detrs de la Inteligencia Artificial. Sera tambin la base del diseo de computadores digitales.
RAFAEL DEL VADO - 2005/06