Boole PDF

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

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 silogis-
mos 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

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 re-
presentar mediante circuitos conmutadores elctricos, y como la combinacin de estos poda re-
presentar operaciones aritmticas y lgicas complejas. Shannon demostr asimismo que el lge-
bra de Boole se poda utilizar para simplicar circuitos conmutadores.

La dura vida de George Boole

rdelvado@sip.ucm.es

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 Ale-
mania 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 Attri-
butes 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 mu-
erte de Leibniz, George Boole mostrara la eficacia de sus mtodos utilizando como ejemplo el ar-
gumento 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.
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 cient-
ficos. 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 con-

cienzudo 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 inestima-
ble 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 art-
culos 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.

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 re-
cibir 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 peque-
a 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 re-
ligiosa: trabajaba en cuestiones matemticas los domingos e incluso en la iglesia! En reali-
dad, esta fue la poca en la que los empeos de Boole se orientaron cada vez ms hacia la mate-
mtica.
En aos posteriores, cuando recordaba este perodo de su vida, explicaba que teniendo un presu-
puesto 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 estan-

cia 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 tar-
de.
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 herma-
na) el espectculo de apetitos y pasiones vulgares satisfechas con desmesura, presumiblemen-
te 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 fa-
milia 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 herma-
nos, 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 mis-
mo 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.
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 instru-
ccin moral y religiosa y la adquisicin de hbitos industriosos, aquellas mujeres que se ha-
ban apartado de los senderos de la virtud pudieran reintegrarse a un lugar digno en la so-
ciedad.
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 des-
pus 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 profun-
damente manchada de alusiones, y con demasiada frecuencia ms que alusio-
nes, a los vicios del paganismo []. Pero no creo que la inocencia de la juven-
tud pueda exponerse a la contaminacin del mal sin riesgos.
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 ho-
ras) 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 de-
dicados 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 va-
riedad de temas.
Entre todo esto, encontraba tiempo de algn modo para estudiar algunos de los tratados de ma-
temticas ms importantes, tanto ingleses como del resto de Europa, y para empezar a hacer sus
propias aportaciones.

La dura vida de George Boole (V)
Gran parte de las primeras obras de Boole ofrecen testimonio a favor de la creencia de Leib-
niz 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 mos-
trado 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 obe-
decan a un reducido nmero de reglas y leyes bsicas. Esto supona que ese mismo poder po-
da aplicarse a los objetos y operaciones del mas variado tipo, siempre que de algn modo obe-
decieran a algunas de esas mismas leyes.
En sus primeras obras, Boole aplic mtodos algebraicos a los objetos que los matemticos lla-
man 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 alge-
braicos ordinarios a dichos operadores diferenciales, de especial importancia porque muchas de
las leyes fundamentales del universo fsico adoptan la forma de ecuaciones diferenciales (es de-
cir, de ecuaciones en las que intervienen operadores diferenciales).
La dura vida de George Boole (VI)
Durante los aos que ejerci como maestro, Boole public una docena de artculos de investiga-
cin en el Cambridge Mathematical Journal. Adems, remiti un artculo muy extenso a la re-
vista Philosophical Transactions of the Royal Society.
En primera instancia la Royal Society era reacia a admitir que un no miembro enviara una pro-
puesta 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 e-

jemplos. 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 jve-
nes 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.

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 a-
os ms tarde.
En ese libro, Boole mostr como aplicar el lgebra ordinaria a los procesos del pensamiento hu-
mano, escribiendo las ecuaciones algebraicas en las que las incgnitas no denotan nmeros si-
no 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 mu-
chas 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 lla-
maran los Queens Colleges, en Cork, Belfast y Galway. Adelantndose mucho a su poca, es-
tas universidades seran no confesionales. Boole decidi solicitar un puesto en una de estas uni-
versidades y finalmente, tres aos despus, en 1849, fue nombrado profesor de matemticas en
el Queens College de Cork.
La Universidad de Cork en Irlanda (I)
En 1849 Irlanda haba atravesado la peor poca de hambrunas y epidemias producidas por la pes-
te 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 final-
mente liberado de la carga de ser el sostenedor de la familia y pudo pensar en tener una vida pro-
pia.
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 cuestio-
nes 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 u-
nas dos libras por trimestre. Como no tena ningn ayudante, l mismo calificaba los deberes se-
manales de sus alumnos.

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 par-
ticiparan en la labor de las universidades.
Aquel rector tampoco se granje el cario de su plantilla: su esposa no tena ninguna gana de vi-
vir 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 impre-
siones 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 extra-
o que debes de parecerle. Me hace sentir mala, pero siempre estoy tranquila cuan-
do los chicos estn con l. Se que estn recibiendo algo bueno.
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 nue-
ve 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.

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 visua-
lizar 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 nove-
la inspirada en su breve pero apasionada aventura amorosa con el hombre que sera conocido co-
mo Sidney Riley y cuya increble vida constituy la base para una serie de televisin llamada Ri-
ley: Ace of Spies. El libro se convirti en un bestseller mundial, especialmente en la Rusia post-
revolucionaria (antes de su muerte se haban vendido en aquel pas ms de 2.500.000 de ejempla-
res).

