EPISTEME NS, VOL. 30, N 1, 2010, pp.

105-128

NOTAS Y DISCUSIONES

Kinverly Garca

Anlisis de la proposicin en G. W. Leibniz

Resumen: Se presenta un anlisis y discusin de la estructura de la proposicin

segn Leibniz; la interpretacin contrasta la tradicional exgesis de B. Russell con
las investigaciones de Church, presentadas en el artculo Proposiciones y Oracio-
nes, y de Heijenoort, en Subject and Predicate in Western Logic.
Palabras clave: proposicin, Russell, Church.

Analysis of proposition in G. W. Leibniz

Abstract: An analysis and discussion is presented on the structure of proposition

according to Leibniz; the interpretation contrasts the Russells traditional exegesis
with Church and Heijenoort investigations, specially their articles Propositions
and sentences and Subject and predicate in Western Logic.
Keywords: Proposition, Russell, Church.

La obra lgica de Leibniz adquiri significacin relevante en la historia

de la filosofa, a comienzos del siglo XX, con los avances en lgica matemtica
y la tesis doctoral de Bertrand Russell titulada Exposicin crtica de la filosofa de
Leibniz1, en conjunto con las recopilaciones hechas por el lgico francs Louis
Couturat en La logique de Leibniz2 y en Opuscules et fragments indits de Leibniz3.
Russell crea que era en la lgica y, fundamentalmente, en la estructura
proposicional, basada en la forma de juicio aristotlico, compuesto por sujeto
1
Russell, B., Exposicin crtica de la filosofa de Leibniz, Buenos Aires, Editorial Siglo
Veinte, 1977.
2
Couturat, L., La Logique de Leibniz, Paris, 1901. Reprint Hildesheim (Olms),
1961.
3
Couturat, L., (ed.), Opuscules et fragments indits de Leibniz, Paris, 1903, reprint Hil-
desheim (Olms), 1960.
106 episteme ns, vol. 30, n 1, 2010, pp.105-128

y predicado, donde se fundamentaba todo el desarrollo de los trabajos meta-

fsicos de Leibniz. Las consideraciones de las que parti Russell para sostener
tal hiptesis vienen asociadas a la definicin de sustancia individual dada por
Leibniz en el pargrafo 8 del Discurso de Metafsica (1686):
la naturaleza de una substancia individual o de un ser completo es
tener una nocin tan acabada que sea suficiente para llegar a compren-
derla y para permitir la deduccin de todos los predicados del sujeto,
al que esta nocin le es atribuida4.
La nocin completa de una sustancia individual involucra la absoluta
contencin de cada uno de los atributos que le son predicados; mediante esta
definicin, Leibniz desarrolla la tesis de la inherencia o comprehensin de las
proposiciones, pues todo lo que encierra una nocin completa de una sustan-
cia individual, estar constituido por el conjunto de predicados que forman
parte de la nocin del sujeto. Inherencia, en estos trminos, quiere significar
anlisis conceptual o intensional de las proposiciones.
En la Correspondencia con Arnauld (1686), Leibniz precis su definicin de
sustancia en trminos lgicos afirmando que: en toda proposicin afirmativa
verdadera, necesaria o contingente, universal o singular, la nocin del predica-
do est comprendida, en cierto modo, en la del sujeto5.
La complejidad de la estructura de la proposicin, elaborada por Leibniz,
exige necesariamente un anlisis cuidadoso de cada uno de sus componentes,
entre ellos principalmente aquel que est relacionado con la definicin del
trmino proposicin, ya que en la historia de la lgica se pueden rastrear al me-
nos dos consideraciones distintas sobre el tema, siendo el artculo de Church
titulado Proposiciones y Oraciones una buena referencia para comprender
la significacin y los usos del trmino, y as poder ubicar a Leibniz dentro de
alguna de estas interpretaciones.
Desde los Begriffsschrift (1879) de Frege, la comprensin de la unidad m-
nima de anlisis cambi, pasando de la tradicional forma de juicio aristotlico,
compuesto de sujeto y predicado, a la interpretacin matemtica de funcin
argumento, donde los predicados tratan sobre referencias mltiples de indi-
viduos y no exclusivamente de propiedades o trminos simples.
Heijenoort en el artculo Subject and Predicate in Western Logic pro-
porciona las herramientas suficientes para entender los distintos usos de las
palabras sujeto y predicado, haciendo referencia a los diversos enfoques del tema,

4
Leibniz, G., Discurso de Metafsica, Buenos Aires, Editorial Charcas, 1982, 8.

5
Leibniz, G, Correspondencia con Arnauld, Buenos Aires, Editorial Losada, 1946, del
14/07/1686, p. 64.
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
107

bien sea desde la perspectiva de la lgica tradicional, la gramtica o la lgica

moderna.

1. Sobre la proposicin en general.

La palabra proposicin proviene del griego cuya traduccin al
castellano equivaldra a la palabra premisa. Posteriormente fue llevada al latn
como propositio, pero esta vez sufri una modificacin en la traduccin del
trmino, entendiendo ste como un juicio o una oracin aseverativa ms su
contenido6.
Para Pedro de Espaa, quien de acuerdo a Church conserva la signifi-
cacin utilizada por Boecio, una proposicin reviste la forma de un juicio en
conjunto con su vox significativa. Este significado de la palabra proposicin
ser el adoptado por los escolsticos y post-escolsticos queriendo equiparar
el trmino proposicin con una oracin especfica, es decir, lo caracterstico de
una proposicin ser la estructura gramatical o la forma lingstica en la que
sea articulada; se dice que:
propositio es oratio de cierta especie, y oratio a su vez es vox de cierta
especie [] por consiguiente, si la vox, la forma de las palabras es
diferente, debe decirse que la proposicin es diferente, aunque todo
lo dems sea igual7
En la lgica moderna, se ha interpretado la palabra proposicin en un sen-
tido abstracto como un conjunto de oraciones aseverativas con el mismo sig-
nificado, por ejemplo, las oraciones el mar es azul y azul es el mar perte-
necen a la misma proposicin y se les atribuyen el mismo valor de verdad. En
cambio, las preguntas, exclamaciones o interjecciones nicamente manifiestan
un sentimiento y no un juicio: expresan actos que pueden ser catalogados de
afortunados o desafortunados, mas no de verdaderos o falsos. La ampliacin
de este significado, permite la separacin de aquello que se entiende por pro-
posicin y su forma gramatical: la oracin aseverativa.
Church establece una distincin entre las tradicionales proposiciones
escolsticas y las modernas; llama a las ltimas proposiciones en sentido abstracto,
ya que en ellas se hace a un lado la materia o la forma como se expresa una
oracin y slo trata de su contenido, en otras palabras:
A diferencia de la proposicin tradicional, de una proposicin en sen-
tido abstracto no puede decirse que pertenezca a ningn lenguaje; no

6
Cf. Church, A., Proposiciones y oraciones en Simpson, T., Semntica filosfica:
problemas y discusiones, Argentina, Siglo Veintiuno, Argentina editores, 1973, p. 343.

7
Ibid., p. 344.
108 episteme ns, vol. 30, n 1, 2010, pp.105-128

es algo constituido por palabras [a form of words], ni es una entidad

