Reporte sobre la lógica de George Boole

(1) Introducción

Ya el filósofo alemán Gottfried Wilhelm Leibniz (1646-1716), percatándose de la similitud

entre las proposiciones y silogismos de la lógica y las variables y ecuaciones del álgebra,
había concebido la idea de desarrollar la lógica como una forma de cálculo.1 Pero no sería
sino hasta el siglo XIX que un matemático británico llamado George Boole desarrollaría
esta idea exitosamente en una obra titulada Mathematical Analysis of Logic.2 El presente
trabajo se propone exponer, de manera sucinta, la teoría lógica de Boole a la vez que
señalar cuáles son sus principales contribuciones al desarrollo de esta disciplina y en dónde
radican sus limitantes. Para ello será necesario realizar una lectura cuidadosa de las dos
principales obras en las que Boole expone su teoría lógica: The Mathematical Analysis of
Logic y An Investigation on the Laws of Thought. Complementaré mi análisis de estas dos
obras con el valioso estudio que de las mismas hacen Kneale & Kneale en su obra The
Development of Logic.

(2)

En la introducción de su obra The Mathematical Analysis of logic, Boole comienza

haciendo dos observaciones importantes sobre la teoría del álgebra simbólica: 1) la validez
de un proceso analítico no depende de la interpretación de los símbolos empleados, sino
únicamente de las leyes de sus combinaciones; 2) la ciencia de las matemáticas o del
análisis puro no necesariamente debe limitarse a las magnitudes. 3 Es a partir de este
principio general, nos dice Boole, que se propone establecer el cálculo de la lógica y por el
cual reclama para él un lugar entre las formas del análisis matemático.4 En su opinión,
aquello que hace posible la Lógica es la existencia de ciertas nociones generales en nuestra
mente, como la habilidad para concebir clases o conjuntos de cosas y designar a los
individuos que la conforman mediante un nombre común.5 Esta primer noción de clase o
conjunto es muy importante, pues, mediante esta noción somos capaces de separar
mediante un acto mental a partir de cualquier colección de objetos concebibles aquellos
objetos que pertenecen a dicha clase y contemplarlos separados del resto.6 Según el método
de Boole, una proposición lógica sería expresable mediante una ecuación cuya forma
determina las reglas de conversión y transformación a las cuales tal proposición está
1
Kneale & Kneale, The Development of Logic, p. 336.
2
Kneale & Kneale, p. 404.
3
Boole, George, The Mathematical analysis of Logic, pp. 3 y 4.
4
Boole, George, The Mathematical analysis of Logic, p. 4.
5
Boole, George, The Mathematical analysis of Logic, p. 4.
6
Ibíd., p. 5.
sujeta.7 De manera análoga, los silogismos se expresarían con ecuaciones a partir de las
cuales, mediante la eliminación del símbolo común a ambas, obtendríamos una tercera
ecuación que expresaría la conclusión.8 Los símbolos que emplea el método de cálculo
lógico booleano son los siguientes:9

1) El símbolo 1, o la unidad, representa el Universo entendido como aquello que

comprende cualquier clase o conjunto concebible de objetos independientemente de
si existen actualmente o no.
2) Las letras X, Y, Z, representarían a los miembros individuales de una clase o
conjunto, donde X aplicaría a todo miembro de un conjunto en tanto que miembro
de ese conjunto en particular y Y a todo miembro de otro conjunto en tanto que
miembro de ese otro conjunto, etc.
3) La clase de los símbolos x, y, z,10 donde el símbolo x, operando sobre cualquier
sujeto que comprenda individuos o clases, tendría como función seleccionar de
dicho sujeto todas las Xs que contenga.
4) Los símbolos de operación, como +, −, ×.
5) El símbolo de identidad, =.11

Una vez expuestos los símbolos que reconoce y emplea Boole en su teoría lógica sería
conveniente mencionar lo que el matemático británico llama las leyes de la combinación y
sucesión:12

1) El resultado de un acto de selección es independiente de la agrupación o

clasificación del sujeto. Esto se representaría algebraicamente de la siguiente
manera:
x(u + v) = xu + xv
2) Es indiferente en qué orden se llevan a cabo dos actos sucesivos de selección.
Algebraicamente esto se representa de la siguiente manera:
xy = yx
3) El resultado de un acto de selección realizado dos veces, o cualquier número de
veces sucesivamente, es el resultado de ese mismo acto realizado una sola vez. La
representación simbólica de esta ley es la siguiente:

7
Boole, p. 7.
8
Ibíd., p. 8.
9
Ibíd., p. 14.
10
A estos símbolos Boole los llama selectivos. De manera análoga, una expresión que contenga dichos
símbolos se llamará función selectiva y una ecuación cuyos miembros son funciones selectivas recibirá el
nombre de ecuación selectiva (Cfr. Boole, The Mathematical analysis of Logic, p. 15).
11
Sería conveniente señalar que en The Mathematical analysis of Logic Boole no menciona los símbolos de
operación e identidad, sino que los presupone como tal y procede a emplearlos. En cambio, son
mencionados en el segundo capítulo de An Investigation on the laws of thought. (Cfr. Boole, An Investigation
on the laws of thought, p. 27).
12
Boole, The Mathematical analysis of Logic, pp. 15 y 16.
 xx = x ó x2 = x