El lgebra lgica de George Boole

rdelvado@sip.ucm.es

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.

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 ove-
jas 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 diferen-
cia 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.
Algebra de Boole aplicada a la Lgica
Si x e y representan dos clases, entonces Boole representa mediante xy a la clase de aquellas co-
sas 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 inter-
seccin de x e y.
La ecuacin xx = x es siempre verdadera cuando x representa una clase. Boole se plante la si-
guiente pregunta: En el lgebra ordinaria, donde x representa un nmero, cundo es verda-
dera 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 e-
llo, 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 terminolo-
ga moderna, 0 es el conjunto vaco.
- 1 vez cualquier nmero es ese mismo nmero. En smbolos: 1x = x. Para las clases, 1x ser idn-
tico a x para todo x, siempre que 1 contenga cualquier objeto que consideremos o, como podra-
mos decir, siempre que 1 sea el universo de discurso.
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 com-

puesta 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.

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 deter-
minada.
Para Boole, este era un resultado emocionante que le animaba a pensar que estaba en el buen ca-
mino. Porque como l deca, citando la Metafsica de Aristteles, esta ecuacin expresaba con pre-
cisin
[...] ese principio de no contradiccin que Aristteles haba descrito como el axioma
fundamental de toda la filosofa. Es imposible que una misma cualidad pueda pertene-
cer 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.

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 con-
ducen a otra proposicin llamada conclusin. Las premisas y las conclusiones se deben represen-
tar mediante sentencias de uno de los cuatro tipos siguientes:
Tipo de sentencia Ejemplo
Todos los X son Y Todos los caballos son animales
Ningn X es Y Ningn rbol es un animal
Algunos X son Y Algunos caballos son purasangre
Algunos X no son Y 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 con-
clusin tambin lo ser.
Los Silogismos de Aristteles (II)
Dos ejemplos de este silogismo:
Todos los caballos son mamferos Todos los bulfagos son carabones
Todos los mamferos son vertebrados 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 silogis-
mo 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 equi-
valente 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.

Los Silogismos de Aristteles (III)
Por supuesto que no todos los silogismos que se propongan son vlidos. Podemos obtener un e-
jemplo 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.

Razonamientos No Silogsticos (I)
Restrospectivamente, es difcil comprender la difusin de la creencia de que el razonamiento silo-

gstico 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 restauran-
te y te vi guardar el talonario en el bolsillo de la chaqueta. Si no lo hubieras u-
tilizado 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.

