APUNTES DE HISTORIA DE LAS MATEMTICAS

VOL. 1, NO. 2, MAYO 2002

EL LGEBRA DE LA LGICA
Francisco C. Garca Durn

INTRODUCCIN A reserva de lo que depare el futuro, desde el ahora de nuestro siglo XXI es posible afirmar que los aos decisivos para el desarrollo de las matemticas fueron los decimonnicos. Durante ellos hicieron su aparicin varias reas disciplinarias nuevas, entre ellas las geometras no-euclidianas y las lgebras de vectores y matrices, adems del lgebra abstracta, que dieron lugar a cambios en la concepcin de las matemticas y en cules son sus temas de estudio. Brevemente podramos decir que durante el siglo XIX se pas de una matemtica apegada a la realidad de los sentidos fsicos: nmeros y espacio euclidiano, a una matemtica dedicada a conceptos y cuestiones abstractos, propios de la disciplina y sin liga directa aparente con la realidad. La lgica no escap a este fenmeno, y si a principios del siglo XIX los estudios lgicos no utilizaban herramientas matemticas, durante el transcurso de ste se propici una tan estrecha cercana con las matemticas que a su trmino hubo intentos, principalmente de Bertrand Russell (1872-1970) y Alfred N. Whitehead (1861-1947), para fundamentar la matemtica en la lgica. Este cambio en la tendencia del desarrollo de la lgica se dio durante la primera mitad del siglo decimonnico a partir del punto de quiebre que signific la aparicin del lgebra de la lgica, obra del ingls George Boole (1815-1864). Con l se inicia el uso de herramientas matemticas, en particular algebraicas, para la investigacin lgica, dando lugar as al surgimiento de la teora de lo que hoy conocemos como lgica matemtica. En este texto damos un vistazo general a la historia de dicha aparicin, que es un claro ejemplo de cmo un ambiente ad hoc, con intercambio de ideas, fomenta una nueva teora. Nos limitaremos a las ideas ms inmediatamente precursoras, tanto dentro de las matemticas como en la lgica, y a las ideas iniciales bsicas de esta lgebra, tal como fue presentada por Boole.

IDEAS DESDE EL LGEBRA Toda la historia que nos ocupa transcurre en las islas britnicas y se inicia con los trabajos del algebrista George Peacock (1791-1858), quien en su obra A Treatise on Algebra (1830) adelanta la idea de que el lgebra es una ciencia deductiva al igual que la geometra, y trata de darle un tratamiento lgico al estilo de los Elementos de Euclides. Posteriormente publica una segunda versin en dos partes, diferenciadas para sendas lgebras. El volumen I (1842) est dedicado a lo que l llama lgebra aritmtica y en la cual consideramos los smbolos como representantes de nmeros, y las operaciones a las cuales ellos estn sometidos tan incluidas en las mismas definiciones (sean expresadas o entendidas) como en la aritmtica comn: los signos + y denotan las operaciones de adicin y sustraccin en su significado ordinario solamente, ...as en expresiones ... como a b, debemos suponer a 47

APUNTES DE HISTORIA DE LAS MATEMTICAS

VOL. 1, NO. 2, MAYO 2002

