El Silogismo a travs de la Historia.

Javier Borge Holthoefer

A Parte Rei 24

El Silogismo a travs de la Historia Javier Borge Holthoefer

holthoefer@menta.net

1.- Introduccin: El objeto de este ensayo es, como su ttulo indica, rastrear los pasos del silogismo desde su descubrimiento por Aristteles. Sin embargo, este trabajo pudo haber sido otro bien distinto: En un primer momento, mi intencin era seguir el consejo de Lus Vega1 y discutir acerca de la paternidad de la Lgica. La postura mantenida tanto por Bochnski como por Kneale, segn la cual Aristteles es el fundador de la Lgica sin lugar a dudas, me desanim. Adems, la obra de Kneale acaba bien pronto2 con el argumento que yo pretenda sostener, a saber, que existi una lgica pre-aristotlica encaminada a la demostracin geomtrica (Pitgoras, Zenn). Mi segundo proyecto tena por objeto explicar algn tema destacable de la Historia de la Lgica, dirigindolo a alumnos de Bachillerato. Es decir, hacer Historia de la Lgica para adolescentes. La idea me sobrevino al poder constatar la pobrsima atencin que se presta a la Lgica (por no mencionar su Historia) en Bachillerato. Finalmente he optado por hibridar mi segunda idea con un seguimiento histrico del silogismo. Mi ensayo aspira a dar una idea fcil y accesible del silogismo, a la par que ilustrar acerca de la plena vigencia de la lgica: qu circuito electrnico funcionara sin un Aristteles, un Abelardo, un Boole, un Russell? En este breve estudio comenzaremos con una caracterizacin del silogismo tal como fue concebido por Aristteles: definicin y objeto del silogismo, partes constituyentes, figuras... Por otra parte, el resto de autores que trataremos no gozarn de tanta atencin: procuraremos fijarnos slo en sus aportaciones, aadiduras al cuerpo principal de la silogstica (ello no excluye que estos pensadores destacaran en otros campos de la Lgica). As, las reglas nemotcnicas de Pedro Hispano en el siglo XIII, la cuarta figura de Leibniz y las representaciones diagramticas de la silogstica de Euler y Venn. Por el camino se quedan muchas otras reflexiones sobre el silogismo igualmente destacables: los silogismos hipotticos boecianos, las modificaciones de la silogstica categrica de Aristn, otros recursos nemotcnicos distintos de los de Pedro Hispano... sin embargo, se ha procurado elegir aquellos autores cuya impronta ha quedado ms gravada a lo largo del tiempo. Asimismo, mi inters por las representaciones diagramticas (especialmente las de Venn) se explica por la relacin que guardan con el lgebra de Boole.

1 2

Pg. 82 de Una gua de historia de la Lgica (ver bibliografa). Pg. 2 de El desarrollo de la lgica (ver bibliografa). 1

http://aparterei.com

El Silogismo a travs de la Historia. Javier Borge Holthoefer

A Parte Rei 24

2. El Silogismo a travs de La Historia 2.1. Aristteles Dos son los mayores logros de Aristteles como estudioso de la Lgica: su teora del silogismo, desarrollada en los Analticos Primeros, y su teora de la demostracin cientfica (ntimamente relacionada con la silogstica) en los Analticos Posteriores. Trataremos aqu de seguir los desarrollos ms destacables referentes a la silogstica en y a partir de Aristteles, dejando de lado otros logros relevantes en el campo de la Lgica del Estagirita. La silogstica asertrica implica, desde su descubrimiento (quiz explicitacin sea ms adecuado), tres grandes hallazgos: las variables, la consideracin formal pura y el sistema axiomtico. Pero, a qu llama Aristteles silogismo? Tal palabra, acuada por el propio Aristteles, es usada ya en los Tpicos y al comienzo de los Analticos Primeros en un sentido amplio, a saber, como aquel discurso en el que, sentadas ciertas proposiciones, se sigue de ellas algo otro. Ms tarde, sin embargo, cuando Aristteles entra con detalle en el estudio del silogismo, se ocupa casi exclusivamente de argumentos en los que tanto las premisas cuanto la conclusin son proposiciones simples y generales. Todo silogismo est formado por tres partes (premisa mayor, premisa menor y conclusin); y por tres conceptos distintos, debiendo tener un medio comn a los otros dos conceptos (esto es, un concepto que est contenido en otro y que al mismo tiempo comprenda otro concepto). Los silogismos se dividen, al menos para Aristteles, en tres clases o figuras, segn la posicin del trmino medio (si es sujeto o predicado): 1 FIGURA: Si el trmino medio es sujeto en la premisa mayor y predicado en la menor, la conclusin se ajusta en su cualidad conforme a la premisa mayor y en cantidad conforme a la menor. 2 FIGURA: Dos de los conceptos estn subordinados al tercero o lo tienen como caracterstica comn. As, el trmino medio es predicado en ambas premisas. Si ambas premisas son afirmativas o negativas, entonces no puede sacarse ninguna conclusin vlida; por el contrario, pueden sacarse silogismos indeterminados en esta figura si una premisa es afirmativa y la otra negativa. 3 FIGURA: El trmino medio es el sujeto en ambas premisas. (Ejemplo: Todo cuadrado es rectngulo, as que todo cuadrado es un paralelogramo, luego los rectngulos son paralelogramos.) En esta figura pueden nicamente sacarse cuestiones de contenido general. Llegados a este punto, aparece la polmica. Existe una cuarta figura, que estrictamente hablando no es aristotlica. Fue aadida por Teofrasto, discpulo del Estagirita y director del Liceo tras su muerte, al desarrollar cinco modos indirectos a la primera figura silogstica. La duda est en si Teofrasto se limit a sistematizar y ordenar la obra de su maestro, quedando as la cuarta figura como aristotlica (de modo pstumo), o por el contrario la aparicin de la cuarta figura se debe a la actividad reflexiva propia y original de Teofrasto. La discusin entorno a la cuarta figura se esparce a lo largo de la Antigedad, y durante la Edad Media: Averroes afirma que Galeno sostena una doctrina de la cuarta figura, y as lo recoge Zabarella. Sin embargo, parece ser que Galeno mantena una postura totalmente contraria: as lo dice en sus Observaciones acerca de la demostracin. De hecho, el debate llega hasta el siglo XVIII: Leibniz, como veremos ms tarde, llega a hablar de la cuarta figura. En cualquier caso, aqu la aadimos.
http://aparterei.com 2