lingstica de ninguna especie, excepto en el sentido de que puede
obtenerse del lenguaje por abstraccin8.
Una proposicin, segn este sentido, ser una entidad abstracta inde-
pendiente que diferir de una oracin; la primera representa el contenido o
significado que se entiende y se conserva en una serie de signos o palabras que
se estructuran de acuerdo a la sintaxis o gramtica de un lenguaje determina-
do; mientras que la segunda, remite a los signos o palabras de esta gramtica
particular.
Luis vende galletas o Las galletas son vendidas por Luis, constitu-
yen dos oraciones gramaticalmente distintas, con diferente sujeto gramatical
y, sin embargo, ambas expresan el mismo significado o pertenecen a la misma
proposicin. Una proposicin, en sentido abstracto, no ser una forma lin-
gstica o sintctica, esto es, una mera oracin aseverativa, sino que involucra
el contenido significativo9.
El significado de una oracin, por lo general no-aseverativa, puede variar
de acuerdo al contexto en el que se emplea y de acuerdo a la voz o entonacin
utilizada para transmitirla y as se dice que cambia el enunciado de la oracin.
Un enunciado de proposicin aseverativa mantiene el significado a pesar de
que sea expresado con otras palabras y esto se debe a que un enunciado invo-
lucra una asercin que remite al significado de la oracin aseverativa, a saber,
su verdad o falsedad.
A la oracin que expresa una proposicin se le llama oracin declarativa
o aseverativa, de modo que cuando Leibniz sugiere que toda proposicin debe
tener en ltima instancia la forma S es P, indica que la proposicin expre-
sada por la oracin declarativa tiene la forma sujeto y predicado, en el sentido
tradicional del cuadro de oposicin aristotlico y correspondiente a algunas de
las formas A, E, I, O. De acuerdo con esto, situaramos a Leibniz dentro de
aquellos que se refieren a las proposiciones en sentido abstracto, ya que muy
claramente l afirm en los Nuevos ensayos que la verdad no puede radicar en
las expresiones lingsticas:
lo que menos me gusta de vuestra definicin de la verdad consiste
en que en ella la verdad se busca en las palabras. De dicha manera, una
misma idea expresada en latn, alemn, ingls o francs no sera una
misma verdad10.

Ibidem
8

Cf. Ibid., p. 345

9

10
Leibniz, Nuevos ensayos sobre..., cit., Libro 4, V, p. 471.
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
109

Leibniz, en oposicin a los nominalistas, no estaba de acuerdo en que

la verdad dependa de los caracteres o signos empleados para expresar los
estados cosas, ni tampoco era de la creencia de que sta haba de buscarse en
las cosas mismas, sino que pertenece a las proposiciones o pensamientos11 y,
como ha de observarse, los pensamientos adquieren la forma de juicios.
En lo que respecta a la lectura tradicional de la proposicin, lo que
Leibniz mantiene es su significacin como un juicio. En el sentido tradicional
aristotlico del trmino, proposicin se lee como un pensamiento o juicio que
est compuesto por un sujeto, verbo copulativo (en presente) y predicado.
Leibniz no lleg a sobrepasar los lmites de la concepcin aristotlica de los
juicios, de manera que cuando se habla de la proposicin S es P se sobre-
entienden proposiciones categricas aristotlicas, donde la cuantificacin de
los trminos involucrados se interpreta como relaciones entre sustancias se-
gundas. Esto compromete la ontologa de Leibniz con todas las presuposicio-
nes existenciales que permiten demostrar los llamados silogismos defectivos
Darapti, Felapton, Barbari, Fesapo, Celaront, Cesaro, Camestrop-.
Frege modifica la estructura proposicional silogstica concebida como
sujeto predicado y propone una formulacin de carcter matemtico basada
en las nociones de funcin-argumento.
La proposicin entendida en sentido tradicional y la abstracta o moder-
na, no slo se distinguen porque en la primera juega un papel relevante la
formulacin lingstica, sino porque segn el uso tradicional nicamente los
juicios estarn compuestos por los trminos sujeto y predicado, mientras que
en la interpretacin moderna se logra una mayor apertura, siendo considera-
das proposiciones tanto las categricas como muchas no-categricas (llueve o no
llueve).

2. Qu se entiende por sujeto y predicado?

Debemos procurar no confundir los trminos, ya que no es lo mismo
hablar de sujeto y predicado en el sentido lgico que en el gramatical, ni me-
nos an en el ontolgico. En esta investigacin los trminos sujeto y predicado
se interpretan como objetos lingsticos sin que ello presuponga la existencia
o realidad de entidades y sus atributos, propiedades o cualidades, o dicho en
palabras aristotlicas, tratara sobre los trminos sujeto y predicado dentro de
un silogismo categrico.
De acuerdo a la disciplina que se trate, el uso de las expresiones sujeto y
predicado cambiar considerablemente. Para un gramtico una oracin estar

11
Cf. Leibniz, Dilogo sobre la..., cit., p.174.
110 episteme ns, vol. 30, n 1, 2010, pp.105-128

compuesta por uno o varios elementos lingsticos entre ellos el sujeto, el

verbo y el complemento. Siendo el sujeto la palabra o expresin anterior al
verbo que no involucra necesariamente referencia a individuos, y el predicado
es la expresin que proporciona el sentido completo de la oracin estando el
verbo incluido en l.
Desde el punto de vista de la lgica moderna se entiende por sujeto una
expresin denotativa que refiere a individuos, mientras que el predicado o expresin
predicativa, para unos denota propiedades o relaciones que pertenecen o no a
los individuos (Frege, Russell); para otros (Hobbes, Quine) los predicados son
meros artificios para la referencia mltiple abreviada12.
Por ejemplo, en la oracin Aristteles era discpulo de Platn, tanto
Aristteles como Platn son individuos a los que refieren las expresiones denotati-
vas y ser discpulo de corresponde a la expresin predicativa. En cambio, para un
gramtico Aristteles cumple la funcin de sujeto, y discpulo de Platn la
del predicado, no considerando dos sujetos como lo hara un lgico, sino uno.
En este sentido lgico, una oracin tendr la forma sujeto predica-
do cuando involucre una expresin predicativa perteneciente a una expresin
denotativa. Valga decir que, desde este punto de vista, las oraciones siempre
estarn enmarcadas dentro del universo del discurso, o tratarn sobre la clase
o conjunto de individuos que pertenecen a ese universo. De modo que, si se
considerara el conjunto de individuos, Juan, Mara y Pedro y las expresiones
predicativas ser madre, Abuelo y estar inmediatamente a la derecha, se puede afirmar
que la primera slo le corresponde al conjunto en el cual Mara es el nico in-
dividuo; en la segunda se podra aplicar tanto a Juan como a Pedro o a ninguno,
y el ltimo estara compuesto por Mara y Pedro, suponiendo que mantenemos
el orden lexicogrfico.
Resulta muy difcil, luego de leer a Leibniz, evitar confundir los planos
gramaticales, lgicos y ontolgicos, pues como veremos ms adelante, Leibniz
pretende realizar toda una serie de reducciones de oraciones relacionales que
involucraran dos individuos - como en el caso de Aristteles era discpulo
de Platn - a una de la forma sujeto predicado, incluyendo el predicado al
segundo sujeto de la proposicin (Platn). De ser as, nuestro filsofo esta-
ra actuando como un gramtico. Ahora bien, en Leibniz se pueden rastrear
varias formas de predicacin, a saber: como gnero, definicin, propiedad o
atributo, accidente y como acontecimiento. En la proposicin Todo hombre
es un animal racional se evidencia tanto la definicin como el predicado por
gnero. Decir El hombre sabio es piadoso adscribe una propiedad o un atri-
Cf. Heijenoort, J., Subject and Predicate in Western Logic, en Philosophy East
12

and West, Vol. 24, No. 3, University of Hawaii Press, 1974, p. 254.
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
111

buto del sujeto. Alejandro Magno es rey denota un accidente y por ltimo,
un predicado de un suceso sera Cesar franque el Rubicn. Pero si Leibniz
asume que un predicado es una propiedad, un acontecimiento o un atributo,
entonces se estara moviendo en el plano ontolgico y quiz est equiparando
la lgica con la ontologa.
Todava queda un aspecto por revisar y es por qu Leibniz pasa indiscri-
minadamente a hablar de los trminos sujeto y predicado a los conceptos de sujeto
y predicado13, pues no slo se refiere al predicado como concepto o la defini-
cin del trmino, sino a los conceptos de los trminos predicado y sujeto.