mayor que b... [4]. El volumen II (1845) est dedicado al lgebra simblica que el autor, citado en [6], describe como la ciencia que trata las combinaciones de signos y smbolos arbitrarios por medios definidos a travs de leyes arbitrarias y en la que podemos asumir cualesquiera leyes para la combinacin e incorporacin de tales smbolos, en tanto nuestras suposiciones sean independientes, y por tanto no inconsistentes una con otra. En su trabajo, Peacock defenda dos puntos centrales. Primero, en todos los procesos del lgebra no se poda usar ninguna propiedad de una operacin si no haba sido puesto de manifiesto que tal propiedad perteneca a esa operacin, y no se le haba establecido como una ley verdadera desde el comienzo o no haba sido obtenida por deduccin a partir de las leyes iniciales. Era as necesario el establecimiento completo del cuerpo de leyes que conciernen a las operaciones utilizadas en dichos procesos. En segundo lugar, para efectos deductivos, se debe considerar que los signos de las operaciones no tienen otros sentidos que aquellos que les han sido asignados por las leyes. Por ejemplo, ninguna propiedad de la multiplicacin puede ser utilizada si no figura en la lista de propiedades de ella. sta es cualquier operacin arbitraria que posea las propiedades expuestas en las leyes del lgebra relativas al signo (o a cualquier otro signo que se pudiera proponer para la multiplicacin). Aunque las ideas tericas para el lgebra simblica de Peacock apuntaban a la posibilidad de construir lgebras para entidades distintas de los nmeros, fueron slo un paso importante hacia la separacin del lgebra y la aritmtica, pero no fueron el paso definitivo ya que, en la prctica, usando lo que l llamaba el principio de la permanencia de formas equivalentes, Peacock slo extendi las reglas de la aritmtica logrando as estudiar sus propiedades ms generales, tales como la distribuidad, la conmutatividad y la asociatividad. Dicho coloquialmente, su lgebra simblica no logra cortar el cordn umbilical con la aritmtica, y sta permanece subyacente en la primera. Dado que las ideas originales de Peacock ejercieron una profunda influencia en Boole, resulta tentador pensar que la permanencia de esta atadura aritmtica en su lgebra simblica es la fuente de uno de los defectos ms sealados en el lgebra booleana original, lo cual comentaremos ms adelante. Adems de Boole, el matemtico ingls Augustus de Morgan (1806-1871) tambin fue influenciado por el algebrista pero l s da el paso definitivo de la separacin, considerando que se podra crear un sistema algebraico con smbolos arbitrarios y un conjunto de leyes bajo las cuales estos smbolos fueran manipulados, y slo despus se dara una interpretacin de las leyes y smbolos. En resumen, podramos decir que para los aos treinta del siglo XIX, los matemticos iniciaban la explotacin de la recin descubierta rica veta del lgebra abstracta. Uno de los campos sera algo que hasta esas fechas se consideraba ajeno totalmente a las matemticas y sus mtodos: la lgica.

IDEAS DESDE LA LGICA Con la excepcin de la escuela de los Megricos, que se dedicaron al estudio de la lgica proposicional, desde los trabajos fundacionales realizados por Aristteles (384-322 a. C.) hasta el siglo XIX la gran mayora de las investigaciones lgicas se circunscriban a la silogstica. A este respecto recordemos, que si bien Aristteles defini el silogismo como toda argumentacin formal en la cual la conclusin es una consecuencia de las premisas, en 48

APUNTES DE HISTORIA DE LAS MATEMTICAS

VOL. 1, NO. 2, MAYO 2002

su anlisis se concentr en aquel tipo especfico de inferencia inmediata donde aparecen dos premisas y una conclusin, con la caracterstica de que las premisas tiene en comn el trmino medio. A este tipo de inferencia se asoci firmemente el nombre de silogismo y un ejemplo es el conocido desde el medioevo como Barbara: Todo S es M. Todo M es P. Luego, todo S es P. Para la formacin de los silogismos, a Aristteles le bast con los cuatro enunciados categricos tradicionalmente conocidos por las letras A, E, I y O: A: E: I: O: Todo S es P Ningn S es P Algn S es P Algn S no es P Universal afirmativo Universal negativo Particular afirmativo Particular negativo