El Silogismo a travs de la Historia. Javier Borge Holthoefer

A Parte Rei 24

4 FIGURA: El trmino medio es predicado en la primera premisa y sujeto en la segunda. Pasando a los modos, cada trmino del silogismo puede tener una de estas cuatro estructuras: A Universal afirmativo. I - Particular afirmativo. E Universal negativo. O - Particular negativo.

OBSERVACIN: En el silogismo los trminos estn cuantificados. Del trmino sujeto se dice explcitamente Todo, Alguno o Algn. En cuanto al predicado, si la proposicin es afirmativa, es particular, y si la proposicin es negativa es universal. En la Lgica antigua, sin embargo, no slo se distinguan los cuatro tipos de proposiciones A, E, I, O. Se distingua la toto-total (todo S es todo P); la toto-parcial (todo S es algn P); parti-total (algn S es todo P) y parti-parcial (algn S es algn P). 2.2. Pedro Hispano En primer lugar, pasemos a deducir las combinaciones posibles de los silogismos con los elementos de que disponemos: cuatro elementos (A E I O), cogidos de tres en tres (y teniendo en cuenta que pueden repetirse). Por lo tanto: VR4,3 = 43 = 64 Adems, como hay cuatro figuras que se obtienen variando la posicin del trmino medio, el nmero total de combinaciones o modos ser 64 x 4 = 256. Sin embargo, de los 256 modos slo 25 son vlidos, y de ellos 6 son intiles. Nos quedan, por lo tanto, 19, que son los que recordamos mediante las reglas nemotcnicas aportadas (principalmente) por Pedro Hispano y sus Summulae Logicales. Presentamos a continuacin un cuadro con los esquemas de todos los modos:

http://aparterei.com

El Silogismo a travs de la Historia. Javier Borge Holthoefer

A Parte Rei 24

1 FIGURA Barbara Todo M es P Todo S es M Todo S es P 2 FIGURA Cesare Ningn P es M Todo S es M Ningn S es P 3 FIGURA Darapti Todo M es P Todo M es S Algn S es P Bocardo Algn M no es P Todo M es S Algn S no es P 4 FIGURA Bramantip Todo P es M Todo M es S Algn S es P Fesapo Ningn P es M Todo M es S Algn S no es P

Celarent Ningn M es P Todo S es M Ningn S es P Camestre Todo P es M Ningn S es M Ningn S es P Disamis Algn M es P Todo M es S Algn S es P Ferison Ningn M es P Algn M es S Algn S no es P Camenes Todo P es M Ningn M es S Ningn S es P Fresison Ningn P es M Algn M es S Algn S no es P

Darii Todo M es P Algn S es M Algn S es P Festino Ningn P es M Algn S es M Algn S no es P Datisi Todo M es P Algn M es S Algn S es P Felapton Ningn M es P Todo M es S Algn S no es P Dimaris Algn P es M Todo M es S Algn S es P

Ferio Ningn M es P Algn S es M Algn S no es P Baroco Todo P es M Algn S no es M Algn S no es P

