Leibniz

En el pensamiento de Leibniz estn los comienzos del proceso histrico que

transforma la lgica, alejndola de las pretensiones ontolgicas de Aristteles.
Leibniz, inicia cambios fundamentales que revelan la lgica en su calidad de
ciencia de pura relacin, de forma sin contenido. Leibniz podra considerarse
como el primero de los pensadores modernos.
Ontologa
(del griego 'del ente', genitivo del participio del verbo 'ser, estar'; y
'ciencia, estudio, teora') es una rama de la metafsica que estudia lo que
hay. Intenta responder preguntas generales como: Qu es la materia? Qu es
un proceso? Qu es el espacio-tiempo? Hay propiedades emergentes? Se
ajustan todos los eventos a alguna(s) ley(es)? Qu hace real a un objeto? Hay
causas finales?
Preguntas tradicionales de la filosofa pueden ser entendidas como preguntas
de ontologa: Existe Dios? Existen entidades mentales, como ideas y
pensamientos? Existen entidades abstractas, como los nmeros? Existen los
universales?
La ontologa tambin estudia la manera en que se relacionan las entidades que
existen. Por ejemplo, la relacin entre un universal (rojo) y un particular que "lo
tiene" (esta manzana), o la relacin entre un acto (Scrates bebi la cicuta) y
sus participantes (Scrates y la cicuta).
La lgica aristotlica del filsofo griego Aristteles. Sus trabajos principales
sobre la materia se agrupan bajo el nombre rganon (herramienta), y
constituyen la primera investigacin sistemtica acerca de los principios del
razonamiento vlido o correcto. Para Aristteles, la lgica era una herramienta
necesaria para adentrarse en el mundo de la filosofa y la ciencia.
Juicios
Los silogismos se componen de juicios (o aserciones, apophanseis). Los juicios
son oraciones con un sujeto y un predicado, en las cuales el predicado se
afirma o se niega del sujeto. As, Scrates es hombre y todos los hombres
son mortales son juicios. Aristteles llama trmino a aquello que puede ser
sujeto o predicado de un juicio, y distingue entre trminos singulares
(Scrates, Platn) y trminos universales (hombre, mortal). Los
trminos singulares slo pueden ser sujeto, mientras que los trminos
universales pueden ser tanto sujeto como predicado (con ayuda de
cuantificadores). Aristteles clasific distintos tipos de juicios y tambin
construy el cuadro de oposicin de los juicios. La siguiente tabla resume los
seis tipos de juicios:

Afirmacin

Negacin

Universal

Indefinido

Particular

Todo S es P.

Ningn S es P.

Todos los hombres son mortales.

Ningn hombre es mortal.

Algunos S son P.

Algunos S no son P.

Algunos hombres son mortales.

Algunos hombres no son mortales.

S es P.

S no es P.

Scrates es mortal.

Scrates no es mortal.

Silogismos
La nocin central del sistema lgico de Aristteles es el silogismo (o deduccin,
sullogismos). Es, segn la definicin de Aristteles, un discurso (logos) en el
cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que
son, otra cosa diferente.5 Un ejemplo clsico de silogismo es el siguiente:
1. Todos los hombres son mortales.
2. Todos los griegos son hombres.
3. Por lo tanto, todos los griegos son mortales.
En este ejemplo, tras establecer las premisas (1) y (2), la conclusin (3) se
sigue por necesidad. La nocin de silogismo es similar a la nocin moderna de
argumento deductivamente vlido, pero hay diferencias.
En los Primeros analticos, Aristteles construy la primera teora de la
inferencia vlida. Conocida como la silogstica, la teora ofrece criterios para
evaluar la validez, o no, de ciertos tipos muy especficos de silogismos, los
silogismos categricos.7 Para definir lo que es un silogismo categrico, primero
es necesario definir lo que es una proposicin categrica. Una proposicin es
categrica si tiene alguna de las siguientes cuatro formas:

Todo S es P.
Ningn S es P.
Algunos S son P.
Algunos S no son P.

Immanuel Kant
Desde la poca de Aristteles no ha dado un slo paso atrs. [...] Lo que es an
ms notable acerca de la lgica es que hasta ahora tampoco ha podido dar un
slo paso hacia adelante, y por lo tanto parece a todas luces terminada y
completa.
Bertrand Russell:

El pensamiento ms valioso de Leibniz no era del tipo que le procurara

popularidad, y dej los archivos respectivos en su escritorio sin publicar. Lo que
s public estaba diseado para ganarse la aprobacin de princesas y
prncipes. En consecuencia, hay dos sistemas filosficos que pueden juzgarse
como representativos de Leibniz: uno, el que divulg, fue optimista, ortodoxo,
fantstico y poco profundo; el otro, el que editores ms bien recientes han
desenterrado lentamente de sus escritos, fue profundo, coherente, en gran
parte de acuerdo con Spinoza y sorprendentemente lgico.
En su libro El desarrollo de la lgica, Kneale relaciona cinco aspectos del
pensamiento de Leibniz de inters para la historia de la lgica. Ellos, parecen
formar un sistema coherente, cada uno sosteniendo y reforzando el otro en la
tarea de perfeccionar el sistema aristotlico, son: (1) su respeto por la lgica
tradicional; (2) su nocin de ars combinatoria, o teora de la combinatoria, que
influira sobre su anlisis de conceptos complejos y su epistemologa; (3) su
plan para un lenguaje ideal denominado lingua philosophica o characteristica
universalis; (4) su esquema para la coordinacin de todo conocimiento en una
enciclopedia; (5) su esperanza de desarrollar una ciencia general de mtodo. El
trabajo de Leibniz en la bsqueda de una lengua filosfica, de un simbolismo
perfecto, lo llevara a dejar atrs el tradicional sistema aristotlico y asomarse
a las puertas del pensamiento moderno.
La lgica aristotlica est llamada a jugar un papel central en la teora del
conocimiento y la misma metafsica desarrollada por Leibniz. La explicacin de
todo lo que existe es para Leibniz de carcter fundamentalmente lgico
(analtico). As las cosas, la lgica perfecta de la mente de Dios, unida con la
posibilidad de contemplar todas las posibles combinaciones, da lugar a la
creacin; la creciente perfeccin lgica de la mente humana ayudada por un
lenguaje de significados sin ambigedad y la organizacin lgico-deductiva de
todo conocimiento en una sola coleccin enciclopdica permite una apropiacin
expedita (Que carece de obstculos, estorbos o inconvenientes.) y sin
equivocaciones de esa creacin. El esquema, sencillo y escueto, contiene la
semilla de su propia destruccin y la de todo el pensamiento clsico.
Leibniz y la lgica tradicional
Leibniz lleg a creer que toda proposicin podra ubicarse en un orden
determinado por su contribucin a la concatenacin (Enlace de hechos o de
ideas que guardan entre s una relacin lgica o de causa y efecto.) de
silogismos, es decir, en un sistema deductivo. De la silogstica aristotlica,
Leibniz dijo: es uno de los descubrimientos ms bellos del espritu humano un
"arte de infalibilidad que puede desarrollarse en una especie de matemtica
universal.
Leibniz reconoce que no todo argumento puede enunciarse en forma
silogstica, ya que admite argumentacin por inversin de relaciones y otras
basadas en propiedades relacinales (por ejemplo, de la proposicin Platn fue
maestro de Aristteles se puede deducir la proposicin Aristteles fue
discpulo de Platn). Estas adiciones a la silogstica no se extienden a una