As, la lgica anterior a la lgica matemtica puede ser considerada como una serie de interminables tentativas de reformar, mejorar o extender el silogismo aristotlico para comprender nuevas formas de inferencia. La ms famosa de estas tentativas, y que influy grandemente en Boole, fue la cuantificacin del predicado, introducida por el filsofo escocs William Hamilton (1788-1856). Este filsofo advirti que el trmino predicado en cada uno de los cuatro enunciados categricos tradicionales es ambiguo, en el sentido de que no queda claro si se refiere a todo el predicado o slo a una parte del mismo. Por ejemplo, todo A es B puede significar todo A es todo B o todo A es algn B. Con esta cuantificacin del predicado se logran ocho enunciados bsicos para la construccin de silogismos. Por desgracia, la incapacidad matemtica de Hamilton lo llev a un sistema lgico complicado y oscuro, nada prctico, con demasiadas expresiones confusas. En su afn de remediar la oscuridad de sus expresiones con el desarrollo de una notacin Hamilton hizo la innovacin de formular como igualdades de enunciados los silogismos vlidos con predicados cuantificados. Por ejemplo, el silogismo que comnmente aparece en los cursos de lgica de preparatorias de corte humanstico, Todos los hombres son mortales. Scrates es hombre. Por tanto, Scrates es mortal. Hamilton lo formulaba como, Todos los hombres y algunos mortales son iguales. Scrates y algunos (en este caso, uno) hombres son iguales. Por tanto, Scrates y algunos (uno) mortales son iguales. Algunos lgicos son de la opinin de que esta innovacin es la nica contribucin importante de Hamilton a la lgica, porque as sugiri que los enunciados lgicos pueden 49

APUNTES DE HISTORIA DE LAS MATEMTICAS

VOL. 1, NO. 2, MAYO 2002

ser reducidos a algo anlogo a las ecuaciones algebraicas, llevando a una analoga entre la lgica y el lgebra. En su tiempo, el trabajo de Hamilton no escap a las crticas de sus contemporneos, entre ellos Augustus de Morgan. Este ltimo encontr, entre los modos vlidos de Hamilton, un silogismo cuya expresin era tan confusa que pareca afirmar que todos los hombres que no eran abogados estaban hechos de piedra. De Morgan lo llamaba el silogismo esperpento y se provoc un debate acalorado entre los ingleses que estaban a favor y en contra del sistema de Hamilton [3]. Dado que De Morgan tambin cuantific el predicado dentro de su sistema, fue acusado de plagiario por Hamilton dando lugar a una larga polmica sostenida a travs de libros y artculos de revistas que a veces era agria y en otras ocasiones, divertida. Debido a sus habilidades matemticas, De Morgan logr hacer muchas contribuciones fructferas a la lgica, principalmente en la teora de silogismos. Las ms conocidas en la actualidad son las llamadas Leyes de De Morgan. El primer trabajo sobre lgica de este matemtico ingls fue publicado en 1839 con el ttulo First Notions in Logic, y sus papeles lgicos fueron publicados en una serie titulada On the Syllogism, aunque los primeros cuatro pueden ser encontrados tambin en su obra, publicada en 1847, Formal Logic; or, the Calculus of Inference, Necessary and Probable. En sus trabajos, De Morgan usa letras maysculas, tales como X, Y, Z, etc. para trminos generales arbitrarios o nombres, y para lo contrario de un nombre no usa un operador explcito de negacin, sino la letra minscula correspondiente al nombre. Por ejemplo, lo contrario del nombre X es denotado x. La conjuncin de proposiciones P y Q es expresada como PQ, y la disyuncin como P,Q. Con esta notacin una de sus leyes se enunciara como: lo contrario de PQ es p,q. De Morgan pareca poco consciente de la importancia de una buena notacin, como es evidente al comparar la notacin anterior para las operaciones entre proposiciones con su notacin para los cuatro enunciados categricos: Todas las Xs son Ys Ningunas Xs son Ys Algunas Xs son Ys Algunas Xs no son Ys X)Y X,Y XY X:Y

donde los smbolos para E e I coinciden, respectivamente, con los de disyuncin y conjuncin. De Morgan recibi instruccin formal clsica en latn, griego, hebreo y matemticas, habiendo ingresado en 1823 al Trinity College en Cambridge, donde estudi las matemticas europeas en boga. En su trabajo matemtico abord una vasta variedad de temas con nfasis en lgebra y lgica, por lo que resulta sorprendente que no haya sido capaz de establecer una liga entre estas dos reas de estudio. Aunque su trabajo en lgica fue contemporneo del de Boole, l era un lgico tradicional que conoca la teora medieval de lgica y semntica, y en trminos kuhneanos, a nivel de especulacin, podramos decir que si bien era uno de los articuladores del nuevo paradigma matemtico, aparentemente conceba la lgica como independiente de las matemticas por lo que en este campo fue un articulador del viejo paradigma aristotlico. Quiz su mayor conocimiento de la lgica antigua se constituy en un obstculo epistemolgico para llegar a la idea de aplicar las 50

