Es posible concebir un tipo de pensamiento lgico sin incluir la argumentacin para establecer la

veracidad de un enunciado?

El creador de la lgica matemtica

George Boole decidi dedicarse inicialmente a la enseanza. En 1835 fund su primer

colegio, donde aprovechaba los ratos libres para estudiar los trabajos realizados por
famosos matemticos como Laplace y Lagrange. Posteriormente, George Boole se dedic
al lgebra y fue en este rea en la que realiz sus mejores contribuciones. El primer
trabajo lo public en la revistaTransaction of the Royal Society. Sera solo el principio de
una extraordinaria carrera investigadora, a pesar de su corta duracin, pues falleci con
solo 49 aos.
Boole fue capaz de incorporar la lgica -disciplina tradicionalmente dentro de la filosofa-
al campo de las matemticas, estableciendo asimismo sus reglas y axiomas ms
importantes. Como explica Rafael del Vado, George Boole "cre los fundamentos de la
lgica matemtica mediante el lgebra que lleva su nombre". El profesor de la Universidad
Complutense nos propone los primeros dos enunciados, que pueden expresarse a travs
de la tercera frase mediante la lgica de proposiciones de Boole:
Todos los mamferos respiran mediante pulmones.
Los perros son mamferos.

El avance ms importante de Boole fue entender que existan "clases" que podan agrupar
a todos los individuos definidos por una palabra. En los ejemplos anteriores, estos grupos
seran "mamferos" y "perros". George Boole pens que podran utilizarse letras como "x"
e "y" para representar a las clases mencionadas. Tomando el ejemplo anterior, podramos
decir:

Todos los x respiran mediante pulmones.

 Los y son x.