3. Del concepto o nocin.

En esta seccin no intentaremos proporcionar una definicin del tr-
mino concepto en general, sino que nos limitaremos a tratar de entender
su significacin enmarcada en el contexto de la lgica leibniziana que, como
ha quedado evidenciado, est fundada en la nocin de inherencia o, en otras
palabras, en la inclusin de la nocin del predicado en la nocin del sujeto,
entendido el in esse como un anlisis conceptual (intensional).
El concepto no se refiere a los signos que se utilizan para expresarlo,
porque distintos signos pueden expresar el mismo concepto - como ocurre
con las palabras sinnimas- o un mismo signo, distintos conceptos en el
caso de las homnimas. Ms bien, el concepto es de carcter semntico, es
decir, constituye aquello que los individuos entienden por mediacin de las
palabras significadas.
Los usos de las palabras sufren transformaciones en el curso del tiempo.
Por consiguiente, se establecen convencionalmente signos que tienen como
finalidad el uso en un lenguaje pblico o de comunicacin efectiva de masas.
Sin embargo, desde la perspectiva de Leibniz, el trmino concepto no es relativo
al uso que le d cada individuo14, ni tampoco es una expresin universal que
agote todo el significado del trmino. Ms bien, Leibniz parece mediar entre
estos dos puntos: la objetividad y el convencionalismo de las palabras signifi-
cadas por el concepto.

13
As pues, es preciso que el trmino del sujeto encierre siempre al del predicado,
de modo que quien entienda perfectamente la nocin del sujeto juzgue tambin
que el predicado le pertenece. Leibniz, Discurso de Metafsica, cit., 8.
14
Por ejemplo, J. Fodor era de esta creencia, lo cual puede observarse en el siguiente
enunciado Suppose, for example, its assumed that your concept PRESIDENT
is similar to my concept PRESIDENT in so far as we assign similar subjective
probabilities to propositions that contain the concept. Fodor, J., Concepts, Where
Cognitive Science Went Wrong, N.Y, Oxford, 1998, p. 32.
112 episteme ns, vol. 30, n 1, 2010, pp.105-128

Los conceptos pueden ser oscuros o claros15 y, bajo esta ltima clasificacin
se dividen en distintos o adecuados16, dependiendo del grado con que los indivi-
duos conozcan los conceptos primitivos que forman parte de su nocin.
Un concepto ser oscuro o confuso cuando no se pueda determinar o enu-
merar con precisin los atributos de la entidad a la que remite, mientras que
cuando se pueden reconocer y distinguir las propiedades de una cosa en re-
lacin a otra estamos en presencia de un concepto claro, pero slo a ttulo
nominal, pues no se conoce el porqu o la causa de las diferencias. Ahora,
toda vez que un individuo pueda realizar el anlisis completo de los trminos,
hasta alcanzar las nociones primitivas, posee un conocimiento adecuado de los
trminos y es esto lo que permite la definicin real.
Cuando Leibniz sostiene que quien conoce la naturaleza del oro sabe que
la propiedad de metal le pertenece y forma parte de su definicin, est pen-
sando en un sujeto cuyo conocimiento conceptual es adecuado y comprende
no solamente el significado de las palabras, sino que tambin puede realizar
el anlisis. En este orden de ideas, el conocimiento de los conceptos tiende a
ser objetivo.
Parkinson establece una diferencia entre lo que puede ser llamado un
concepto de y el concepto de. Un concepto tiene un valor subjetivo y tempo-
ral. Es suficiente con que el signo diga algo para la persona, mientras que el
concepto es aquello que no cambia y presupone la comprensin semntica
de la palabra significada. En palabras de Parkinson: En general, para que
alguien tenga un concepto de X basta que la palabra X signifique algo para l;
pero para que tenga el concepto de X, tiene que conocer el significado de la
palabra X 17.
En el anlisis de las proposiciones se requiere conocer cada uno de los
componentes primitivos que constituyen los conceptos complejos.
Leibniz sostuvo la idea de que todo concepto complejo resulta por con-
juncin de conceptos simples o primitivos, de manera anloga a como las
letras del alfabeto componen las palabras, as los conceptos primitivos permi-
ten formar los conceptos complejos18. Por este medio pude descubrir cierto
alfabeto de los pensamientos humanos y que mediante la combinacin de las
15
Leibniz, Discurso de Metafsica, cit., 24.
16
Ibidem.
17
Parkinson, G.., La naturaleza de la proposicin en Tres textos metafsicos, Colombia,
Editorial Norma, 1996, p. 60.
18
todos los pensamientos humanos se resuelven en algunos muy pocos, que
son los primitivos. Si a estos pensamientos se les asignan caracteres, a partir de
ah se pueden formar caracteres de las nociones derivadas Leibniz, G., Signos
y clculo lgico en Escritos filosficos, Buenos Aires, Charcas, 1982, p.190.
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
113

letras de ese alfabeto y el anlisis de las palabras formadas de esas letras podan
descubrirse y juzgarse, respectivamente, todas las cosas19.
Leibniz desde 1666 estuvo desarrollando la idea de la Combinatoria y
posteriormente en pocas de mayor madurez concentr sus investigaciones
en la Caracterstica Universal. El proyecto de construccin de un lenguaje ra-
cional tena como objeto acabar con las ambigedades de los lenguajes natu-
rales, toda vez que permitiera elaborar un lenguaje formal semejante al de la
aritmtica que empleara signos o caracteres simples tales como los nmeros
primos. Esta investigacin que Leibniz mantuvo durante toda su vida pre-
tenda aproximarse a la denominada lengua adnica20 o lengua primitiva de los
hombres.
Leibniz hizo notar que siempre hay un elemento constante que puede
atribuirse a cualquier fenmeno de la naturaleza y ste es el nmero, ya que
segn el pensamiento de este estudioso, todo cuanto existe es susceptible de
admitir numeracin. Por consiguiente, a cada cosa se le puede asignar un n-
mero caracterstico mediante la combinatoria. Para la construccin de la len-
gua racional se requera la elaboracin de una enciclopedia terminolgica que
abarcara cada uno de los trminos empleados en las ciencias, de tal forma que
posteriormente pudiera asignrsele su nmero caracterstico21.
En virtud de las dificultades por las que tropieza al tratar de descubrir
cul ha de ser el nmero caracterstico que le corresponde a cada concepto
primitivo, decide trabajar con signos arbitrarios22, pues nota que la validez
de un razonamiento o silogismo no depende de la materia o signo empleado
para formalizarlo, sino que puede ser demostrado en virtud de su forma. As,
toda posible asignacin de valores, que permita demostrar que si se cumplen
las premisas, entonces tambin se cumple la conclusin, ha de ser vlida. En
palabras del propio Leibniz:
es muy difcil asignar nmeros caractersticos a aquellas cosas dife-
rentes de otras, por eso invent, si es que no me equivoco, un elegante
recurso con el que se puede mostrar que es lcito comprobar los ra-
zonamientos mediante nmeros. En efecto, supongo que se asignan
aquellos nmeros caractersticos tan admirables y despus de observar
19
Leibniz, G., Historia y elogio de la lengua o caracterstica universal en Escritos
filosficos, Buenos Aires, Charcas, 1982, p. 167.
20
Cf. Ibid., p. 165.
21
Ahora se requiere solamente que se constituya la caracterstica que persigo, en
cuanto pueda satisfacer la gramtica de una lengua tan admirable y el diccionario
de la mayor parte de las palabras ms usadas, o lo que es lo mismo, que se con-
sideren los nmeros caractersticos de todas las ideas.Ibid., p. 169.
22
Cf. Leibniz, Signos y clculo lgico..., cit, pp. 190-191.
114 episteme ns, vol. 30, n 1, 2010, pp.105-128