APUNTES DE HISTORIA DE LAS MATEMTICAS

VOL. 1, NO. 2, MAYO 2002

herramientas algebraicas al estudio del rea y de all al nacimiento de un nuevo paradigma lgico. En contraste, Boole, a pesar de, o quiz debido a, ser un autodidacta con menores conocimientos de la lgica antigua, fue quien concibi dicha idea genial y con ello ha descubierto la forma verdadera y general de la lgica, y ha dado a la ciencia la forma que, en lo fundamental, deber tener en adelante. De esa manera, ha efectuado una reforma que difcilmente tiene punto de comparacin en la historia de la lgica, desde la remota poca de Aristteles hasta nuestros das[3]. Dicho lo anterior en 1874 por William Stanley Jevons (1835-1892) , el primer crtico y primer articulador del nuevo paradigma lgico. Aunado a la cuantificacin del predicado, con la nuevas teoras lgicas de Hamilton y De Morgan se dio tambin el cambio importante del punto de vista intencional para los enunciados al punto de vista extensional. Este cambio permitira pasar de una lgica de trminos a una lgica de clases. Desde Aristteles los trminos sujeto, S, y predicado, P, en un enunciado, se haban considerado signos de cualidades. Es decir, desde el punto de vista intencional se consideraba que el enunciado todo perro es carnvoro tena el sentido de que la cualidad ser carnvoro se le atribuye a la cualidad ser perro; ser carnvoro es una parte de la cualidad de ser perro. En cambio, desde el punto de vista extensional, el sentido del enunciado anterior era que cualquier cosa que sea un perro tiene la propiedad de ser carnvoro. En otras palabras, el conjunto o clase de todas las cosas que son perros es una parte de la clase de todas las cosas que son carnvoras. Con esta nueva concepcin el enunciado anterior era todos los perros son carnvoros, y, en general, esto se reflejaba en la notacin de ambos lgicos, quienes empleaban Todos los Ss son Ps en lugar del tradicional Todo S es P. As, los trminos S y P se volvieron signos de las cosas mismas que poseen las cualidades. Con esta concepcin de los trminos se estaba a un paso de pensar que la teora de los nexos lgicos entre los enunciados que los incluyen: la silogstica, se puede traducir a una teora de las operaciones sobre las clases, es decir, a un lgebra de clases. Quien primero tuvo esta visin fue Boole, pero no cabe duda que conociendo las teoras lgicas de Hamilton y De Morgan sac provecho de sus innovaciones: la cuantificacin del predicado y el punto de vista extensional.

EL LGEBRA DE LA LGICA Toda la intensa actividad en lgebra y lgica desarrollada en Gran Bretaa durante primera mitad del siglo form un caldo de cultivo, en plena ebullicin, ideal para aparicin en 1847 del trabajo pionero de George Boole, The Mathematical Anlisis Logic, being an essay towards a calculus of deductive reasoning. Nadie mejor que propio autor para decirnos su pretensin al escribir este pequeo volumen: Quienes estn familiarizados con el estado actual del lgebra simblica, saben bien que la validez de los procedimientos de anlisis no depende de la interpretacin de los signos que se emplean, sino exclusivamente de las leyes para su combinacin. Cualquier sistema de interpretacin que deje intacta la verdad de las relaciones presupuestas por ese procedimiento es igualmente legtimo... sin embargo, el pleno reconocimiento de las consecuencias de esta importante doctrina fue retrasado por circunstancias secundarias en cierta medida... La expresin de magnitudes o de 51 la la of el

APUNTES DE HISTORIA DE LAS MATEMTICAS

VOL. 1, NO. 2, MAYO 2002