lgica general de relaciones, ya que Leibniz insiste que todo concepto complejo
(como lo son los conceptos relacinales) es un simple agregado de conceptos
simples, nocin que se subordina al rgido esquema sujeto-predicado de las
formas proposicionales de la silogstica.
Leibniz reconoci 24 formas de silogismo: cuatro figuras, cada una con seis
formas, aparentemente debido a la simetra de tal esquema. Estas incluyen las
que atribuyen implicacin existencial a las afirmaciones universales, una
importante falla que seguramente obstaculiz el que desarrollara, como era su
ambicin, un clculo lgico satisfactorio. En efecto, intenta asimilar
proposiciones universales y singulares, incluyendo ambos bajo el esquema el
predicado es inherente al sujeto, sea en el caso en que la sabidura es
inherente a Scrates o en el caso en que animalidad es inherente a la
humanidad.
Es interesante anotar cmo intenta poner la proposicin de forma relacional:
Moiss es ms importante que Aarn, en ese molde. Escribe: Moiss es
importante en tanto Aarn no es importante, o sea, una conjuncin de
proposiciones de la forma predilecta sujeto-predicado. Este es un error bsico
que inhabilita su lgica a la vez que contrasta con su aceptacin de
argumentacin basada en propiedades relacinales.
Ars combinatoria
Si conceptos compuestos son meros agregados de conceptos simples, una
identificacin de los conceptos simples, conjuntamente con un estudio de las
posibles combinaciones, delineara los confines de toda posibilidad conceptual,
imponiendo a la vez un marco sobre lo conocible, El estudio de la ars
combinatoria permitira averiguar a priori cules combinaciones deben
realizarse, ya que, dadas todas las posibles combinaciones de conceptos
simples, el mayor sistema de composibles (palabra leibniciana que significa
lgicamente compatibles) es aqul que tiene mayor perfeccin. Y este sera
el sistema que se realiza. Leibniz enuncia un criterio lgico de existencia: algo
existe si no produce contradiccin. De acuerdo con este enfoque, existencia es
algo que se determina analticamente, es decir, con base en la lgica pura;
este punto liga a Leibniz con Criterios de existencia de la matemtica
contempornea. Leibniz llega a relacionar lo anterior con su ciencia del mtodo
afirmando que Dios puede determinar analticamente todo lo existente, dada
su infinita capacidad de conocer precisamente el mayor conjunto de
composibles. El hombre, dadas sus capacidades limitadas, debe suplir sus
fallas lgicas con el conocimiento emprico de lo que en efecto se ha dado,
como veremos ms adelante con mayor detalle.
Characteristica universalis o lengua filosfica
Leibniz desarroll varias aproximaciones, todas destinadas al fracaso debido a
los prejuicios aristotlicos. Veamos con algn detalle su pensamiento al
respecto.

El principio fundamental de esta teora leibniciana del simbolismo es que

nuestras expresiones deben reflejar la estructura del mundo. Aunque los signos
bsicos se escogen arbitrariamente, debe existir una analoga estricta entre
sus relaciones y las relaciones de los elementos que significan (esto es
equivalente al moderno concepto de isomorfismo ((del griego iso-morfos: Igual
forma) es un morfismo que admite un inverso), fundamento de la teora
estructuralista). De esta manera, el nombre de cada cosa sera su definicin y
la clave de todas sus propiedades.
Una sugerencia con la cual trabaj Leibniz fue la siguiente: ideas simples
podran representarse por nmeros primos e ideas complejas por productos de
nmeros primos (es decir, nmeros compuestos). Por medio de la factorizacin
del nmero complejo en factores primos y en virtud del teorema de
factorizacin nica, este esquema permite conocer sin ambigedades la
definicin de cada trmino derivado.
Leibniz no qued satisfecho con esta primera aproximacin porque esperaba
encontrar un sistema en el cual an los trminos primitivos fueran inteligibles
sin necesidad de un diccionario. Su modelo para tal sistema era los
pictogramas o ideogramas chinos, una escritura independiente del lenguaje
hablado y por ende universal.
Nuevamente estos dos sistemas contenan un inconveniente que invalid todos
los intentos de Leibniz, no todos los conceptos complejos pueden expresarse
como agregados de conceptos simples.
Adems, Leibniz esperaba que en su sistema la existencia de una conexin
necesaria se revelara en los mismos smbolos. Por ejemplo, en la primera
aproximacin mencionada, tal conexin se representara en el hecho de que el
nmero correspondiente al sujeto seria divisible por el nmero correspondiente
al predicado. Aunque resultara adecuado para la silogstica, el sistema
impondra limitaciones a la deduccin ya que las cadenas de derivaciones
tendran que estar compuestas por proposiciones de la forma sujeto-predicado.
Si se realizara la characteristica universalis, se podra reemplazar el
pensamiento por un clculo similar al clculo numrico. AI respecto, Leibniz
dice:
Si la tuviramos podramos razonar en metafsica o tica de manera
muy similar a la manera en que razonamos en geometra o anlisis. Si
surgieran controversias, no habra mayor necesidad de discusin entre
dos filsofos que entre dos contadores. Pues sera suficiente que alzaran
sus lpices en sus manos, que se sentaran ante sus pizarras, y dijeran:
Calculemos.
Cada smbolo representa sin ambigedad un concepto y comporta significado y
contenido. Se trata de un lenguaje simblico con suma pretensin ontolgica.
Contrasta marcamente con la lgica simblica que a la postre logr desarrollar
Leibniz.