Las letras consonantes tienen tambin su significado (el de las vocales es evidente): La consonante inicial de cada frmula indica que el modo ha de ser reducido a uno de los cuatro primeros modos (primera figura), a saber, aquel cuya inicial coincida con la del modo a reducir. As, los modos que empiezan con B (Baroco, Bocardo, Bramantip) se pueden reducir al modo Barbara, de la primera. Los modos que empiezan con C (Cesare, Camestres, Camenes) son reductibles al modo Celarent de la primera. Y as sucesivamente. La s que aparezca inmediatamente a continuacin de una vocal indicar que la proposicin correspondiente ha de ser convertida por conversin simple en el curso de la reduccin. Cuando sea p la letra que figure en tal posicin, la proposicin en cuestin habr de convertirse parcialmente o per accidens. Una m entre las dos primeras vocales de la frmula sirve para indicar que las premisas habrn de trasponerse.

http://aparterei.com

El Silogismo a travs de la Historia. Javier Borge Holthoefer

A Parte Rei 24

Finalmente, la c tras una de las dos primeras vocales indicar que la premisa de que se trata ha de ser reemplazada por su negacin en orden a facilitar la reduccin per impossibile del modo.

Las Summulae Logicales de Pedro Hispano (muerto en 1277) se convirtieron en la pauta de los manuales de lgica a lo largo de toda la Edad Media, siendo todava usadas a principios del siglo XVIII. 2.3. Leibniz Hemos mencionado ms arriba un autor que dedic su obra a la silogstica: Zabarella, quien escribi De quarta Syllogismorum Figura en el siglo XVI. El respeto de Leibniz por la lgica tradicional queda patente cuando l mismo declara haberle ledo con placer a la edad de 12 aos. Este entusiasmo por la silogstica aristotlica subsiste todava al escribir los Nouveaux Essais, donde describe la doctrina aristotlica como uno de los ms hermosos descubrimientos del espritu humano. Con todo, este autor estaba lejos de ser un purista aristotlico: introduce numerosos elementos nuevos, como la complecin del mtodo combinatorio (inspirada por el Ars Magna de Ramon Llull), el llamado diagrama euleriano o su defensa de la existencia de una cuarta figura, que aqu comentaremos. La tesis de la existencia de cuatro figuras silogsticas, cada una de ellas con seis modos, aparece ya en De arte combinatoria, escrita por Leibniz en 1666. Leibniz supo ver que la usual doctrina aristotlica de los catorce modos, distribuidos en tres figuras, descansaba en una arbitraria nocin de lo que sea natural en el razonamiento ms bien que en una teora consistente de la forma silogstica. Pas entonces a aceptar la doctrina de los veinticuatro modos, comprometindose expresamente a conceder carcter existencial a todos los enunciados universales. Hemos de ver que, a pesar de los recelos despertados por semejante concesin, nunca logr zafarse por completo del embrollo, siendo probablemente ste es uno de los factores que le impediran elaborar un clculo lgico realmente satisfactorio. 2.4. La Representacin Diagramtica: Euler y Venn Como hemos apuntado, ya Leibniz bosquej representaciones de los silogismos en forma de diagrama. Sin embargo, por uno u otro motivo, tales ilustraciones geomtricas acabaran asocindose al nombre de Euler. Las primeras ilustraciones de la mano de Euler se hallan en las Lettres une princesse dAllemagne (1768). Aquellas de las cartas que se dedican a la Lgica no aspiran a la elaboracin de ningn clculo, pero contribuyeron a popularizar el recurso de Leibniz a analogas geomtricas en vista a la ilustracin de relaciones lgicas. Todo lo cual tuvo, quisiralo Euler o no, efecto sobre otros pensadores, que pusieron atencin sobre la interpretacin extensional o en trmino de clases- de los enunciados generales. Euler ilustraba las cuatro formas aristotlicas del enunciado por medio de tres relaciones entre figuras cerradas de acuerdo con el siguiente esquema:

http://aparterei.com

El Silogismo a travs de la Historia. Javier Borge Holthoefer

A Parte Rei 24

A modo de ejemplo, veamos los diagramas de dos modos de silogismo:

Ferison

Darapti

Las representaciones de Euler fueron ampliamente desarrolladas por matemticos posteriores. La novedad ms interesante la introdujo Venn, seguidor de Boole, en 1880. En sus diagramas, Venn parte de representar todas las posibles combinaciones por medio de reas diferentes para pasar luego a indicar, dentro de stas ltimas, cules de esas combinaciones han de ser vacas (Venn sealaba con un asterisco las partes de las reas que representaban clases no vavas). Algunos ejemplos:

Darii

Disamis

Los diagramas de Venn pueden considerarse como ilustraciones de la teora de la extensin mediante la que Boole justificaba sus diversos procedimientos de clculo.

http://aparterei.com

El Silogismo a travs de la Historia. Javier Borge Holthoefer

A Parte Rei 24

Bibliografa: Bochnski, I. Historia de la Lgica formal. Editorial Gredos, Madrid, 1967. Capelle, W. Historia de la Filosofa griega. Editorial Gredos, Madrid, 1992. Kneale, W. y M. El desarrollo de la lgica. Editorial Tecnos, Madrid, 1972. Shin, S. The logical status of diagrams. Cambridge University Press, Cambridge, 1994. Vega, L. Una gua de historia de la lgica. Uned, Madrid, 1996.

http://aparterei.com