una cierta propiedad general de ellos, adopto entretanto tales nmeros,

cualesquiera sean, congruentes con esa propiedad y luego de aplicarlos
demuestro y presento inmediatamente con admirable razn todas las
reglas de la lgica mediante nmeros, de modo que se pueda conocer
si algunas argumentaciones son buenas por su forma23.
De ah que nuestro filsofo utilice como analoga tanto la aritmtica
como la geometra, en las cuales el valor de verdad se establece de acuerdo a
las reglas, principios o leyes sobre las que descansan.
Este quiebre en el pensamiento leibniziano sobre la Caracterstica lo aproxi-
ma an ms a la interpretacin formal o simblica de la lgica moderna, en
tanto sta no requiere de smbolos caractersticos asignados a principios pri-
marios, si no que se vale de esquemas de frmulas para sus demostraciones.
En un primer estadio de su investigacin en 1679, Leibniz utiliza nume-
rales y las operaciones de multiplicacin o divisin donde a cada concepto
primitivo se le asignara un nmero primo y a travs de la multiplicacin o
producto de un nmero con otro se obtendran los conceptos compuestos,
o por medio de la divisin de trminos compuestos se podra determinar si
los conceptos ms simples estaban o no contenidos en sus nociones: por
ejemplo, puesto que el hombre es un animal racional, si el nmero de animal
es a, por ejemplo, 2 y el nmero de racional es r, por ejemplo 3, el nmero de
hombre, o h, podra ser 2x3 o 624
Segn el ejemplo anterior, al analizar el nmero caracterstico 6 perte-
neciente a una nocin compuesta hombre, se revelara que es el producto de
los factores primos 2 y 3 que corresponden a nociones primitivas tales como
animal y racional, pues son representadas por nmeros primos, ya que ellos
mismos no son factorizables, lo cual quedara representado de la siguiente
manera:
Hombre = animal racional
6=23
h = ar
Pocos meses despus, en 167925, y ya definitivamente a partir de 1690,
Leibniz abandona la utilizacin de los signos numricos y pasa a trabajar con
letras y la operacin de suma que indica la inclusin de los conceptos26. Ya
para esta fecha utiliza una formalizacin ms abstracta que se aproxima a la
algebraica.
23
Ibid., pp.171-172.
24
Loemker, Philosophical papers and, cit., p.26.
25
Loemker., Specimen of Universal, cit., 241 ss.
26
Cf. Ibid., Specimen of Universal Calculus y A Study in the Logical Calculus.
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
115

Adems de los elementos sintcticos en el proyecto de la combinatoria

hemos de distinguir, en trminos contemporneos, ciertos aspectos semn-
ticos que por abreviar llamaremos la semntica de Leibniz. Reconocemos
algunos elementos que nos permiten relacionar los trabajos de la Caracterstica
con un anlisis componencial o semntico, similar al empleado por la lings-
tica moderna. Creemos que se puede rastrear en Leibniz el germen de las fu-
turas investigaciones sobre una interpretacin de la significacin de los rasgos
o componentes lingsticos, como el desarrollado por Katz y Fodor en 1963,
cuyo estudio pretenda hallar mediante la divisin de las palabras sus compo-
nentes semnticos bsicos y a travs del conocimiento del significado de los
lexemas se podra comprender la significacin de las oraciones compuestas
por estas palabras. Fodor era de la creencia que Intuitivamente, alcanzar los
conceptos compuestos es alcanzar la sintaxis y el contenido de un concepto
complejo y ste es normalmente determinado por la sintaxis y el contenido de
sus constituyentes27.
Una unidad mnima semntica que provea los rasgos de una palabra,
proporcionara los elementos necesarios para determinar a cul unidad lxica
refiere y por combinacin de estos rasgos se obtendran la totalidad de las
palabras que constituyen el diccionario de un lenguaje natural determinado28.
Por medio del anlisis componencial se trata de hallar los rasgos semn-
ticos que constituyen los lexemas, lo cual permitira distinguir la significacin
de un trmino con relacin a otros.
Katz Fodor, a partir de la gramtica generativa de Chomsky, desarrollaron
la teora del significado de la oracin -calificada de esta manera por Lyons29- don-
de es la estructura profunda la que refiere al significado de la oracin. En este sen-
tido, se dira que la estructura sintctica revelara y determinara el significado de
una oracin, puesto que una revisin ascendente de los lexemas ms bsicos y en-
traables de la oracin permitira la comprensin del significado y la construccin
de una oracin con una frmula bien formada. De ah que sea composicional,
porque en la medida en que se comprendan las unidades mnimas o sus compo-
nentes lingsticos, ser posible entender toda la carga de significado contenida
27
Intuitively, the claim that concepts compose is the claim that the syntax and
the content of a complex concept is normally determined by the syntax and
the content of its constituents. Fodor, Concepts, Where Cognitive, cit., p. 94.
(Traduccin nuestra).
Desde el punto de vista semntico, la estructura lxica de una lengua la estructura
28

de su vocabulario- se puede considerar como una red de relaciones de sentido: es

como una tela en la que cada hilo es una relacin y cada nudo de la tela es un lexema
diferente Lyons, J., Semntica lingstica, Barcelona, Editorial Paids, p. 129.
Cf. Ibid., p. 236.
29
116 episteme ns, vol. 30, n 1, 2010, pp.105-128

en la oracin. La semntica generativa pretenda ser de carcter universal al esta-