La enciclopedia
El proyecto de elaboracin de una enciclopedia es apenas consecuente con los
otros intereses de Leibniz, ya que una coleccin sistemtica del conocimiento
sera la base indispensable para la construccin de la lengua filosfica. El
material se presentara en un orden lgico de desarrollo. A la larga Leibniz
expres el deseo de que toda la enciclopedia fuera estructurada en forma
demostrativa (similar a los Elementos de Euclides) pero abandon esta idea en
favor de una obra que recogiera solamente los primeros principios de las
diferentes ciencias. Al unir esto con la ars combinatoria, se tendra
conocimiento de todas las combinaciones que podran darse. Luego, por medio
del estudio del mayor nmero de composibles se podra llegar a un
conocimiento a priori del conjunto de todo lo existente, por supuesto
aceptando la explicacin leibniciana de lo complejo.
Una ciencia general del mtodo
Las reflexiones de Leibniz sobre el mtodo cientfico eran de gran importancia
para su concepcin de la lgica, y fundamentales en las contribuciones
originales que hizo a ella, Es bsica su idea de una lgica del descubrimiento,
una ciencia del mtodo. Leibniz seala con precisin instancias en las cuales
falla rotundamente la intuicin. Por ejemplo, dice que la posibilidad de que
exista una curva, como la hiprbola, que se aproxima cada vez ms a su
asntota pero nunca la intersecta es contraria a la intuicin. Ntese que el
ejemplo de Leibniz muestra, tal como lo haba anotado Aristteles, que la
intuicin tiene dificultades para enfrentar situaciones infinitistas.) Desconfiando
de la intuicin e identificando sus limitaciones, Leibniz ve en la lgica la raz de
las nociones matemticas y la posibilidad de su fundamentacin.
Para Leibniz no existen indemostrables salvo el principio de identidad.
Demostrar una proposicin es mostrar que el concepto predicado est
contenido en el concepto sujeto, y para ello hay que analizar los dos conceptos
lo suficiente para dejar sus relaciones en claro. El procedimiento para la
construccin de una demostracin es esencialmente la produccin de una
cadena de definiciones que muestran que la proposicin a demostrar es una
identidad virtual. Por ejemplo, con este enfoque, dadas las definiciones
(i)
(ii)
(iii)

2=1 + 1
3 = 2+1
4 = 3+1,

es posible demostrar que 2 + 2 = 4 como sigue

2+2 =2+2
=2 + (1 +1) por (i)
= (2+ 1)
=3 +1

+1

(asociatividad)
por (ii)

=4

por (iii).

Ahora bien, si todo razonamiento, silogstico o no, es apenas el reemplazo de

unas expresiones por otras que son equivalentes por definicin, no importa si
se comienza por una identidad conocida y se procede sintticamente por pasos
hacia lo que se quiere demostrar o si se comienza por lo que se quiere
demostrar y se reduce analticamente por pasos hasta llegar a una identidad.
La diferencia de orden no significa una diferencia del mtodo, una situacin
insatisfactoria para Leibniz. De todas maneras, esta explicacin de la
demostracin est destinada a fracasar porque se basa, una vez ms, en la
suposicin de que en toda verdad afirmativa el predicado est en el sujeto. Es
fcil producir un contraejemplo aun dentro del marco de la lgica tradicional: si
el sujeto es singular, por ejemplo Scrates, no existe un concepto sujeto.
Leibniz, mismo se ocup de dos dificultades que observ en su sistema. En
primer lugar, comprendi que afirmar que toda verdad necesaria depende de
definiciones que nosotros mismos hemos hecho es aparentemente paradjico.
Afirm que una definicin real (en oposicin a una definicin nominal) contiene
una asercin implcita de la posibilidad de lo definido. Esta posibilidad no se
establece por medio de nuestras convenciones acerca del empleo de las
palabras y sin ella no puede haber demostracin. Para Leibniz, la comprensin
de un trmino, o la tenencia de una idea real, involucra el reconocimiento de la
posibilidad de lo significado. Nuevamente observamos la identificacin que se
da entre lo lgico y lo ontolgico; en esto Leibniz sigue siendo netamente
aristotlico.
Esta ltima insistencia de Leibniz pretende responder al convencionalismo,
pero su explicacin es incorrecta. Para entender esto, consideremos la
demostracin por contradiccin (reductio ad absurdum) que descansa sobre la
introduccin en una demostracin de una proposicin que es imposible. Por
ejemplo, en la demostracin por contradiccin del teorema que existe un
nmero infinito de primos, hacemos la siguiente afirmacin: Sea p el mayor
nmero primo. Es claro que, aunque se defina en este argumento, tal nmero
primo no existe.
La segunda dificultad para Leibniz yace en la ciencia emprica. Su teora
general del mtodo puede aplicarse a la fsica? Leibniz se aferra a la opinin de
que toda proposicin verdadera, an las singulares, son virtuales identidades,
aunque slo Dios puede conocerlas todas k. Para Russell, las proposiciones
sobre lo existente, segn la filosofa de Leibniz, podran conocerse a priori si
pudiramos llevar a cabo un anlisis infinito.
Pero, como no lo podemos hacer, nosotros solamente podemos conocerlas
empricamente mientras que Dios las puede deducir mediante la lgica. Una
distincin importante es la que se establece entre las proposiciones que son
deducibles mediante la lgica y las que no lo son; las primeras las llama
analticas y las segundas sintticas. Para Dios todas las proposiciones son
analticas. Las proposiciones sintticas son contingentes (Que puede suceder o
no suceder.). Por otra parte, Russell aclara que tal vez convenga decir aqu