operaciones referentes a magnitudes ha sido el objetivo declarado para el que han sido inventados los smbolos del anlisis y estudiadas sus leyes. De este modo las abstracciones del anlisis moderno han estimulado, no menos que los diagramas intuitivos de la geometra antigua, la conviccin de que la matemtica es, en principio y no slo de hecho, la ciencia de la magnitud... (En cambio) nosotros estamos en condiciones de dar precisamente como caracterstica definitoria de clculo la de que es un mtodo basado en el uso de smbolos, cuyas leyes de combinacin son conocidas y generales y cuyos resultados permiten una interpretacin exenta de contradicciones...Sobre este principio general es sobre lo que yo me propongo construir el clculo de la lgica y reclamo para l un lugar entre las formas reconocidas de anlisis matemtico, independientemente del hecho de que tal clculo deba, por ahora, apartarse de ellas espontneamente en todo lo referente a su objeto y sus instrumentos [1]. Para el logro de su objetivo, Boole construye un clculo puramente algebraico mediante smbolos: 1, 0, x, y, z, w..., con slo dos operaciones definidas a partir de ellos. Suma: x + y; Producto: xy, para las cuales se cumplen las leyes siguientes: x+ y=y+x x+ (1 x)=1 z= z1 = zx + z( 1 x ) z( x + y ) = zx + zy Es posible x 0, y 0, tal que xy = 0 xy= yx xy= x 1x =x 0x=0 x(1 x ) = 0

Notemos que la ley booleana x2 = x, y la ms general xn = x, no se cumple en la aritmtica. Adems, para los nmeros reales es vlido que si xy = 0 entonces x = 0 o y = 0, ley que no se cumple en el lgebra de Boole. Por lo que es obvio que esta lgebra no corresponde al lgebra aritmtica. Interpretndola como un lgebra de clases y relaciones entre clases, Boole, a travs de su clculo, logra construir toda la silogstica (el tema ms tradicional de la lgica de esos das) por medio de ecuaciones. Mostrando con ello las bondades y el poder de las matemticas aplicadas a la lgica, y estableciendo un vnculo duradero entre ambas ciencias. Para dar una breve ilustracin de la naturaleza de su trabajo, citamos en lo que sigue algunos fragmentos de su ensayo publicado en 1848 y titulado significativamente The Calculus of Logic [2]. Aunque en este ensayo no est explcito, Boole le da al smbolo 0 la interpretacin de nada, entendiendo por tal la clase que no tiene por elemento nada que sea elemento de la clase representada por 1. Y as, el universo de objetos concebibles es representado por 1 o la unidad. Este lo asumo como la concepcin dominante y principal. Todas las concepciones subordinadas de clases se entiende que se forman por limitacin, de acuerdo al siguiente esquema. Supongamos que tenemos la concepcin de cualquier grupo de objetos consistentes de Xs, Ys, y otros, y que x, el cual llamaremos un smbolo 52

APUNTES DE HISTORIA DE LAS MATEMTICAS

VOL. 1, NO. 2, MAYO 2002