blecer un conjunto de reglas formales aplicable a todos los lenguajes naturales.
El mtodo de descomposicin lxica, empleado por los semnticos en el
anlisis composicional, es semejante al utilizado en la teora de la definicin en
general y, particularmente, en la teora leibniziana del anlisis conceptual, cuyas
nociones complejas se derivan de las primitivas. Lyons utiliza como metfora
una red para ejemplificar la complejidad y multiplicidad de las relaciones que
se dan entre los lexemas, mientras que Fodor expone esta red semntica como
un rbol cuyas ramificaciones revelan los rasgos semnticos de los lexemas.
En palabras de Fodor: Asumiremos, como en la teora de la definicin, que
los conceptos lxicos son tpicamente complejos. En particular, un concepto
lxico es un rbol consistente de nombres de propiedades taxonmicas y sus
rasgos30. Este mtodo de ilustracin taxonmica ya se revela en el rbol de
Porfirio con la clasificacin dicotmica de gnero y especie.
Esta divisin y subdivisin de conceptos permite mediante la descom-
posicin lxica determinar los factores comunes de los tomos de significado,
pudiendo interpretar cada lexema como el producto de los rasgos o factores
comunes. Por ejemplo, en las unidades lxicas de Hombre y Mujer el factor
comn vendra a ser humano y adulto, unido al rasgo distintivo provisto por el
sexo: macho o su negacin, hembra (no -macho), lo cual quedara formalizado
de la siguiente manera:
Hombre = (macho adulto humano, - dentro de la unidad Humano estara
(animal racional)- pero mediante el uso de reglas de recursividad se asumira
la inclusin de la animalidad y la racionalidad dentro de la humanidad, que por
cuestin de economa no sera necesario colocar.
Mujer = (no - macho adulto humano)
En cuanto a la representacin del anlisis lxico, ntese la utilizacin de
la operacin matemtica de multiplicacin, similar al tratamiento que le dio
Leibniz a su lenguaje universal desarrollado en la Caracterstica. Sin embargo,
existen otras maneras de formalizar el anlisis, como el utilizado por los gra-
mticos generativos (seguidores de Chomsky) quienes se sirven nicamente
de los operadores lgicos de negacin (-) y conjuncin (&), eliminando la
partcula de negacin no para establecer una interpretacin binaria donde
se representen los valores complementarios, a saber: MACHO, - MACHO
(hembra) ADULTO, - ADULTO (joven o nio).

We continue to assume, as with the definition theory, that lexical concepts are
30

typically complex. In particular, a lexical concept is a tree consisting of names

of taxonomic properties together with their features. Fodor, Concepts, Where
Cognitivecit,. p.90. (Traduccin nuestra).
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
117

De acuerdo con esta formalizacin la unidad lxica Mujer quedara

de la siguiente manera:
Mujer = (HUMANO & - MACHO & ADULTO)31. No obstante, es
importante hacer la salvedad de que esta interpretacin binaria se apartara
de la simbologa empleada por Leibniz.
Retomando el desarrollo leibniziano, vale la pena destacar que con el
nuevo lenguaje simblico de la Caracterstica, pretenda emular la formaliza-
cin de la aritmtica y la geometra, pero aplicado a los conceptos, de suerte
que si a cada concepto primitivo se le pudiera asignar un nmero caracte-
rstico, los conceptos derivados se obtendran por adicin, multiplicacin
o divisin de los simples, permitiendo este mtodo realizar derivaciones,
demostraciones y clculos como los empleados por los gemetras. Median-
te este procedimiento, Leibniz supona que, ante cualquier discusin sobre
problemas filosficos o de otra ndole, slo hara falta calcular para resolver-
los. Por este medio, pensaba que se alcanzara un modo de razonar anlogo
a la actividad propia de Dios, puesto que Cuando Dios calcula y ejerce el
pensamiento, hace el mundo32. Y mientras ms cercano sea el modo de
razonar de los individuos al Divino, ms perfecto y adecuado ser.
Leibniz, con sus esbozos de construccin de una lengua racional constitui-
da por la caracterstica universal, sent un precedente no solamente en la lings-
tica moderna sino tambin, salvando las diferencias, proporcion un modelo
til para la formalizacin o simbolizacin de la lgica, contando entre stos a la
actualmente denominada numeracin de Gdel, desarrollada en 1931, que con-
sistira en asignar un nmero nico o caracterstico a cada uno de los smbolos
primitivos, a la combinatoria de los signos: sus frmulas y a los resultados33. Por
ejemplo: a los smbolos constantes (de la aritmtica formal y la lgica proposi-
cional) le asign un nmero natural que ira del 1 al 12 segn el uso actual - para
abarcar la mayor cantidad de smbolos elementales - o del 1 al 7 segn la primera
asignacin de Gdel en 193134. La asignacin quedara de la siguiente manera:
Signos constantes Nmero de Gdel Significado usual
~ 1 no
v 2
3 si, entonces
31
Ibid., p.137.
32
Cum Deus calculat et cogitatio exercet, fit mundus. Echeverria, J., Leibniz, Espaa,
Barcanova, 1980, p. 20.
33
Cf. Nagel, E., y Newman, J., Gdel Proof, New York and London, New York
University Press, 1992, p. 69.
34
Cf. Ibidem.
118 episteme ns, vol. 30, n 1, 2010, pp.105-128

4 Hay un
= 5 Igual
0 6 cero
s 7 el inmediato
Sucesor de
( 8 Signo de puntuacin
) 9 Signo de puntuacin
, 10 Signo de puntuacin
+ 11 ms
x 12 multiplicado por
Mientras que a las variables numricas (x, y, z) se les asignara un nmero
primo mayor a 12 (13, 17, 19, respectivamente), a las variables proposicionales
(p, q, r) les correspondera un nmero primo mayor a 12 elevado a la segunda
potencia (132, 172, 192) y por ltimo, a las variables predicativas (P, Q, R) el
nmero primo mayor a 12 estara elevado al cubo (133, 173, 193)35. Para repre-
sentar una frmula se colocara como base la secuencia de nmeros primos
comenzando por el 2, elevados por el nmero caracterstico que corresponda
a la funcin.
Mediante este procedimiento, una frmula quedara representada as:
(x) (Px v Qx)
8 4 13 9 8 13 13 2 14 13 9
28 34 513 79 98 1113 1313 172 1914 2313 299
Con este mtodo, cifras muy elevadas en la aritmtica como 243.000.000
podran descomponerse en sus factores primos hasta obtener una forma l-
gica derivada, tal como:
243.000.000
64 243 15.625
26 35 56
0 = 036
A travs de este procedimiento de la teora de nmeros, Gdel pudo
demostrar el teorema de no-complecin (incompletitud) y como se ha hecho
ver, en l existen elementos que probablemente asimil de la lgica leibni-
ziana y de su concepcin de los conceptos bsicos primitivos representados
por nmeros primos que permiten la factorizacin de nmeros complejos

Cf. Ibid., pp. 73 75.

35

Ibid., p.79.
36
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
119

hasta alcanzar los nmeros que no son susceptibles de mayor descomposi-

cin.

4. La proposicin en Leibniz: Tipos.

En 1679 Leibniz realiz dos importantes trabajos lgicos llevados al in-
gls por Loemker como Elements of Calculus y Specimen of Universal Calculus
donde desarroll la idea de la reduccin de las proposiciones a la forma sujeto
predicado.
En el primero de ellos se lee: En lo que sigue, entiendo por proposi-
cin a las categricas cuando no indico especficamente las de otro tipo. Las
proposiciones categricas son la base del resto, y toda proposicin modal,
hipottica, disyuntiva y otras proposiciones presuponen las categricas37.
Aunque no estn claras an las razones que tiene Leibniz para sostener
la reduccin y mostrar, apelando al principio de razn suficiente, que debe ser
as y no de otra manera, es menester introducirnos en la estructura tradicional
de las proposiciones categricas, para ver de qu manera se da la inclusin del
predicado en el sujeto.
Entre los tipos de proposiciones, Leibniz reconoce las categricas,
disyuntivas, modales e hipotticas y, entre las restantes, se pueden encontrar
las que incluyen trminos relativos (modernamente llamadas proposiciones
relacionales).
En los Nuevos Ensayos nuestro filsofo no esgrime argumentos tan radica-
les, sin embargo, sostiene que tanto las proposiciones disyuntivas como las de
otro tipo, que dicho sea de paso no menciona, pero que asumimos como mo-
dales, se pueden reducir a proposiciones hipotticas38 que, por lo expuesto ante-
riormente, tambin son susceptibles de reduccin a proposiciones categricas.
Si prestamos atencin a la cita en consideracin, se puede notar que
Leibniz slo se remite, al menos en este caso, a la proposicin afirmativa
verdadera bien sea universal o singular, pero, cabe preguntarse, qu hay con
las proposiciones negativas? Acaso stas no estn contempladas dentro de la
37

In what follows, I understand propositions to be categorical when I do not es-
pecifically indicate otherwise. But the categorical propositions is the basis of the
rest, and all modal, hypothetical, disyunctive, and other proposition presuppose
the categorical Loemker, Philosophical papers and, cit., p. 26. (Traduccin nuestra).
38
Tengo por ltimo otra observacin que hacer a nuestra definicin, y es que
parece que slo se acomoda a las verdades categricas, en las cuales existen dos
ideas, el sujeto y el predicado; pero tambin existen verdades hipotticas, o que
pueden reducirse a stas (como las disyuntivas y otras), en las cuales la relacin
se produce entre la proposicin antecedente y la proposicin consecuente.
Leibniz, Nuevos ensayos sobre, cit., IV, 1, p. 425.
120 episteme ns, vol. 30, n 1, 2010, pp.105-128

lgica leibniziana o en ellas no se cumple la tesis de la inherencia? Pasemos a

la revisin de cada una de las proposiciones categricas.
En primer lugar, comenzaremos por la revisin de las proposiciones sin-
gulares como Scrates es hombre que son interpretadas por nuestro filsofo
de una forma peculiar, no porque no haya sido consciente de que algunos lgi-
cos toman las proposiciones singulares como un modelo de las proposiciones
particulares (al menos un individuo), sino porque Leibniz las concibe como
proposiciones universales.
Esta forma peculiar viene asociada a lo que l llama, en trminos onto-
lgicos, sustancia individual, que bien permite diferenciar una proposicin
sobre la sustancia individual o un individuo concreto, de una abstraccin.
Es claro que los sujetos de las proposiciones Todo hombre es un animal
racional y Scrates es hombre difieren enteramente, ya que el sujeto de la
primera es una nocin general y el de la segunda tiene una nocin completa.
La justificacin que, a nuestro juicio, soporta este pensamiento se da
porque la sustancia individual es nica en su especie: todos los atributos que le
pertenecen son exclusivamente predicados suyos. Por eso Leibniz puede decir
que en una proposicin sobre la sustancia individual, bien sea un existente ac-
tual o posible, el predicado est contenido en el sujeto, del mismo modo como
ocurre en una proposicin universal. En palabras de Leibniz:
Sin embargo, es bueno darse cuenta de que, en cuanto a la forma, las
proposiciones singulares estn comprendidas bajo las universales, pues
aunque sea verdad que slo hay un San Pedro Apstol, no obstante,
cabe afirmar que quien haya sido un San Pedro Apstol ha renegado
de su maestro. As, pese a que el silogismo San Pedro reneg de su
maestro, San Pedro fue discpulo, luego algn discpulo ha renegado
de su maestro, slo tiene proposiciones singulares, se piensa que sus
proposiciones son universales afirmativas39
Si se aceptan las premisas expuestas por Leibniz sobre la sustancia indi-
vidual, se concluira por el principio de identidad de los indiscernibles, que no
puede haber dos individuos idnticos o semejantes en todas sus caractersticas,
por consiguiente, no existen dos San Pedro Apstol que hayan renegado de
su maestro, sino solamente uno. En otras palabras, todos los predicados que
forman parte de su nocin, entre ellos el negador de su maestro, estn incluidos
en la nocin del sujeto nico que es San Pedro Apstol. As que no generara
ningn inconveniente aceptar que Cualquier o Todo individuo que haya
sido San Pedro Apstol reneg de su maestro.

Leibniz, Nuevos ensayos sobre, cit., libro IV, 17, p. 588.

39
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
121

En una proposicin universal afirmativa (A) resulta ms claro notar la

inherencia o inclusin del predicado en el sujeto. Leibniz utiliza como ejemplo
la proposicin Todo oro es metal donde el concepto metal est incluido
en el concepto oro, ya que el oro, por definicin, es el metal ms pesado40.
Tambin ofrece otros ejemplos como:
Cuando digo Toda persona piadosa es feliz slo quiero significar que
la conexin entre la piedad y la felicidad es tal que quien entienda la
naturaleza de la piedad podr ver que la naturaleza de la felicidad est
envuelta en ella en un sentido directo41.
Recordemos que esta inclusin de la nocin del predicado en la del suje-
to es entendido por Leibniz de manera intensional, de modo tal que dentro de
la definicin de piedad se encuentra incluida la nocin de felicidad. Por consi-
guiente, aquellos individuos que conozcan el significado del concepto pueden
derivar cada uno de los elementos o conceptos primitivos que lo componen.
Pero la nocin de inclusin no slo se da en las propiedades del todo,
esto es, en la proposicin universal afirmativa, sino tambin en las partes,
como ocurre en el caso de la particular afirmativa (I). Para explicar este tipo
de proposiciones Leibniz utiliza como ejemplo la conversin per accidens de la
proposicin universal afirmativa. La conversa de Todo oro es un metal sera
Algn metal es oro. La partcula de cantidad Algn se entiende al menos
de dos maneras. Por un lado, como la negacin de la noexistencia de indi-
viduos, algn quiere decir es falso que ningn, esto es, al menos uno. Y por el otro,
tambin pretende negar a la totalidad, as, algunos cumplen con la propiedad
y algunos no, es decir, albergara ms de un individuo. Decir no todo metal
es oro, equivale a afirmar que algn metal es no-oro, pero en este caso se
habra transformado en una proposicin particular afirmativa con predicado
negativo o por obversin sera una proposicin particular negativa.
Algn metal es oro significa que dentro del concepto metal no se des-
prende necesariamente ni por s mismo el de oro, sino que requiere de otro
concepto o aadidura para obtener tal, en consecuencia, el oro vendra a ser
una especie o un tipo de metal unido a una diferencia especfica como ser un
metal sensible al cloro y al agua regia. En este caso la inclusin del predicado
en el sujeto no se da de la misma manera que en la proposicin universal afir-
mativa, donde la definicin del concepto est envuelta absolutamente dentro
Cf. Loemker, Philosophical Papers andcit., p. 236.
40
41

When I say, All pious people are happy, I mean only that the connection be-
tween piety and happiness is such that whoever understands the nature of piety
perfectly will see that the nature of happiness is involved in it in the direct
sense. Ibidem. (Traduccin nuestra).
122 episteme ns, vol. 30, n 1, 2010, pp.105-128

de lo definido. Claro est que en casos complejos no resulta tan fcil advertir
la inclusin, pero bastara el anlisis de los trminos para hacerla expresa.
Sin embargo, dentro de una proposicin donde los componentes no
concuerdan enteramente, en palabras de Leibniz, no son coincidents42, la dife-
rencia entre los conceptos es la que va del gnero a la especie, ya que el con-
cepto metal constituye el gnero bajo el cual se subsumen los individuos o
elementos particulares como el oro que son especie, pero Leibniz no est
del todo de acuerdo con esta clasificacin, pues este segundo caso involucra
individuos que se subsumen a clases o gneros universales que implican la
existencia de individuos y no trata exclusivamente de conceptos.
Pero como Leibniz de lo que est hablando es de conceptos, trastoca los
trminos y sostiene que aquello que se llama gnero debe tomarse como parte
por ser un concepto ms simple, mientras que el concepto de oro incluye, no
slo la parte (el gnero), sino la diferencia especfica y por ello abarca una
mayor cantidad de conceptos siendo ste el todo43.
En la proposicin particular afirmativa se hace necesario aadir o agre-
gar otros conceptos dentro de la nocin de sujeto para hallar la definicin
adecuada. En palabras de Leibniz:
Pero una distincin entre los sujetos de una proposicin universal y
una particular se encuentra en la manera de esta inclusin. El sujeto
de una proposicin universal, visto en s mismo y absolutamente, debe
contener al predicado [] Pero en una proposicin particular afirma-
tiva es suficiente que la inclusin sea afortunada cuando alguna cosa
sea aadida al sujeto.44.
Siguiendo a Parkinson45, se puede decir que una proposicin particular
afirmativa, definida de esta manera, coincide con una particular negativa, ya
que al sostener que algn metal es no-oro o Algn metal no es oro, se
Cf. Ibid., p. 237.
42

lo que queremos remarcar es que l se ha fundamentado expresamente sobre

43

la consideracin de la comprensin, Leibniz declara en sus propios trminos

que el considera el gnero como contenido en la especie, reconociendo en todo
caso que desde el punto de vista de la extensin, (habitual en las escuelas) es la
especie la que est contenida en el gnero. Couturat. L., La Logique de Leibniz,
Paris, 1901, p.34.

44
But a distinction between the subjects of a universal and a particular proposi-
tion is found in the manner of this inclusion. For the subject of a universal
proposition, viewed in itself and taken absolutely, must contain the predicate
[] But in an affirmative particular proposition it suffices that the inclusion
is successful when something is added to the subject. Ibid., p. 237. (Traduccin
nuestra).
Cf. Parkinson, La naturaleza de, cit., pp. 76 77.
45
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
123

interpretara como aquel algo que hace falta aadir para que sea oro, esto es,
carece de alguna de las propiedades especficas que lo individualiza como oro
o que lo determina como otro metal, sin que ello implique que le falten todas,
porque de ser as, ya no estaramos en presencia de una proposicin particular
negativa sino de una universal negativa46.
De acuerdo con Leibniz, hemos de interpretar que cuando se afirma que
algn metal es oro se quiere significar que el oro es una especie o ejemplo
de metal, y, en este orden de ideas, algn se tomara en el primer sentido de
la palabra, es decir, como existe al menos un individuo que cumple con la
propiedad de ser oro, pero tambin por va negacin esto equivale a afirmar
que existe un metal que no es oro. Si existe al menos uno que cumple con la
propiedad es porque tambin podra existir al menos uno que no la cumple y
viceversa. Decir, Slo algn S es P es equivalente a decir Slo algn S es no
P: la primera proposicin implica la segunda, y la segunda la primera47.
No podemos estar del todo de acuerdo con la exposicin de Parkinson,
porque el hecho que le permite afirmar a Leibniz va negacin que una pro-
posicin afirmativa implica su contraria negativa, no quiere por ello significar
que ambas deban ser equivalentes. Segn el cuadrado de oposicin tradicional
aristotlico, las proposiciones particulares I y O representan trminos sub
contrarios, esto es, semnticamente coinciden en tanto que ambas proposicio-
nes pueden ser verdaderas al mismo tiempo, pero no falsas. As mismo, la ob-
versa de una proposicin particular negativa es lgicamente equivalente a una
particular afirmativa con predicado negativo, siendo el predicado un trmino
complementario. Pero definitivamente no existe una completa equivalencia
lgica entre una proposicin particular afirmativa y una particular negativa, lo
que podra evidenciarse por medio de la siguiente tabla de verdad:

p q (pq) ( pq )
1 1 1 0 0

1 0 0 0 1

0 1 0 1 0

0 0 0 1 0

Tanto en la proposicin universal negativa (E) Ningn piadoso es mi-

serable como en la particular negativa (O) algn metal no es oro el pre-

Cf. Ibidem.
46

Ibid., p.76.
47
124 episteme ns, vol. 30, n 1, 2010, pp.105-128

dicado en vez de estar incluido en el sujeto, por el contrario se encuentra

excluido. Pero Leibniz no dice explcitamente que el concepto de predicado
est incluido o excluido de la nocin del sujeto, sino que mantiene la tesis de
la inherencia o la inclusin.
Parkinson sugiere que en las proposiciones negativas es posible que se d
la inclusin, pero de los predicados complementarios o negaciones, ya no como
atributos que le faltan o estn excluidos de la nocin del sujeto sino que puedan
formar parte de la nocin del mismo48. Al decir Ningn hombre piadoso es mi-
serable, se asume que la nomiseria est incluida dentro del concepto hombre
piadoso, anlogamente en la proposicin algn metal es no-oro el predicado
nooro se encuentra envuelto con alguna aadidura en la nocin de metal.
No sabemos hasta que punto Leibniz opt por realizar todo tipo de
transformaciones para demostrar que en toda proposicin el predicado est
incluido en el sujeto, pero hay evidencia de que no todos los trminos o con-
ceptos estn incluidos o coinciden, ya que aquellos que l mismo denomina
disparates son aplicables a la proposicin universal negativa. Dos trminos son
disparates (dispar) cuando uno excluye al otro o no est contenido en el otro.
Por ejemplo Ningn hombre es una piedra49, significa que hombre y pie-
dra son trminos cuyas nociones no son compatibles.
Segn el propio Parkinson, Leibniz no ofrece ningn tipo de explicacin
sobre la conveniencia o no de preferir la explicacin donde se evidencia la
inclusin del predicado en el sujeto en las proposiciones negativas50.
De las cuatro proposiciones categricas, Leibniz le otorga preeminencia
a la proposicin universal afirmativa.
En Specimen de inventorum de admirandis naturae generalis arcanis51 se lee:
En toda verdad universal afirmativa, el predicado est nsito en el sujeto52.
El hecho de que Leibniz slo se refiera a proposiciones universales afirma-
tivas se debe a que para l stas no ameritan carga existencial, por ello dir
que Prefiero considerar conceptos universales o ideas y sus composiciones,
pues ellos no dependen de la existencia de individuos53.

Ibid., p. 71.
48

a and b are disparate if a is not b and b is not a; as man and stone. For man is
49

not a stone, and a stone is not a man. Loemker, Philosophical papers and, cit., p.
245.
Cf. Parkinson, La naturaleza de, cit., p. 72-73.
50

Espcimen de hallazgos relativos a los admirables arcanos de la naturaleza gene-

51

ral.
In omni veritate universali praedicatum inest subjecto. Leibniz, Naturaleza y
52

Libertad, cit., p. 29.

I prefer to consider universal concepts o ideas and their composition, for these
53
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
125

La proposicin Todos los unicornios son hermosos es verdadera si se

considera como un modelo dentro de los infinitos mundos posibles, a pesar de
que no exista un slo ejemplo o individuo en este mundo que cumpla con la
propiedad de ser unicornio. Es importante acotar que nociones generales como
las de los unicornios no son conceptos individuales, es decir, no es un nombre pro-
pio o una instancia de sustitucin de un individuo, sino abstracciones cuya ver-
dad depende de la coherencia interna del concepto. De modo que, es verdadero
ya que su definicin no encierra nociones contradictorias entre s y recordemos
que la verdad para Leibniz slo depende de la conexin de las ideas.
En la Correspondencia con Arnauld se lee:
Para llamar posible alguna cosa, me basta con que se pueda formar una
nocin de ella, aunque slo est en el entendimiento divino, que es, por
as decirlo, el pas de las realidades posibles. As, al hablar de los posibles,
me contento con que puedan formarse de ellos proposiciones verdade-
ras, como, por ejemplo, que un cuadrado perfecto no implica contradic-
cin, an cuando no haya un cuadrado perfecto en el mundo54
Una proposicin ser verdadera cuando las ideas de las que se compone
y que expresan objetos existentes actuales o posibles, sean compatibles o no-
contradictorias entre s. Pero es importante distinguir entre el concepto de un
cuadrado perfecto, un unicornio o cualquier nocin general que representa una
proposicin de esencia o una verdad de razn, a las proposiciones de existencia
o verdades contingentes cuya consideracin, como veremos ms adelante, es
diferente.
Ahora bien, si nuestro filsofo prefera considerar las proposiciones uni-
versales porque ellas no ameritan carga existencial, necesariamente Leibniz se
ver comprometido con algunas de sus opiniones, ya que no dudaba de la va-
lidez de la inferencia inmediata de conversin per accidens pudiendo pasar de la
proposicin Todo oro es metal a la proposicin Algn metal es oro.
En la proposicin Ningn hombre piadoso es miserable no genera nin-
gn tipo de inconvenientes inferir Ningn miserable es un hombre piadoso,
porque ambos trminos son dispares o no corresponden uno con el otro, mien-
tras que en el caso de la proposicin Todo oro es un metal se quiere signifi-
car que dentro de la clase (en trminos extensionales) o dentro del concepto o
nocin de lo que es metal est incluido el oro, pero este conjunto o definicin
no lo agota. En consecuencia, es errneo contraponer los trminos y sostener
la proposicin que a todas luces es falsa, Todo metal es oro. No obstante,
do not depend on the existence of individuals. Loemker, Philosophical papers
and, cit., p. 238. (Traduccin nuestra).
Leibniz, Correspondencia con Arnauld, cit., 14/07/1686, p. 63.
54
126 episteme ns, vol. 30, n 1, 2010, pp.105-128

por limitacin se puede realizar esta inferencia inmediata y decir Algn metal
es oro55.
Pero inferir que alguno cumple con la propiedad es otorgarle carga exis-
tencial e involucra suponer que la proposicin universal tambin contiene indi-
viduos. En esto consiste la ley de subalternacin que permite deducir de la pro-
posicin universal afirmativa una particular afirmativa. As, pasamos de Todo
unicornio es un animal hermoso que es verdadera a Algn unicornio es un
animal hermoso que es falsa porque no existen unicornios.
Vale la pena preguntar el hecho de interpretar la partcula algn como un
existencial, necesariamente presupone la existencia actual de individuos? Para
responder a esto es pertinente revisar cul ha de ser el papel que juegan las
proposiciones existenciales dentro de la lgica leibniziana. La respuesta a este
problema la encontramos en la nocin modal de posibilidad, es decir, en la dis-
tincin que establece nuestro autor entre individuos posibles y actuales.
Leibniz, separndose de la interpretacin de la lgica medieval, no le atri-
bua carga existencial a ninguna proposicin categrica, bien sea universal o
particular, adems de considerar, como se ha visto, las proposiciones singulares
como proposiciones universales.
La definicin de existencia que dar Leibniz diferir segn el tipo de ver-
dad sobre la cual trate: si es de razn o contingente. Toda proposicin sobre ver-
dades de esencia remite a individuos cuya existencia es posible en cualquiera de
los infinitos mundos sin referirse necesariamente a este mundo actual; mientras
que una proposicin existencial sobre conceptos individuales ser verdadera de-
pendiendo si los individuos son existentes actuales o no.
En este sentido, slo a las nociones completas que tratan sobre sustancias
individuales les corresponde la existencia actual, pues un individuo concreto
tiene una infinita cantidad de predicados que lo determinan y lo hacen ser un
sujeto nico y slo a esta nocin le correspondera ser instanciada por un in-
dividuo en un mundo posible. De ah que la manera para establecer su verdad
sea contrafcticamente. En cambio, una nocin general es aplicable a distintas
entidades en distintos mundos posibles. Basta con que las entidades sean to-
madas como posibles para que la proposicin sea verdadera. Por tanto, Leibniz
cuando trata de proposiciones categricas no se mueve en el plano actual o de
los existentes, sino en el de las ideas o en el mundo de los posibles.
Por esta razn una proposicin que trata sobre unicornios o sobre cual-
quier nocin general ser verdadera a pesar de que no denote ningn individuo,

En cuanto a la conversin por accidente, como se la denomina, se refiere a la univer-

55

sal afirmativa, como <<todo cuadrado es rectngulo, luego algn rectngulo es cuadra-
do>> Leibniz, Nuevos ensayos sobre, cit., libro IV, 2, p.434.
kinverly garca / Anlisis de la proposicin en G. W. Leibniz
127

pues ello significa que es un existente posible ya que su nocin no es contradic-

toria y aunque no tiene un modelo en este mundo, puede tenerlo en otros.
Adems, Leibniz pens que toda proposicin categrica puede adoptar
la forma de una proposicin hipottica que sugiera que si x es un hombre
piadoso, entonces x no ser miserable sin que ello amerite la existencia actual
de hombres piadosos. Entonces, toda proposicin hipottica se analizar en
dos sentidos, dependiendo del contexto y del sujeto sobre el cual trate la pro-
posicin, esto es, si trata sobre entes en este mundo o en los infinitos mundos
posibles.
Si refiere a una nocin general, ser una hiptesis esencial cuya verdad
slo depende de la coherencia lgica de los trminos o la conexin de las ideas.
En cambio, si refiere a una hiptesis causal su verdad estar determinada por la
existencia actual de un individuo particular en este mundo. Es por ello que Lei-
bniz afirma que toda verdad de razn puede ser deducida de su propia nocin,
mientras que toda verdad contingente es conocida por la historia.
Para un lgico contemporneo, una proposicin hipottica se entiende
como un condicional donde la validez depende de la conexin de consecuencia
lgica que se establece entre el antecedente y el consecuente, de modo que una
proposicin con el antecedente falso o que denota una clase vaca, no deja de ser
vlida, ya que la relacin slo va en un sentido, esto es, si ocurre el antecedente,
entonces debe ocurrir el consecuente (p q), pero no a la inversa (q p).
El nico caso en que un condicional es falso ocurre cuando su antecedente es
verdadero y el consecuente, falso. As que en la proposicin Si x es un unicor-
nio, entonces es un animal hermoso, el antecedente es falso y, sin embargo, la
proposicin sigue siendo verdadera, pues lo que establece es que, en el supuesto
negado de que existieran unicornios, seran animales hermosos.
Leibniz diferira enteramente de este uso, pues para l exista una perfecta
convertibilidad de las proposiciones hipotticas a las categricas, de suerte que
estara tratando el condicional no como consecuencia lgica, sino como con-
tencin de conceptos, es decir, no significa asumir que a b, sino que b est
contenido en a. Luego, para que esta proposicin sea falsa es necesario que a
b y a b, esto es, que a encierre nociones contradictorias como b y no- b56. De
ah que Leibniz pueda sostener que aquellos conceptos que involucran nociones
contradictorias no son entidades posibles en ningn mundo.
En cuanto a las proposiciones disyuntivas, a pesar de la diferencia existente
entre una disyuncin exclusiva y una inclusiva, Parkinson asever que Leibniz

Cf. Lenzen, W., Leibnizs Logic en The Rise of Modern Logic from Leibniz to Frege,
56

Holland, Handbook of the History of Logic, 2004, pp. 35 36.

128 episteme ns, vol. 30, n 1, 2010, pp.105-128

no tuvo en mente esta distincin, sino que slo consider el primer tipo de
stas.
Si se transforma la proposicin disyuntiva O Dios es uno o ninguno57 la
hipottica correspondiente sera: Si Dios no es ninguno es uno, y si Dios no es
uno, es ninguno58. Ahora que se ha realizado esta primera conversin, falta por
revisar cmo es posible pasar de una proposicin hipottica, que se compone de
un antecedente y un consecuente, al tipo sujeto - predicado.
Lo que parece sugerir Leibniz es que todo aquello de lo que se componga
el antecedente constituira el sujeto de la proposicin; y el consecuente, su pre-
dicado. De esta manera, completamente artificiosa, puede sostener la tesis de la
inherencia sugiriendo que:
Cuando decimos De A es B se sigue E es F, es lo mismo que si quisi-
ramos decir El que A sea B (A esse B) es el que E sea F. Si A contiene a
B, C contiene a D, puede formarse del siguiente modo: El que A contenga
a B (A continere B) contiene el que C contenga a B y D. Si, como espero,
puedo concebir las proposiciones hipotticas como categricas59.
Lo que estara sugiriendo Leibniz es que la forma condicional de la pro-
posicin ya no estara presente al intercambiar la conectiva de consecuencia
(entonces) por la cpula (es) y realizar una serie de secuencias que involucran la
contencin de cada uno de los elementos de la proposicin dentro del trmino
que funge de sujeto. Al sostener que si A es B y B es C, entonces A es C se
reducira a el que A contiene a B y el que B contiene a C contiene el que A
contiene a C, en este sentido la Bidad de A contiene la Cidad de B60. Es claro
que esto involucra una clara adhesin a un tipo extremo de esencialismo: el de
la nocin completa de la sustancia individual.
Los intentos de reduccin de toda forma de juicio que no admitiera la
estructura tradicional aristotlica de proposicin categrica fue el comn deno-
minador en la lgica escolstica, hasta el punto que todava Leibniz en el siglo
XVII pretenda llevar a cabo toda esta serie de reducciones, ms an, autores
contemporneos como E. de Gortari siguen proporcionando en sus manuales
de lgica, ejemplos de conversin de proposiciones disyuntivas y condicionales
al tipo categrica o viceversa.

Escuela de Filosofa, UCV

kimberlyg@gmail.com
57
Parkinson, La naturaleza de, cit., p. 85.
58
Ibidem.
Ibid., p. 83.
59

Ibid., p. 32.
60