que hasta aquellas proposiciones como el rectngulo equiltero es un

rectngulo no es enteramente analtica. Desde el punto de vista lgico son
derivadas de proposiciones sintticas que afirman la compatibilidad de los
componentes del sujeto.
Leibniz tambin hace la distincin entre verdades de razn, que se tienen en
todos los mundos posibles, y verdades de hecho que son, en un sentido,
contingentes porque dependen de la voluntad de Dios y se tienen nicamente
en el mundo actual. El principio de razn suficiente asegura que aun las
verdades de hecho son necesarias en cuanto nada sucede sin una base (un
motivo). En toda proposicin verdadera el concepto sujeto contiene al concepto
predicado, y la diferencia entre verdades de razn y verdades de hecho es
simplemente que stas no pueden demostrarse sin el principio de la
superioridad de lo actual que llev a Dios a escoger ste entre todos los
mundos posibles. Para Leibniz la mera generalizacin emprica no es suficiente
para hacer ciencia, y, dado que en este contexto no podemos llegar a primeros
principios argumentando por el mtodo regresivo, estamos obligados a usar
hiptesis. Estas son probables en tanto: (1) son simples y describen un gran
nmero de fenmenos con un nmero pequeo de postulados; (2) nos
permiten predecir nuevos fenmenos y explicar nuevas observaciones.
Es claro que el sistema de Leibniz no da cabida a la fuente del conocimiento de
mayor importancia para la ciencia natural, que es la observacin.
La nueva visin de la lgica en Leibniz
Leibniz quiso construir una nueva ciencia bsica que tendra semejanzas con la
matemtica pero que contendra adems la lgica tradicional. Not que la
lgica, con sus trminos, proposiciones y silogismos se asemejaba al lgebra
con sus letras, ecuaciones y transformaciones. Esta observacin lo llev a
desarrollar un clculo lgico. As pensaba en la nueva ciencia como una
matemtica universal. Pero no quiso asimilar la lgica a la matemtica ya que
pensaba que la matemtica slo trataba relaciones de cantidad, mientras que
l quiso formular clculos que se aplicaran sobre relaciones no cuantitativas
(semejanza, congruencia, inclusin).
Parece que tuvo en mente una teora de estructuras que proveera la sintaxis
para su characteristica universalis. Cubrira todas las formas de orden y
proveera la fundamentacin de otras ramas de la matemtica. Sera un
instrumento de descubrimiento. Leibniz anticip la generalidad de la moderna
teora de estructuras algebraicas (o lgebra abstracta).
Aunque habl de infinitos clculos, Leibniz lleg a desarrollar slo dos: (1) un
clculo de identidad e inclusin; y (2) un clculo de semejanza y congruencia.
En el primero, quiso hacer algo que abarcara ms que la lgica tradicional,
pero el clculo que construy no cubri siquiera la silogstica completamente.
Sin embargo, pudo presentar algunos fragmentos en forma abstracta, lo cual
acerca su trabajo al espritu de la matemtica moderna.

