Académique Documents
Professionnel Documents
Culture Documents
Leibniz y el concepto de
analoga
Licenciamiento
Esta obra est bajo una licencia Atribucin-No comercial-Sin obras derivadas 2.5
Argentina de Creative Commons.
Para ver una copia breve de esta licencia, visite
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/.
Para ver la licencia completa en cdigo legal, visite
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/legalcode.
O enve una carta a Creative Commons, 559 Nathan Abbott Way, Stanford, California
94305, USA.
En este trabajo se aborda un anlisis de las aplicaciones leibnizianas
de la analoga y del razonamiento analgico. De este modo, se trata de mostrar que el concepto de analoga leibniziano se funda en la idea de semejanza
estructural. A partir de esta consideracin, se abordan dos maneras bsicas en
que Leibniz aplica el razonamiento analgico. La primera es de carcter conjetural y posee un valor heurstico, mientras que la segunda constituye un tipo
de razonamiento analgico demostrativo, al menos en su intencin, puesto que
trata de fundamentar las conclusiones dentro de un mbito terico a partir de un
principio de transferencia fundado en la identidad de propiedades estructurales.
Este procedimiento se ejemplifica por medio de una presentacin general de la
concepcin leibniziana de las verdades contingentes. De este modo, el trabajo
concluye sealando la importancia terica del concepto de semejanza en el
pensamiento leibiniziano.
Palabras clave:
Abstract:
In this paper an analysis of the leibnizian applications of concept
of analogy as well as the analogical reasoning is approached. Thus, the
analysis tries to show that the leibnizian concept of analogy is based on
the idea of structural similarity. As a consequence of such consideration,
two basic ways in which Leibniz applies analogical reasoning are examined.
Revista de
de Filosofa
Filosofa y Teora Poltica,
de Filosofa,
FaHCE,
UNLP
Revista
Poltica, 39:
39: 11-29
11-29 (2008),
(2008),Departamento
Departamento
de Filosofa,
Facultad
de
Humanidades y Ciencias de la Educacin, Universidad Nacional de La Plata
| 11
Oscar M. Esquisabel
The first way has a conjectural character and is rather heuristic, whereas the
second constitutes, at least in intention, a kind of demonstrative analogical
reasoning, since it tries to prove its conclusions for a determined theoretical
domain by applying a transfer principle, which is itself founded on the
identity of structural properties. This procedure is exemplified by outlining
the leibnizian view on contingent truths. In this way, the paper concludes
by pointing out the theoretical relevance of the concept of similarity in the
leibnizian thought.
Key words:
1. Introduccin
Es un lugar comn sostener que el concepto de armona universal constituye uno de los principios fundamentales del pensamiento
de Leibniz. En efecto, en todos los mbitos del conocimiento en los
que el autor de la Monadologa despleg su genio inventivo, ya sea
la lgica, la matemtica, la dinmica, el derecho o la misma metafsica, nos enfrentamos con su extraordinaria habilidad para destacar
correspondencias y correlaciones que permanecan ocultas a la simple
inspeccin y que confirman a sus ojos la existencia de una harmonia
rerum. Ms an, dichas correspondencias, frecuentemente establecidas en dominios de conocimiento que superficialmente se encuentran
muy alejados entre s (tal podra ser, por ejemplo, la jurisprudencia y la
matemtica), son utilizadas como hilos conductores del razonamiento
y la fundamentacin, de modo tal que Leibniz aplica una especie de
principio de transferencia que, a travs de las series de correspondencias, permite pasar de un campo de conocimiento a otro. De este modo,
no es difcil encontrar transiciones de la matemtica a la lgica y a la
metafsica o viceversa.
Como se ha sealado en ms de una ocasin, esta confianza en
la armona de las cosas constituye la carga de la tradicin neoplatnica
en el pensamiento leibniziano, que absorbi entre otras fuentes, de los
movimientos pansficos del siglo XVII. En efecto, encontramos esa
misma confianza en la conexin universal de las cosas en autores como
Alsted, Bisterfeld o Comenius, quienes contribuyeron a la difusin del
12 | Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
Para la relacin de Leibniz con el movimiento pansfico, cfr. Rossi (1989), Mugnai
(1973), Antognazza (1999). Para la relacin de Leibniz con la tradicin neoplatnica,
cfr. Mercer (2001)
Cfr. nota 5
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 13
Oscar M. Esquisabel
14 | Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
Ahora bien, de lo anterior se sigue que la analoga puede
entenderse al menos de dos maneras como hilo conductor de la investigacin: Por una parte la analoga puede servir como un recurso
heurstico mediante el cual podemos formar una conjetura o buscar la
resolucin de un problema mediante la transposicin de ciertas propiedades o procedimientos de un caso dado a otros todava no dados.
Por la otra, la analoga puede ser el fundamento de razonamientos
rigurosos que pueden transferirse de un dominio a otro, cuando se
funda en una identidad estructural o formal que subyace a campos de
conocimiento diferentes.
En el primer caso, realizamos una transposicin proyectiva de
conceptos u operaciones, que nos permiten formar conjeturas dentro
de un dominio imperfectamente conceptualizado a partir de otro bien
conocido. En el segundo caso, en cambio, a partir de un claro conocimiento de las identidades estructurales entre dos campos de conocimiento diversos, podemos transferir con seguridad los resultados de la
investigacin en uno de ellos al otro.
En el caso de Leibniz, veremos que se pueden distinguir ambos
tipos de analoga. Por lo dems, tanto en un caso como en otro, prevalece
en Leibniz el concepto estructural de la analoga por sobre el meramente sustantivo. En esta perspectiva, podemos decir que la analoga
de proporcionalidad es el modelo dominante en los usos leibnizianos
del razonamiento analgico.6 Asimismo, el fundamento de la analoga
rencia, cuya aplicacin es reconocida en las demostraciones matemticas. De este
principio hizo uso, por ejemplo, Pascal en la demostracin de su teorema sobre las
cnicas a partir de las propiedades proyectivas de la circunferencia. Aunque Leibniz
no necesariamente lo enuncie como un principio (al estilo del principio de no contradiccin o del de razn suficiente), lo aplica no solamente en la matemtica, sino
tambin en otros dominios, segn nuestra interpretacin. En cualquier caso, el texto
de la nota 30 podra valer como una formulacin informal de dicho principio. Tambin
podra concebirse como una enunciacin informal del principio de transferencia la
definicin leibniziana de expresin (GP 7 263 y esp. GP 2 112). Cfr. Kline (1994),
pp 394-397 para el caso de Pascal y de la historia de la aplicacin de la invariancia. La
designacin de principio de transferencia se debe al matemtico Otto Hesse, quien
lo formul como tal en el ao 1866 (Hesse (1866)) y luego fue generalizado por el
programa de Erlangen de 1872 (Tappenden (2005), 191 ss).
6
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 15
Oscar M. Esquisabel
Para Leibniz, el empleo de las analogas es un factor fundamental
para la formulacin de hiptesis, tanto en ciencias naturales como en
matemticas, por lo cual constituye una pieza clave del Ars conjectandi, es
decir, el arte de formular conjeturas y, por tanto, del arte de la invencin
probable. Bernhard Sticker mostr la importancia del razonamiento
analgico para las investigaciones que Leibniz llev a cabo en el campo
de la geologa.8 Del mismo modo, como lo ha sealado Knobloch,9 el
autor de la Monadologa ha hecho un extenso uso de la analoga para la
introduccin de conceptos e hiptesis matemticas.
En un esbozo sobre el arte de la invencin de septiembre de
1674,10 Leibniz sostiene la importancia de la analoga para la conjetura
matemtica. As, por ejemplo, -sostiene Leibniz- Apolonio conjetur
analgicamente muchas cosas acerca de las cnicas a partir de lo que
Euclides haba demostrado del crculo,11 Como sostiene Knobloch, no
es extrao que Leibniz tomase como ejemplo las secciones cnicas, ya
7
8
9
10
11
Schediasma de Arte Inveniendi Theoremata, A VI 3, 425: Sunt et aliae methodi investigandi theoremata, per analogiam aliorum jam inventorum: ita ex iis quae de circulo
demonstraverat Euclides, video Apollonium de conicis conjectasse non pauca, quae
calculo postea vera invenit [Hay tambin otros mtodos de investigacin de teoremas,
mediante una analoga con otros teoremas ya hallados: as veo que a partir de lo que
Euclides haba demostrado acerca del crculo, ha conjeturado Apolunio acerca de las
cnicas no pocas cosas que luego el clculo ha encontrado que son verdaderas]
16 | Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
15
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 17
Oscar M. Esquisabel
16
17
18
Si en los casos anteriores la analoga constituy el fundamenDe mente, de universo, de Deo, diciembre de 1675, A VI 3, 462: Ut cum dico -1 est
quantitas possibilis, procedo per quasdam analogas [Como cuando digo -1, procedo
mediante ciertas analogas].
Observatio quod rationes sive proportiones non habeant locum circa quantitates nihilo minores,
et de vero sensu methodi infinitesimalis (1712), GM 5 389: Porro, ut nego rationem, cujus
terminus sit quantitas nihilo minor, esse reales, ita etiam nego, proprie dari numerum
infinitum vel infinite parvum, etsi Euclides saepe, sed sano sensu, de linea infinita loquatur. Infinitum continuum vel discretum proprie nec unum, nec totum, nec quantum est,
et si analogia quaedam pro tali a nobis adhibeatur, ut verbo dicam, est modus loquendi;
cum scilicet plura adsunt, quam ullo numero comprend possunt, numerum tamen illis
rebus attribuemus analogice, quem infinitum appellamus. [Adems, as como niego que
una razn cuyo trmino sea una cantidad menor que cero sea real, as tambin niego que
se d en sentido propio un nmero infinito o infinitamente pequeo, aunque Euclides
hable a menudo, aunque correctamente, de una lnea infinita. El infinito continuo o
discreto no es en sentido propio ni algo dotado de unidad, ni un todo ni algo dotado
de cantidad, y si le aplicamos una cierta analoga, se trata, para decirlo en una palabra,
de un modo de hablar. En efecto, aunque hay muchas ms cosas de las que puedan ser
abarcadas por nmero alguno, les atribuimos analgicamente a esas cosas un nmero,
que denominamos infinito.] Cfr. Knobloch, E., op. cit., 38.
Ibidem. Cfr.GM 5 350.
18 | Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
20
Stiegler, K. (1972), Bd. IV, 173-187. En el caso de las estructuras isomrficas, vale la
aplicacin del principio de transferencia como un medio de demostracin rigurosa por
el cual, a partir de las propiedades formales de una estructura, se pueden concluir con
certeza las propiedades formales de la estructura isomrfica con la primera. Por supuesto, nos referimos al concepto riguroso de isomorfa, que implica la conservacin de la
estructura (en el cual se basa el principio de transferencia) y que puede entenderse, de
manera general, como una relacin de correspondencia exacta entre estructuras. No hablamos de isomorfa en el sentido vago de una semejanza o parecido puramente exterior.
Dos cosas pueden ser sumamente diferentes en su aspecto y cualidades exteriores y sin
embargo pueden ser estructuralmente isomrficas, como ocurre entre la circunferencia
y la elipse. Para un concepto elemental de isomorfa, puede consultarse el concepto de
isomorfismo en Birkhoff (1960), p 35, limitado, en todo caso, a los diferentes sistemas
de nmeros enteros (sistema binario, decdico, duodecdico, etc.).
Mathesis Universalis, GM VII 54: In Logica autem Notiones, Propositiones, Argumentationes. Idem est in Analysi Matemtica, ubi sunt quantitates, veritates de
quantitatibus enuntiatae (aequationes, majoritates, minoritates, analogiae, etc.),
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 19
Oscar M. Esquisabel
22
Hay ciertas leyes del producto lgico que no se cumplen en el producto aritmtico.
As, por ejemplo, el producto lgico es idempotente (en el simbolismo leibniziano
AA = A, si A representa un concepto cualquiera) mientras que el producto aritmtico
solamente es idempotente para la unidad y el cero (1 x 1 = 1; 0 x 0 = 0). As, las relaciones de analoga se dan en principio entre los conceptos y la subclase de nmeros
naturales cuyos factores primos no se repiten.
20 | Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 21
Oscar M. Esquisabel
4. La nocin de semejanza
Hemos dicho anteriormente que el fundamento de la analoga
se encuentra en la nocin de semejanza. Establecer analogas es captar
semejanzas. Ahora bien, como lo ha sealado H. Breger, podemos encontrar en Leibniz dos conceptos de semejanza, uno laxo y otro de carcter
ms estricto. El primero se acerca a la idea de parecido (ressemblance),
que se funda en la comparabilidad de dos o ms cosas sobre base de la
posesin de cualidades ms o menos comunes. El segundo, en cambio,
depende de la posibilidad de establecer correlaciones estructurales entre
las cosas denominadas semejantes.26 Este ltimo concepto es el que nos
interesa, ya que en l se funda el razonamiento analgico, especialmente
24
25
26
Remito a la forma de argumentacin de Origo Veritatum Contingentium, VE 8 17731776, donde Leibniz aparea en dos columnas las propiedades de las verdades y de las
proporciones. El texto es demasiado extenso para su transcripcin.
Stiegler, K. (1972), 177.
Breger, H. (1990), 224.
22 | Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
29
30
Cfr. pp 3 y 5.
Leibniz a Gallois, GM 1 180: Apres avoir bien cherch, jay trouv que deux choses
sont parfaitement semblables, lorsquon ne les sauroit discerner que per compraesentiam. [Despus de haber investigado mucho, he encontrado que dos cosas son
perfectamente semejantes, cuando no se las podra discernir ms que per compraesentiam [mediante co-presencia]]. Breger ubica la formulacin de esta definicin de
semejanza hacia fines del perodo de Pars o en la poca inmeditamente posterior.
Breger, (1990), 227.
Ibidem
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 23
Oscar M. Esquisabel
32
Aliquid, Nihil, Non-ens, Ens, Definitiones, VE 6 1210: Similia sunt quae per ea quae
insunt unicuique, discerni sigillatim non possunt, seu si pro A et quae ipsi insunt,
substitui semper possunt B et quae ipsi insunt salva veritate.[Semejantes son aquellas
cosas que no pueden discernirse separadamente mediante aquellas cosas que estn
contenidas en cada una de ellas, es decir, que A y lo que est contenido en l puede
sustituirse por B y lo que est contenido en l, conservando la verdad].
24 | Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
sentido, no faltan elementos de juicio para sostener que Leibniz concibi la semejanza como una cierta correspondencia o correlacin que
mantiene invariante la estructura. Por ejemplo, en un fragmento sobre
matemtica universal, se introduce el concepto de semejanza a partir
de su dependencia del concepto de correspondencia, de acuerdo con
el cual hay una correspondencia entre dos conjuntos de cosas cuando
hay una transformacin biunvoca de los elementos de un conjunto en
los elementos del otro tal que mantiene invariantes las relaciones que
existen entre los elementos de cada uno de los conjuntos.33
Asimismo, la determinacin de la semejanza implica una abstraccin formal respecto del contenido material de los objetos semejantes, de modo tal que slo se tienen en cuenta las relaciones formales
o estructurales (el orden y la forma de conexin, por ejemplo) de los
componentes de los objetos considerados. Tomemos, por ejemplo, dos
conceptos distintos, constituidos por notas cualitativamente diferentes.
Si al hacer la abstraccin de los contenidos materiales, obtenemos una
composicin idntica de elementos o valores formales, decimos que los
conceptos son semejantes, aunque no estn constituidos por las mismas
notas, consideradas materialmente.34 Nos encontramos, nuevamente,
33
34
Elementa Nova Matheseos Universalis, ca. 1684-1687, VE 5 989: Sunt autem respondentia, unum ex pluribus ab una parte, cum alio ex pluribus ab alia parte, si illud
secundum quandam relationem eodem modo refertur ad sua complura, ut hoc ad sua
complura, quae in Triangulis similibus dicuntur homologa latera. [Una cosa tomada
de entre muchas de una pluralidad dada es correspondiente con otra, tambin tomada
de otras muchas pertenecientes a otra pluralidad, si la primera se comporta con el
resto de su pluralidad de acuerdo con una cierta relacin del mismo modo que la
segunda lo hace respecto de su propia pluralidad. En los tringulos semejantes este
papel lo cumplen los llamados lados homlogos].
Calculus ratiocinator, ca. 1677-1680, VE 1 92: Similia sunt quorum ratio diversitatis
reddi non potest ex aliquo capite, v.g. sit a aequ. bcd et b aequ. fg et c aequ. gh et d aequ.
hl, eodem modo sit m aequ. npq et n aequ. rs et p aequ. st et q aequ. [tu], ajo abcdfghl
et mnpqrstu esse similia, in quantum fghl et rstu non distinguuntur, horum enim discrimine non adhibito sive requisitis diversis in calculum non vocatis, nec discrimen
inter illud et hco poterit demonstrari.[ Semejantes son aquellas cosas acerca de las
cuales no puede darse la razn de su diversidad a partir de algn trmino principal
[ex aliquo capite]. Por ejemplo, a igual bcd y b igual a fg y c igual gh y d igual a hl
del mismo modo, sea m igual npq y n igual rs y p igual a [tu], afirmo que abcdfghl
y m npqrstu son semejantes, en cuanto fghl y rstu no se distinguen; en efecto, si no
se aplica una discriminacin entre ellos, es decir si en el clculo no se invocan los
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 25
Oscar M. Esquisabel
Hay una distancia muy corta de este concepto de semejanza
a la idea de que, mediante la abstraccin formal, podemos exhibir las
estructuras comunes a campos que desde el punto de vista del contenido son sumamente diversos. Tendramos de esta manera una ciencia
de las formas puras que, segn la denominacin de Leibniz, sera una
ciencia de la semejanza. Si a ello agregamos la idea leibniziana de que
mediante el uso de notaciones formales dichas analogas estructurales
se hacen casi manifiestas a los ojos, porque las frmulas tienen la virtud
de mostrarnos analticamente las conexiones y rdenes estructurales de
las cosas, de modo que de su consideracin surgen ms rpidamente la
percepcin de las analogas,36 resulta que esta ciencia de la semejanza
puede desarrollarse como un formalismo mximamente abstracto.37 A
diversos requisitos, no podr demostrarse tampoco una diferencia entre el primero y
el segundo].
35
36
37
Leibniz a Foucher, 1687, GP 1 390-391: Je fis autre fois un essai des demonstrations
26 | Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
Antognazza, Maria Rosa, Immeatio and emperichoresis. The theological roots of harmony in Bisterfeld and Leibniz, en: Stuart
Brown (compilador), The Young Leibniz and his Philosophy,
Kluwer, Dordrecht, 1999, pp 41-64.
Benis-Sinaceur, Hourya, The nature of progress in mathematics:
The significance of analogy, en: E. Grosholz and H. Breger
(eds.), The Growth of Mathematical Knowledge, Dordrecht,
Kluwer, 2000.
Beuchot, Mauricio, Sobre la analoga y la filosofa actual, Analoga,
10, 1996, 67-76.
de continente et contento, o je demonstray par caracteres des propositions [dont
les regles des syllogismes et quelques propositions de mathematique ne sont que des
corollaries]. Jen pourrois donner non seulement sur la grandeur, mais encore sur la
qualit, forme et relation bien dautres [En otra ocasin compuse un ensayo de
demostracin de continente et contento, en el que demostr mediante caracteres
proposiciones de las cuales las reglas de los silogismos, as como algunas proposiciones
matemticas, no son ms que corolarios. Asimismo, podra presentar demostraciones
no slo sobre la magnitud, sino tambin sobre la cualidad, la forma y la relacin]
38
De lhorizon de la doctrine humaine, 1693, C 531 (VE 6 1335). Cfr. Esquisabel, O.M.
(2000), 239-273: Lart des Combinaisons est de ce nombre; elle signifie chez moy,
autant que la science des formes ou formules ou bien des variations en general. En
un mot cest la Specieuse universelle ou la Characteristique. De sorte quelle traite
de eodem et diverso; de simili et dissimili; de absoluto et relato; comme la Mathematique
ordinaire traite de uno et multis, de magno et parvo, de toto et parte. On peut mme
dire que la Logistique o bien lAlgebre luy est sousordonne en un certain sens. [El
arte de las Combinaciones pertenece a esta clase de ciencias. Para m, significa tanto
como la ciencia de las formas o frmulas, o sea de las variaciones en general. En una
palabra, es la Especiosa universal o la Caracterstica. De manera que trata de eodem
et diverso, de simili et dissimili, de absoluto et relato, as como la matemtica ordinaria
trata de uno et multis, de magno et parvo, de toto et parte. Se puede decir tambin que
la logstica, o sea el lgebra, le est subordinada en un cierto sentido].
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 27
Oscar M. Esquisabel
Revista de Filosofa y Teora Poltica, 39: 11-29 (2008), Departamento de Filosofa, FaHCE, UNLP
| 29