1.

En qu sentido puede afirmarse que la logica simbolica ideada por Boole marca la
separacin de la lgica y la filosofia?

Dadas las ambiguedades del lenguaje cotidiano y las connotaciones intuitivas
asociadas con l, as como la desconfianza hacia la intuicion poducida por las
geometrias no euclidianas, una tarea inmediata para lograr el fortalecimiento de la
logica era la simbolizacion. En 1847 Goerge Boole, integrante de una escuela inglesa
publico el primer tratado acertado sobre la simbolizacion de la logica titulado Analisis
matematico de la logica, demuestra que est plenamente conciente de la importancia
y las implicaciones que tiene la simbolizacion que utuliza; y en 1854, una obra
adicional Una Investigacion de las Leyes del Pensamiento, sobre las cuales se
fundamentan las teorias matematicas de logica y probabilidades. Aqu en estos
escritos Boole introduce una simbolizacion basada en el algebra de manera que las
operaciones logicas son denotadas por operaciones algebraicas y las leyes logicas se
formulan en terminos de identidades algebraicas.
En una primera instancia Boole atribuye a su simbolizacion una interpretacion de
terminos o de clases de acuerdo con la logica tradicional Aristotelica que es, a final de
cuentas, una logica imperfecta de clases. El sistema de Boole se acerca mas a una
legitima logica de clases y trasciende algunas de las limitaciones de la logica
Aristotelica cuando se reconoce la necesidad de considerar la clase nula y la clase
universal. Con esto, su trabajo se aleja mas que el de Leibniz de la preocupacion
ontologica caracteristica de la logica Aristotelica, pues considerar una clase vacia, o un
termino sin instancias, viola abiertamente el principio aristotelico de la definicion real.
Boole demuestra que las formas proposicionales categoricas consideradas en la
silogistica Aristotelica pueden expresarse algebraicamente. En su primera
aproximacion, formula las cuatro formas proposicionales categoricas empleando la
igualdad para las proposiciones universales y la diferencia para las particulares. Tras
organizar mejor sus ideas, logro expresar las cuatro formas proposicionales categoricas
en terminos de igualdades y demostrar las leyes generales o silogismos.
Asi, los asptectos importantes de la simbolizacion de Boole hacen notar que el proceso
de demostracion de las identidades del sistema carece totalmente de elementos de la
logica intuitiva. Efectivamente los simbolos se manipulan utilizando propiedades
netamente algebraicas sin referencia alguna a su significado. Esta es una caracteristica
sobresaliente de la logica simbolica que de esta manera logra enfocar las leyes logicas
sin empantanarse en ambiguedades y contribuciones intuitivas extraas al sistema.
Hasta qu punto anticipa el sistema de Leibniz esta separacin?
Leibniz evidentemente quiso construir una nueva ciencia basica que tendria
semejanzas con la matematica pero que contendria ademas la logica tradicional y
algunos estudios que hasta aquel entonces no se habian desarrollado. Noto que la
logica, con sus terminos, proposiciones y silogismos se asemejaba al algebra con sus
letras , ecuaciones y transformaciones. Esta observacion lo llevo a desarrollar un
calculo logico. Asi pensaba en la nueva ciencia como matematica universal.
Ahora bien, en una version modificada de este sistema simbolico, Leibniz seducido por
los simbolos, rompe con los principios ontologicos de la logica Aristotelica en forma
contundente. El gran respeto que tuvo por Aristoteles conllevaria el abandono de su
busqueda de un lenguaje simbolico perfecto. Por otra parte, hacemos enfasis en que la
distancia entre esta logica simbolica y una lengua filosofica que reflejara
perfectamente la realidad no podria ser mas grande. La misma lengua simbolica
genera una situacion que rompe abiertamente con el tradicional prejuicio ontologico
de la logica Aristotelica.
Con esto es suficiente para sustentar nuestra conviccion de que las logicas simbolicas
realizadas por Leibniz, a pesar de los objetivos que expresaba cuando hablaba de una
lengua filosofica, no son Aristotelicas. Leibniz no logro despojarse de sus vestiduras
aristotelicas y sus ideas mas importantes permanecieron sin divulgar hasta unos 150
aos despues de su muerte cuando tuvieron influencia precisamente sobre el
pensamiento de los matematicos de las decadas finales del siglo XIX.