El punto de apoyo que us para lograr este sistema es el isomorfismo que

existe (y que Leibniz pudo identificar) entre algunas afirmaciones que se hacen
en la lgica y otras que se hacen en la geometra acerca de relaciones entre
lneas, reas o volmenes. Us diagramas similares a los de Euler (o de Venn)
para representar silogismos.
Leibniz comprendi que el clculo que quiso elaborar se distingua por dos
principios especiales: (1) ab = ba y (2) aa = a. En su primer intento por
desarrollar un tal clculo, se bas en la analoga (ya mencionada) entre
nmeros compuestos y conceptos compuestos.
En el segundo clculo, Leibniz produjo un marco axiomtico con las siguientes
proposiciones verdaderas de por s:
(1)

A es A;

(2)

AB es A;

(3)

A es no no-A;

(4)

no-A no es A;

(5)

Lo que no es A es no-A;

(6)

Lo que no es no-A es A;

Y una consecuencia verdadera de por s Si A es B y B es C, entonces A es C.

Los principios de este clculo fueron:
(1)

Al escribir AB es A es verdadera, incluimos BC es B es verdadera o CD es

C es verdadera. Es decir, las letras A, B, C son variables lgicas.

(2)

AB es equivalente a BA.

(3)

AA es A, (No tiene caso repetir la misma letra en el mismo trmino.)

(4)

Se puede construir una proposicin a partir de varias proposiciones

combinando todos los sujetos en un sujeto y todos los predicados en un
predicado. A es B, C es D, E es F nos da ACE es BDF.

(5)

De una proposicin cuyo predicado est compuesto por varios trminos

es posible hacer varias proposiciones con el mismo sujeto. De A es BCD
podemos concluir A es B, A es C, A es D.

Con estas armas Leibniz intent expresar las cuatro formas de proposiciones
categricas de la silogstica, a saber:
Todo A es B AB = A.
Algn A no es B

AB A.

Ningn A es B

AB AB ens.

Algn A es B

AB = AB ens.

En este esquema, ens puede entenderse por algn o algunos. Segn nos dice
Kneale, es claro por el contexto que Leibniz estaba pensando en posibilidad o
compatibilidad. AB = AB ens significara que A y B son compatibles. De esta
manera, se dara un enfoque intensional (de atributos) al lado del enfoque
extensional (de clases). Es en este sentido de permitir ms de una
interpretacin a los smbolos que decimos que la lgica de Leibniz se acerca al
espritu moderno a la vez que se distancia de las premisas ms caras de una
lingua characterica (correspondencia estricta o biunvoca entre el signo y lo
significado).
Ahora bien, en una versin modificada de este sistema simblico Leibniz,
seducido por los smbolos, rompe con los principios ontolgicos de la lgica
aristotlica en forma contundente.
El gran respeto que tuvo por Aristteles conllevara el abandono de su
bsqueda de un lenguaje simblico perfecto. Slo expondremos las primeras
proposiciones generadas por Leibniz, ya que ellas resultan ser suficientes para
detectar el rompimiento con a lgica tradicional. Por otra parte, hacemos
nfasis en que la distancia entre esta lgica simblica y una lengua filosfica
que reflejara perfectamente la realidad no podra ser ms grande.
En este tercer clculo, Leibniz utiliza el smbolo ms para denotar
combinacin de conceptos, pero para diferenciar entre ste y el smbolo de
adicin numrica, lo encierra en un crculo as: +
Definicin 1. Trminos se dicen coincidentes si pueden sustituirse el uno por
el otro cuando se quiera sin alterar la verdad de un enunciado. A = B significa
que A y B son lo mismo.
Definicin 2. Trminos que no son iguales, es decir, trminos que no pueden
sustituirse el uno por el otro, son diferentes. A B significa que A y B son
diferentes.
Proposicin 1. Si A = B, entonces tambin B = A. Pues, ya que A = B (por
hiptesis) se sigue que (por la definicin 1) que en el enunciado A = B
(verdadero por hiptesis) B puede sustituirse por A y A por B; de ah B = A. 1
Proposicin 2. Si A B, entonces tambin B A. De otro modo, tendramos B
= A y, en consecuencia (por la proposicin anterior) A = B, que es contrario a
la hiptesis.
Proposicin 3. Si A = B y B = C, entonces A = C. Pues, si en el enunciado A =
B (verdadero por hiptesis) se sustituye B por C (por la definicin 1 y porque B
= C), el enunciado resulta ser verdadero.
Proposicin 4.
Si A = B y B C, entonces A C. Pues, si en la proposicin
* C (verdadera proposicin por hiptesis) se sustituye A por B, tenemos (por la
definicin 1, ya que A = B) la verdadera A C
Definicin 3. Decir que A est en L, o L contiene a A, es lo mismo que decir
que L puede hacerse coincidir con una pluralidad de trminos tomados