electivo, representa la operacin mental de seleccionar de ese grupo todas las Xs que contiene, o de fijar la atencin sobre las Xs con la exclusin de todas las que no son Xs, y la operacin mental de seleccionar las Ys, y as sucesivamente; entonces, al ser 1 o el universo la concepcin dominante, tendremos x1 o x = la clase X, y1 o y = la clase Y, x y1 o x y = la clase donde cada miembro est en ambos X e Y, y as sucesivamente. De la misma manera tendremos 1 x = la clase no-X, 1 y = la clase no-Y, x(1 y ) = la clase cuyos miembros son Xs pero no-Ys, (1 x ) (1 y ) = la clase cuyos miembros son ni Xs ni Ys, etc. Por la naturaleza de las operaciones mentales involucradas, Boole afirma que se cumplen las leyes de la distributividad, la asociatividad y la de xn = x, a la cual llama ley del ndice y la considera peculiar del clculo. Aclara que la verdad de stas no depende de las clases y sus miembros, ni de sus mutuas relaciones, sino que ellas estn de hecho incorporadas en todo lenguaje hablado o escrito. Adems, con estas leyes est conectado un axioma general. Hemos visto que las operaciones algebraicas ejecutadas con smbolos selectivos representan procesos mentales. As, la conexin de dos smbolos por el signo + representa la agregacin de dos clases (ajenas) en una clase singular, la conexin de dos smbolos xy como en la multiplicacin, representa la operacin mental de seleccionar de una clase Y aqullos miembros que tambin pertenecen a otra clase X, y as sucesivamente. Por tales operaciones, la concepcin de una clase es modificada. Pero al lado de esto la mente tiene el poder de percibir relaciones de igualdad entre clases. El axioma en cuestin, entonces, es que si una relacin de igualdad es percibida entre dos clases, esa relacin permanece inalterada cuando ambos sujetos son igualmente modificados por las operaciones arriba descritas. Este axioma, y no el dictum de Aristteles, es el real fundamento de todo razonamiento, la forma y carcter del proceso, siendo, sin embargo, determinada por las tres leyes ya establecidas. Observemos que posteriormente Jevons propone que la suma sea considerada entre clases no necesariamente ajenas. Con esto se tiene la ley x + x = x, distinta de la ley booleana original x + x = 0. A partir de estos conceptos, Boole transforma las proposiciones cuantificadas en ecuaciones y as, cualquier silogismo puede ser transformado en un sistema de ecuaciones, el cual es vlido si las ecuaciones correspondientes a las premisas sometidas a manipulacin algebraica nos permiten llegar a la ecuacin correspondiente a la conclusin. Adems, dadas las premisas de un silogismo, era posible obtener una conclusin manipulando algebraicamente las ecuaciones correspondientes a las premisas y 53

APUNTES DE HISTORIA DE LAS MATEMTICAS

VOL. 1, NO. 2, MAYO 2002

llegando, si era posible, a una ecuacin con interpretacin lgica. A manera de ejemplo de la conversin a ecuaciones, veamos cules son las correspondientes a las cuatro proposiciones categricas aristotlicas: A: y = vx E: y = v( 1 x ) I: vy = vx O: vy = v( 1 x ) Boole llev a cabo una completa formulacin de sus ideas en la primera mitad de su obra de 1854, An Investigation of the Laws of Thought on which are founded the mathematical theories of logic and probabilities. En ella fue mucho ms lejos en su intento de hacer uso de las operaciones y procesos de matemticas para la construccin de su teora lgica. Estaba dispuesto a permitir el uso de cualquier idea del lgebra aritmtica, siempre y cuando ello le ayudase a obtener las respuestas correctas. No le importaba que con ello los pasos intermedios en la resolucin de un problema lgico no tuviesen sentido desde el punto de vista lgico. Este predominio de lo aritmtico pareciera un resabio de la atadura aritmtica de Peacock, siendo uno de los defectos que le encontr Jevons, quien, por el contrario, pensaba que todo paso algebraico debera corresponder a un paso lgico. Lo notable del lgebra de la lgica de Boole es que tambin poda ser interpretada, como lo hizo en su momento su propio creador para la hasta entonces poco trabajada lgica proposicional. Con ello se daba por primera vez una teora unitaria de la lgica. En esta lgebra de proposiciones se tienen todas las leyes del lgebra de clases y una ms que le es completamente propia: x = 0 o x = 1. Esperamos que, con lo hasta aqu dicho, el lector obtenga una apreciacin favorable de la genialidad de George Boole y de por qu ocupa un lugar preponderante en la historia de la lgica.

REFERENCIAS [1] Agazzi, Evandro (1986). La Lgica Simblica. Ed. Herder, Barcelona, Espaa. [2] Boole, George (1848). The Calculus of Logic. Cambridge and Dublin Mathematical Journal, Vol. III, pp. 183-198. [3] Gardner, Martin (1973). Mquinas Lgicas y Diagramas. Col. DINA, Editorial Grijalbo, D. F., Mxico. [4] Peacock, George (1940). A Treatise on Algebra. Vol. I. Arithmetical Algebra. Scripta Mathematica, New York, N. Y., USA. SITIOS EN RED [5] http://www-groups.dcs.st-and.ac.uk/ history/Mathematicians/Peacock.html [6] http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html 54