Razonamientos No Silogsticos (II)
Veamos cmo podramos utilizar el lgebra de Boole para analizar el razonamiento de Juan y Su-
sana. En el razonamiento de Juan y Susana intervenan las siguientes proposiciones (denominare-
mos 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 bolsi-
llo 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: CONCLUSIONES:
Si D, entonces A. No D.
No A. B.
E y G.
Si E y G y N, entonces B.
N.
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 in-
fiere 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 algebraica-
mente, 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.

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 interac-
ciones 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 sistemtica-
mente inferencias lgicas altamente complejas, de modo que una prueba definitiva para una teo-
ra de la lgica que aspire a la totalidad es si abarca todos los razonamientos matemticos.
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.

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 meta-
fsico 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.

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

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

Boole y el sueo de Leibniz

rdelvado@sip.ucm.es

Leibniz Vs. Boole (I)
El sistema de la lgica de Boole contena el de Aristteles e iba mucho ms all de l. Pero toda-
va 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 estpi-
dos 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 pe-
reza.
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 dira-
mos que, mantenindonos dentro de sus lmites, nos proporciona el calculus ratiocinator que Leib-
niz haba perseguido.

Leibniz Vs. Boole (II)
Los escritos de Leibniz sobre esta cuestin se encontraban en sus cartas y en otros documentos i-
nditos, 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.

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 (fundamental-
mente 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 a-
vances.
Una organizacin internacional, la Association for Symbolic Logic (Asociacin de Lgica Sim-
blica), 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 Compu-
ter Science y Computer Science Logic.
Con algunas modificaciones menores, el lgebra decimonnica del pensamiento de Boole se en-
cuentra detrs de las computadoras electrnicas y es la fuerza de empuje detrs de la Inteligen-
cia Artificial. Sera tambin la base del diseo de computadores digitales.

Boole PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Boole PDF

Загружено:

Авторское право:

Доступные форматы

GEORGE BOOLE

Rafael del Vado Vrseda

Curso acadmico 2005-2006

RAFAEL DEL VADO - 2005/06

Todos los mamferos respiran mediante pulmones

Todo mamfero, o bien tiene patas, o bien tiene aletas

RAFAEL DEL VADO - 2005/06

RAFAEL DEL VADO - 2005/06

Rafael del Vado Vrseda

Curso acadmico 2005-2006

George Boole, el primero de cuatro hermanos, naci el 2 de noviembre de 1815 en la ciudad de

Desgraciadamente, no fue un hombre de negocios tan efectivo, y enseguida su inteligente y con-

Nunca perteneci a ninguna confesin religiosa determinada y le resultaba imposible creer en la

RAFAEL DEL VADO - 2005/06

Tambin le gustaba hablar de la inspiracin que repentinamente se le present durante su estan-

Fue fundador y miembro del consejo de administracin de un hogar de acogida femenino en

RAFAEL DEL VADO - 2005/06

El mtodo de Boole consista en introducir un procedimiento y luego aplicarlo a una serie de e-

RAFAEL DEL VADO - 2005/06

RAFAEL DEL VADO - 2005/06

RAFAEL DEL VADO - 2005/06

Se adscribi a diferentes sistemas de creencias msticas y escribi un montn de tonteras. Sus

RAFAEL DEL VADO - 2005/06

Rafael del Vado Vrseda

Curso acadmico 2005-2006

RAFAEL DEL VADO - 2005/06

Como escribi el propio Boole:

El lgebra ordinaria se ocupa de la suma, la resta y la multiplicacin. Si Boole quera representar

Por ejemplo, si x es la clase de hombres e y es la clase de mujeres, entonces x + y es la clase com-

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

Veamos cmo funciona el lgebra de Boole. Sirvindonos de la notacin algebraica, escribamos x2

RAFAEL DEL VADO - 2005/06

El siguiente es un ejemplo de un silogismo vlido

Todos los X son Y

Dos ejemplos de este silogismo:

que es la conclusin que buscbamos.

Todos los X son Y

Todos los Y son Z

RAFAEL DEL VADO - 2005/06

Restrospectivamente, es difcil comprender la difusin de la creencia de que el razonamiento silo-

SUSANA: Te lo dejaste en el supermercado cuando fuiste a comprar?

RAFAEL DEL VADO - 2005/06

De manera similar, escriba la ecuacin XY = 1 para representar X e Y. Esto funciona porque

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

Al sustituir la segunda ecuacin en la primera obtenemos D = 0, la primera de las conclusiones

Como ejemplo de los mtodos de Boole, examinamos la demostracin de la existencia de Dios

Podemos expresar simblicamente las anteriores proposiciones:

RAFAEL DEL VADO - 2005/06

Partiendo de estas premisas, Boole obtiene las siguientes ecuaciones:

RAFAEL DEL VADO - 2005/06

Un lgebre de Boole es un conjunto en el que:

Conmutativa respecto a la primera funcin: x + y = y + x

RAFAEL DEL VADO - 2005/06

Idempotente respecto a la primera funcin: x + x = x

Idempotente respecto a la segunda funcin: xx = 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