La primer ley (1) es aquella que se conoce como distributiva; la segunda (2) aquella
conocida como conmutativa; y la tercera ley es una particularidad del sistema algebraico de
Boole y de los símbolos selectivos a la cual el autor se refiere como index law o ley de
índice.13 Mencionemos a continuación cómo define y representa Boole una proposición
mediante su método de cálculo lógico. En The Mathematical analysis of Logic se nos
proporciona la siguiente definición de proposición:

Una proposición es una oración o enunciado que o

niega o afirma, como en, Todos los hombres son
mortales, Ninguna creatura es independiente. Toda
proposición tiene, necesariamente, dos términos,
sujeto y predicado, los cuales se conectan mediante la
cópula es o no es.14

No conviene reparar demasiado en estas observaciones y definiciones sobre las

proposiciones, puesto que en ello Boole no se aparta de lo que ya en la antigüedad tanto
Aristóteles como los medievales habían dicho sobre este tema. En cambio, lo que aquí nos
interesa es exponer de qué manera se representarían dichas proposiciones en la lógica
booleana. Las cuatro clases de proposiciones categóricas, universal-afirmativa, universal-
negativa, particular-afirmativa y particular-negativa, se representarían de la siguiente
manera15:

a) Toda X es Y:
xy = x
b) Ninguna X es Y:
xy = 0
c) Alguna X es Y:
v = xy
d) Alguna X no es Y:
v = x (1 − y)

Si consideramos que toda proposición sólo puede admitir dos valores, a saber, que sea
verdadera o que sea falsa, entonces el sistema de Boole también nos permite representar
algebraicamente los casos de verdad y falsedad de una proposición. Siendo el símbolo x la
representación de verdad de una proposición cualquiera, y el símbolo 1 – x la

13
Boole, The Mathematical Analysis of Logic, p. 17.
14
Ibíd., p. 19.
15
Ibíd., pp. 20 y 21.
representación de falsedad, los casos o valores de verdad se representarían de la siguiente
manera:16

Casos Expresiones selectivas

1. X es verdadera, Y es verdadera. xy
2. X es verdadera, Y es falsa. x(1 – y)
3. X es falsa, Y es verdadera. (1 – x)y
4. X es falsa, Y es falsa. (1 – x)(1 – y)

(3)

A manera de conclusión me gustaría señalar, tal como se prometió en la introducción de

este trabajo, las principales aportaciones y limitantes del sistema lógico de Boole. En
opinión de Kneale & Kneale, la principal novedad del sistema booleano es su teoría y
desarrollo de las funciones selectivas o lo que ahora se conoce como theory of truth-
functions y sugerir una manera de expresarlas de forma disyuntiva normal. En esto el
matemático británico está tan sólo un paso atrás del uso que hará Frege de las tablas de
verdad en su Begriffsschrift de 1879.17 Otros dos descubrimientos importantes que implicó
la propuesta de Boole fue sugerir, por una parte, la posibilidad de que hubiera un álgebra de
entidades que no fueran números y, por otra, que las leyes que aplican para distintos tipos
de números, incluidos los números complejos, no tienen necesariamente que conservarse en
un sistema algebraico que no es aplicable a tales números. 18 Otro de los logros de Boole,
que Kneale & Kneale destacan particularmente, y de los cuales el mismo autor no parece
haber estado consciente, fue liberar a la lógica del dominio de la epistemología y con ello
contribuir a su restablecimiento como una ciencia independiente. 19 Al introducir las
nociones de conjunto universal y conjunto vacío, Boole estaba haciendo también una
interesante contribución que implicaba una extensión del uso ordinario que se le solía dar al
término conjunto o clase.20 En cuanto a las limitantes o defectos del sistema booleano,
Kneale & Kneale critican particularmente su empleo del símbolo v para expresar
proposiciones particulares. En principio, la función de este símbolo sería indicar el conjunto
de “las cosas indefinidas en todo respecto excepto en uno”, por ejemplo, aquel conjunto que
no es coextensivo con el conjunto vacío. Los autores anteriormente citados consideran
insatisfactoria esta manera de proceder pues, entre otras cosas, sugiere un error de
inferencia.21 Con todo y los defectos que pueda tener el sistema de Boole, es preciso

16
Ibíd., pp. 50 y 51.
17
Kneale & Kneale, op. cit., p. 420.
18
Ibíd., p. 405.
19
Ibíd., p. 407.
20
Ibíd., p. 408.
21
Ibíd., pp. 411 y 412.
reconocer que cualquier dispositivo electrónico o computadora moderna diseñada para
propósitos generales debe ser capaz de lidiar con el álgebra booleana.22

Bibliografía:

Boole, George, The Mathematical Analysis of Logic, Cambridge, Macmillan, Barclay, &
Macmillan, London, 1847.
Boole, George, An Investigation on the Laws of Thought, Dover Publications Inc., New
York, 1780.
Kneale & Kneale, The Development of Logic, Clarendon Press, Oxford, 1984.

22
Ibíd., p. 421.