conjuntamente, uno de los cuales es A. B + N = L significa que B esta en L y

que B y N Tatamente componen o constituyen L. lo mismo sucede para un
nmero mayor de trminos.
Axioma 1. B + N = N + B,
Postulado. Cualquier pluralidad de trminos, como A y B puede sumarse para
componer un solo trmino.
La simbologa sugiere este postulado; parece clara y consecuente la posibilidad
de efectuar cualquier combinacin de smbolos Pero, esta posibilidad simblica
deja atrs la premisa de que la lgica debe hablar de lo que es. Pues al hacer
combinaciones arbitrarias de smbolos, surge la posibilidad de definir trminos
vacos, es decir, trminos que carecen de ejemplificaciones (Considrese A + B
+ C donde A significa cuadrado, B rojo y C circular). De esta manera la misma
lengua simblica genera una situacin que rompe abiertamente con el
tradicional prejuicio ontolgico de la lgica aristotlica.
Lo que hemos visto es suficiente para sustentar nuestra conviccin de que las
lgicas simblicas realizadas por Leibniz, a pesar de los objetivos que
expresaba cuando hablaba de una lengua filosfica, no son aristotlicas. Los
smbolos son susceptibles de varias interpretaciones: lgica de clasesgeometra, enfoque intensional-enfoque extensional. Los smbolos pueden
combinarse libremente sin referencia a su significado individual ni colectivo.
Contrastemos su pleno reconocimiento de que el sistema simblico que haba
desarrollado era susceptible de ms de una interpretacin con sus sueos de
crear una lengua filosfica en la cual el mismo propsito del simbolismo es
ausencia de ambigedad en cuanto al significado. Contrastemos tambin el
propsito de reflejar la realidad y las relaciones reales con relaciones entre las
respectivas expresiones simblicas con la apertura hacia combinaciones
arbitrarias de smbolos y conceptos. Este contraste sita a Leibniz en el filo de
la navaja entre la filosofa antigua y la filosofa contempornea de la
matemtica.
Al respecto, dice Bertrand Russell:
Realiz trabajos en la lgica matemtica que habran sido
supremamente importantes si los hubiera publicado; en tal caso habra
sido el fundador de la lgica matemtica que se habra conocido un siglo
y medio antes de que en efecto se conociera. Se abstuvo de publicar
porque repetidamente encontr evidencia de que la doctrina aristotlica
del silogismo era incorrecta en algunos puntos; su respeto por
Aristteles
hizo
imposible
que
creyera
esto,
as
supuso
equivocadamente que los errores deban ser suyos.
Leibniz no logr despojarse de sus vestiduras aristotlicas y sus ideas ms
importantes permanecieron sin divulgar hasta unos 150 aos despus de su
muerte cuando tuvieron influencia precisamente sobre el pensamiento de los
matemticos de las dcadas finales del siglo XIX quienes pudieron

aprovecharlas en virtud del ambiente abierto que sigui a la crisis precipitada

por las geometras no euclidianas.
Punto de discusin
Las lenguas habladas, aunque generalmente tiles para el pensamiento
discursivo, no obstante estn sujetas a un sinnmero de ambigedades de
significado y no pueden ofrecer las ventajas de un clculo, las cuales se
encuentran particularmente en la habilidad de descubrir errores de deduccin
que derivan de la estructura de las palabras. Esta maravillosa ventaja hasta
ahora la ha ofrecido nicamente los smbolos de la aritmtica y el lgebra
donde la deduccin consiste simplemente de usar smbolos donde un error de
clculo es lo mismo que un error de pensamiento.