1

BENSON MATES: Lgica matemtica elemental, Madrid, Ed. Tecnos, 1974.

CAPITULO XII: BREVE ESBOZO DE LA HISTORIA DE LA LOGICA

Todo ensayo de aproximacin a la historia de la lgica deber tener en cuenta que el trmino lgica, y los emparentados con l, han sido aplicados a multitud de materias diferentes de la que al presente cae bajo consideracin; mientras que, recprocamente, esta ltima ha sido denotada por multitud de trminos distintos al de lgica. Aun suponiendo que poseysemos competencia para hacerlo, de poco servira, al parecer, a nuestro propsito emprender la realizacin de una historia simultnea de todos aquellos tpicos de epistemologa, metafsica, psicologa, sociologa y filologa que, en uno o en otro tiempo, han sido tratados bajo el rtulo lgica. La meta a perseguir aqu se reduce a exponer la historia de lo que nosotros llamamos lgica - escuetamente caracterizable, acaso, como la teora general de la relacin de consecuencia -, cualesquiera que sean los nombres con los que haya podido ser designada esta materia por otros autores, pasados o presentes. A efectos de claridad, debera asimismo ser tenido en cuenta que el negocio propio de un lgico es la investigacin y formulacin de los principios generales conforme a los cuales algo se sigue de algo; es esencialmente irrelevante que los ejemplos particulares de su propio razonar sean vlidos o no. Y recprocamente: el correcto razonar, por digno de encomio que pueda ser, no constituye en s mismo una contribucin a la lgica-, los hombres empleaban ya argumentos vlidos largo tiempo antes de que existiese cosa semejante a la ciencia de la lgica, al igual que fueron, sin duda, efectivamente levantadas las piedras largo tiempo antes de que formulase nadie el principio de la palanca. 1.
LGICA ANTIGUA

Si, guardando en la mente estas indicaciones, dirigimos ahora la mirada a los orgenes de nuestra ciencia, podemos decir, lisa y llanamente, que la historia de la lgica comienza con el filsofo griego Aristteles (384-322 a.C.). Es prcticamente un lugar comn entre los historiadores que los grandes avances intelectuales nunca son la obra de una sola persona (al fundar la ciencia de la geometra. Euclides hizo uso de los resultados de Eudoxo y otros; en el caso de la mecnica, Newton se encaram sobre los hombros de Descartes. Galileo y Kepler, etc.). No obstante ello, y de acuerdo con toda la evidencia de que cabe disponer, Aristteles cre la ciencia de la lgica absolutamente ex nihilo. Con avasalladora sinceridad nos lo dice l mismo en un pasaje al final de las Refutaciones Sofsticas, y no hay razn para dudar de la exactitud de su informe. Ciertamente, muchos investigadores han credo. por razones a priori, que semejante acto de creacin es imposible, y de acuerdo con ello han escudriado los escritos de los predecesores de Aristteles, especialmente los de Platn, tratando de descubrir cuando menos el germen de la lgica aristotlica. Esta bsqueda ha sido casi por entero infructuosa; debido, sin embargo, a la confusin de los extremos analizados en nuestros dos prrafos precedentes, ello no siempre se ha reconocido as. Los escritos de Aristteles sobre lgica se contienen en un grupo de tratados que, en tiempos posteriores, llegaron a ser conocidos colectivamente como el Organon. Son seis en nmero: las Categoras, De Interpretatione, Primeros Analticos, Segundos Analticos, Tpicos y Refutaciones Sofsticas. (Los ttulos no son, probablemente, debidos a Aristteles, y dan poca informacin sobre el contenido.) En forma impresa, componen un volumen de varios centenares de pginas, pero la silogstica, o teora del silogismo, que es el ncleo real de la lgica aristot6lica, se encontrar expuesta en muy pocas pginas, al comienzo de los Primeros Analticos. La mayor parte del resto del Organon est dedicada a cuestiones que se salen del

2
campo de la lgica, si bien ocasionales pasajes arrojan luz sobre la terminologa empleada en la silogstica o suministran otra informacin bsica de inters. Antes de seguir adelante conviene advertir, entre parntesis, que al leer a Aristteles es preciso tener siempre en consideracin las vicisitudes que han sufrido los escritos aristotlicos durante las veintitrs centurias de su historia. Se han mutilado pasajes, las notas marginales de los comentaristas han sido insertadas en el texto, el orden de libros y captulos ha sido tergiversado, secciones enteras se han perdido, y obras espurias han sido aadidas -todo ello agregado a los normales errores de omisin, reduplicacin y sustitucin de los copistas. El lgico que lea a Aristteles tendr que adaptarse asimismo al descuido del autor en lo que respecta a la distincin uso-mencin. As, por ejemplo, locuciones de la forma todo A es B y A est incluido en B son utilizadas en recproco intercambio con locuciones correspondientes de la forma B es predicado de todo A y B conviene a todo A,de hecho, el autor dice llanamente en un lugar que estar una cosa incluida totalmente en otra, y ser esta otra predicada universalmente de la primera, es lo mismo. As, en las Categoras, encontramos este aserto: Cuando una cosa es predicada de otra como de un sujeto, todo lo que se predica de lo que es predicado ser tambin predicado del sujeto; p. ej., hombre es predicado de un hombre particular, y animal de hombre; as animal ser predicado tambin del hombre particular. Plantear la cuestin de si Aristteles habla aqu sobre palabras o sobre cosas o sobre unas y otras, es, probablemente, plantear una cuestin respecto de la cual no hay respuesta; ello no implica, naturalmente, que carezca de contenido lo que dice. Un silogismo, de acuerdo con Aristteles, es un trozo de discurso en el cual, siendo puestas ciertas cosas, algo distinto de ellas se sigue necesariamente del hecho de que se las ponga. Esta definicin inducira a suponer que Aristteles usa el trmino silogismo aproximadamente en el sentido de argumento vlido, pero, de hecho, su uso es mucho ms restringido. Hacia el comienzo de los Primeros Analticos, el autor enumera los tipos de enunciado que pueden ser componentes de un silogismo. Toda premisa o conclusin, se nos dice, es afirmativa, o negativa, segn que afirme o niegue algo de algo. Es tambin universal, particular o indefinida: Un enunciado universal establece que algo conviene a todos o a ninguno (de los miembros) de algo; un enunciado particular establece que algo conviene a alguno o no a alguno o no a todos (los miembros) de algo; mientras que un enunciado indefinido afirma meramente, ni en general ni en particular, que algo pertenece o no pertenece a algo, verbigracia, que el placer no es bueno. En la prctica los enunciados indefinidos son ignorados por Aristteles; la razn de ello, de acuerdo con los comentaristas, es que son equivalentes a los correspondientes enunciados particulares. En cualquier caso, los componentes de los silogismos aristotlicos son siempre enunciados que son universales o particulares y afirmativos o negativos; esto es, por usar los ejemplos del propio Aristteles, enunciados como Todo hombre es blanco, Ningn hombre es blanco, Algn hombre es blanco y No todo hombre es blanco, ms tarde conocidos, respectivamente, como enunciados de la forma A, E, 1 y 0. Expresiones como hombre y blanco son denominadas trminos. La teora de] silogismo no toma en consideracin los enunciados singulares, como Scrates es blanco, si bien los enunciados de este tipo han jugado un papel preeminente en las exposiciones de la llamada lgica tradicional. No todo argumento compuesto de enunciados de cualquiera de las formas A, E, 1, 0, resulta ser un silogismo, sino slo los que contienen exactamente dos premisas y una conclusin, y envuelven no ms de tres trminos. As las dos premisas tienen siempre, cuando menos, un trmino en comn, el cual recibe el nombre de trmino medio. El predicado de la conclusin es el trmino mayor, y el sujeto de la conclusin es el trmino menor. En el tratado De Interpretatione menciona Aristteles algunas de las relaciones lgicas que se dan entre los enunciados A, E, 1 y 0, cuando tienen los mismos trminos, sujeto y predicado. Los enunciados A y 0 son contradictorios entre s, como tambin los E y los I. De todo par de contradictorios, afirma Aristteles, uno

3
exactamente es verdadero. Los enunciados A y E se denominan contrarios; los contrarios no pueden ser ambos verdaderos, pero pueden ser ambos falsos. Estas y otras relaciones fueron posteriormente representadas de forma esquemtica en el Cuadrado de Oposicin, una figura que se encuentra en casi todo texto de lgica tradicional y que apareci por vez primera en el comentario al De Interpretatione, de Apuleyo de Madaura (siglo segundo d.C.). Aristteles antepone a su exposicin deductivo de la teora, a guisa de prefacio, el establecimiento de las llamadas leyes de conversin, de las que hace uso ms tarde para reducir un tipo de silogismo a otro. Dice que el enunciado universal negativo se convierte en un universal negativo; por ejemplo, si ningn placer es bueno, entonces nada bueno ser un placer. Los enunciados afirmativos universal y particular se convierten en particulares afirmativos; por ejemplo, si todo placer es bueno, o si algn placer es bueno, entonces algo bueno es placer. El enunciado particular negativo no admite conversin; no es el caso que si algn animal no es hombre, entonces algn hombre no es animal. Aristteles formula estas leyes con la ayuda de variables: Si A no conviene a ningn B, entonces B no convendr a ningn A. Si A conviene a todo B, entonces B convendr a algn A. Si A conviene a algn B, entonces B convendr a algn A. Este es el primer uso claro de variables en la historia de la ciencia. La exposicin de la teora procede por enumeracin de los tipos vlidos (o modos) de silogismo, indicando cmo algunos de stos pueden ser derivados de (reducidos a) otros, y por refutacin de modos invlidos sobre la base de contraejemplos.(...) Los nombres de los modos vlidos ( Barbara, Celarent, Darii, Ferio, Cesare, Camestres, Festino, Baroco, Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison, Fesapo y Ferison)son una contribucin medieval (...) Aristteles agrupa los modos del silogismo en las tres llamadas figuras. A fin de probar por un silogismo que A conviene o no conviene a B, nos dice, es necesario tomar algo que sea comn respecto de ambos, y ello puede hacerse de tres maneras: o bien predicando A de C y C de B, o C de ambos, o ambos de C.Tales son las susodichas figuras, y es claro que todo silogismo ha de ajustarse necesariamente a una de ellas. As los modos vlidos Brbara, Celarent, Darii y Ferio pertenecen a la primera figura; Cesare, Camestres, Festino y Baroco, a la segunda; y Darapti, Felapton, Disamis, Datisi, Bocardo y Ferison, - a la tercera. En poca posterior se aadi una cuarta figura, que corresponde a la posibilidad de probar A de B predicando C de A y B de C. Nadie sabe si Aristteles omiti esta posibilidad a resultas de alguna consideracin teortico o simplemente por inadvertencia. Para el lgico moderno, el aspecto ms interesante de la teora del silogismo es su desarrollo como sistema axiomtico. Aristteles tena conciencia de que esto puede hacerse en ms de una manera. En primer lugar selecciona como axiomas los modos vlidos de la primera figura, y prueba los restantes. reducindolos a los axiomas. Sus reducciones son directas o indirectas. Una reduccin directa se lleva a. cabo mediante la conversin de una o ms premisas del silogismo a probar, la inversin del orden de ellas si resulta necesario hacerlo, y finalmente la derivacin de la conclusin deseada haciendo uso del silogismo con respecto al cual se efecta la reduccin. Como puede verse por los pasajes cuya traduccin se dio ms arriba, Aristteles utiliza este mtodo para reducir Cesare y Camestres a Celarent; Festino, Felapton y Ferison, a Ferio; y Darapti, Disamis y Datisi, a Darii. Por otra parte, la reduccin de Baroco y Bocardo a Barbara es indirecta. Que la conclusin de un silogismo dado se sigue de sus premisas se establece por dicho mtodo suponiendo una de las premisas y la contradictoria de la conclusin, y derivando luego, conforme al silogismo respecto del cual se efecta la reduccin, la contradictoria de la otra premisa. De este modo, el argumento resulta de acuerdo con el teorema ((p q) r) ((p r) q),

4
a pesar de que nuestro autor nunca formula explcitamente un tal principio. Despus de haber mostrado cmo reducir todos los modos vlidos a los de la primera figura, Aristteles afirma a continuacin que Barbara y Celarent solos bastaran como axiomas para la teora. Ello lo establece reduciendo Darii y Ferio a modos de la segunda figura, y mostrando luego que todos los modos de la segunda figura pueden ser reducidos a Barbara y Celarent, de la primera. (Cesare, Camestres y Baroco han sido ya as reducidos, y Aristteles explica que Festino puede ser reducido tanto indirectamente a Celarent como directamente a Ferio). Para coronar la realizacin de pareja tarea, observa, y correctamente, que, de hecho, los modos vlidos de cualquiera de las tres figuras podran servir igualmente bien de axiomas. Porque, aun cuando ya no se entretenga en mostrarlo, Barbara puede ser reducido indirectamente a Baroco o Bocardo, y Celarent a Festino o Disamis. De este modo, Aristteles no slo introdujo variables y las us para formular, por vez primera, un nmero de leyes de la lgica formalmente vlidas, sino que por medio del primer sistema axiomtico de la historia se las ingeni para demostrar algunas de las interrelaciones entre tales leyes. Asimismo merece especial mencin su conciencia implcita de que, hasta cierto punto, la eleccin de axiomas es arbitraria: lo que en una formulacin de una teora dada es un axioma, puede ser en otra un teorema derivado. Al establecimiento de los catorce modos vlidos se llega mediante el uso de contra-ejemplos para eliminar todas las dems posibilidades; como los pasajes que contienen tales eliminaciones son un tanto crpticos, tal vez valga la pena explicar una instancia tpica. Pero si M es predicado de todo N y 0, no habr silogismo. Trminos para la relacin afirmativa son sustancia, animal, hombre; para la relacin negativa sustancia, animal, nmero. Este es el modo que tiene Aristteles de mostrar que en la segunda figura no es vlido ninguno de los cuatro modos que comienzan Si M es predicado de todo N y 0, entonces... Desarrollndolo, el argumento discurrira como sigue. Si existiese un modo vlido con las premisas dadas y una conclusin negativa, entonces toda asignacin de trminos a las variables que hiciese verdaderas a las premisas tendra que hacer asimismo verdadera a la conclusin, y por ende, tendra que hacer falsa a la frmula N es predicado de todo O. (Porque la universal afirmativa es incompatible tanto con las universales como con las particulares negativas.) Pero al asignar los trminos sustancia, animal y hombre a M, N y O, respectivamente, resultan verdaderas las premisas y falsa la frmula universal afirmativa-, por lo tanto, no existe modo vlido con las premisas dadas y una conclusin negativa. Similarmente, si existiese un modo vlido con las premisas dadas y una conclusin afirmativa, cualquier asignacin que hiciese verdaderas a las premisas tendra que hacer verdadera a esa conclusin, y consiguientemente, hara falsa a la frmula negativa universal N no se predica de ningn O. Pero al asignar sustancia, animal y nmero a M, N y O, resultan verdaderas las premisas y esa frmula. Por lo tanto, no existe un modo vlido con las premisas dadas y una conclusin afirmativa. Vemos que Aristteles est haciendo uso aqu de la misma idea que inspir nuestra definicin de consecuencia. Para mostrar que un modo es invlido construye una interpretacin bajo la cual sus premisas sean verdaderas y su conclusin falsa. Merced a una ingeniosa asignacin de trminos, se las compone a veces para eliminar hasta ocho modos con una sola interpretacin. Limitaciones de espacio nos impiden intentar una exposicin de las contribuciones de Aristteles a la lgica modal, esto es, a la teora de los operadores modales necesariamente y posiblemente. Mucho tuvo que decir sobre esta materia, aunque casi todo parece mutilado y confuso. Infortunadamente, el lector no cesa de preguntarse en qu medida se debe atribuir la dificultad a la naturaleza de la materia, y en qu medida a la confusin aristotlica, a la corrupcin del texto, o, en ltima instancia, a su propia limitacin mental. Sabemos muy poco acerca de la historia de la lgica en la escuela peripattica despus de Aristteles. Teofrasto (372-288 a.C.), su inmediato sucesor en la direccin de la escuela, consagr, al parecer, su vida casi exclusivamente al

5
desarrollo y correccin de los descubrimientos de su maestro. Se dice que aadi cinco modos vlidos a la primera figura del silogismo; ello, empero, no revelaba defecto alguno en el anlisis de Aristteles, sino nicamente una ambigedad en el trmino primera figura. En lugar de la estructura AB - BC - AC, que exhiben invariablemente los modos de la primera figura aristotlica, los cinco nuevos modos poseen la estructura AB - BC - CA; como, por ejemplo, en: Si A es predicado de todo B y B de todo C, entonces, predicado de algn A. es necesario que C sea

As, cuando se invierten sus premisas, se ve que resultan ser justamente los cinco modos vlidos de la cuarta figura. Teofrasto es mencionado asimismo por haber llevado a cabo ciertas clarificaciones en la lgica modal aristotlica, como tambin por su propia contribucin al estudio de los llamados silogismos hipotticos. Estos ltimos son argumentos de forma tal como: Si A entonces B y si B entonces C, por lo tanto, si A entonces C, 0 Si A entonces B y si no A entonces C; por lo tanto, si no C entonces B. Mientras los Peripatticos se ocupaban de preservar el legado de Aristteles, otro grupo de filsofos, los Estoicos y Megricos, desarrollaban un modo radicalmente distinto de acercarse la lgica formal. De hecho, estaban inventando el clculo de enunciados.. Infortunadamente, todos los escritos sobre lgica de estos autores se han perdido, y en consecuencia, tenemos que reconstruir sus doctrinas a partir de fragmentos hallados en las obras de personas que escribieron centurias despus. Por razones obvias, sera demasiado esperar que la imagen compuesta as obtenida fuese enteramente satisfactoria; de hecho, el prodigio es que tenga algn grado de consistencia. La escuela megrica fue fundada por Euclides (que no debe ser confundido con el gemetra), un seguidor de Scrates. Entre sus discpulos se contaban Eublides, a quien se ha adscrito la antinomia del Mentiroso, y Trasmaco de Corinto, que fue el maestro de Stilpon. Stilpon, a su vez, fue el maestro de Zenn (336-264 a.C.), el fundador del estoicismo. Muy poco se sabe acerca de cualquiera de estos hombres, pero donde los hechos acaban comienza la leyenda. En lo que concierne a Zenn, por ejemplo, se nos cuenta que no fue griego, sino que habla nacido en Chipre, se traslad ms tarde a Atenas, provocando la ira local al proponer la reforma del lenguaje griego antes de que hubiese aprendido a hablarlo, y, despus de una dilatada carrera filosfica, muri a la edad de noventa y ocho, conteniendo su propia respiracin. Sus sucesores en el cargo de la escuela estoica fueron Cleantes (descrito como un pgil indigente que fue a Atenas y entr en la escuela de Zenn, lleg a ser cabeza de la misma, transmiti sin alteracin las doctrinas de Zenn y, eventualmente, a la edad de noventa y nueve, se priv de alimento hasta morir) y Crisipo (280-205 a.C.). Junto con Aristteles, Crisipo fue el lgico ms productivo de la antigedad. Como se reconoce en vetustas sentencias, Si hay alguna lgica en los cielos, es la de Crisipo, Si no hubiese existido Crisipo, no habra existido la Estoa; y del propio Crisipo se cuenta que dijo a Cleantes, Vosotros traedme teoremas, que yo me encargar de probarlos. Otra rama importante del la escuela megrica inclua a los dos lgicos Diodoro Croxios (307 a.C.) y su discpulo Filn. Diodoro aport las definiciones de necesidad y posibilidad en trminos de las nociones de siempre verdadero y a veces verdadero; hasta donde alcanza nuestro conocimiento, Filn fue el inventor de la implicacin material. Los estoicos, a diferencia de Aristteles, tenan muy clara idea sobre e uso y la mencin. Posea una teora semntica un tanto similar a la d Frege, que extraaba una distincin entre el signo, su sentido y su denotacin. El sentido es lo que los griegos, pero no los brbaros, son capaces de captar cuando oyen hablar con palabras griegas. El sentido de un enunciado declarativo es una proposicin; slo las proposiciones pueden ser verdaderas o falsas, y ellas constituyen, por tanto, la materia propia de la lgica. Grande atencin consagraron estoicos y megricos al sentido de las conectivas si.... entonces, y y o. En particular, la controversia

6
sobre la interpretacin adecuada de los condicionales fue tan intensa que, de acuerdo con un fragmento, largo tiempo incomprendido, de Calmaco, hasta loscuervos graznan en los tejados discutiendo sobre la verdad del condicional. En un pasaje sumamente interesante, Sexto Emprico (siglo tercero), nuestra ms importante fuente para la lgica estoica, describe las cuatro principales interpretaciones que eran tema de consideracin. Sexto las ordena de la ms dbil a la ms fuerte, aduciendo en cada caso un ejemplo que vale en todos los sentidos que le preceden, pero no en el inmediato a considerar. (Al objeto de destacar ms claramente los diferentes puntos de vista, se insertan nmeros en el texto.) Porque Filn dice que un condicional verdadero es aquel que no tenga un antecedente verdadero y un consiguiente falso; p. ej., cuando es de da y estoy conversando, Si es de da, entonces estoy conversando; pero Diodoro lo define como aquel que ni es ni fue nunca capaz de tener un antecedente verdadero y un consiguiente falso. Segn l, el condicional que se acaba de mencionar parece ser falso, ya que, cuando es de da y guardo silencio, tendr un antecedente verdadero y un consiguiente falso; pero el siguiente condicional parece verdadero: Si lo-s -elementos atmicos de las cosas no existen, entonces los elementos atmicos de las cosas existen, puesto que siempre tendr el antecedente falso, Los elementos atmicos de las cosas no existen, y el consiguiente verdadero. Los elementos atmicos de las cosas existen. (3) Pero aquellos que introducen conexin o coherencia dicen que un condicional vale siempre que la negacin de su consiguiente -sea incompatible con -su antecedente; de suerte que, de acuerdo con ellos, los antedichos condicionales no valen, pero el siguiente es verdadero: Si es de da, entonces es de da. (4) Y aquellos que juzgan por ,sugestin declaran que un condicional es verdadero si su consiguiente est efectivamente incluido en su antecedente. De acuerdo con stos, Si es de da, entonces es de da, y todo condicional que se repita, ser probablemente falso, porque es imposible que una cosa est incluida en s misma.(Sexto Emprico, Esbozos del Pirronismo, II, 1 10) La definicin filnica de implicacin material aparece con frecuencia en los fragmentos, usualmente en una forma estilizado, reminiscente del anlisis de tablas de verdad: Entonces, dado que hay cuatro combinaciones posibles de las partes de un condicional -antecedente verdadero y consiguiente verdadero, antecedente falso y consiguiente falso, falso y verdadero, o, inversamente, verdadero y falso, dicen que en los tres primeros casos el condicional es verdadero (esto es, si el antecedente es verdadero y el consiguiente es verdadero, es verdadero; si falso y falso, vuelve a ser verdadero; similarmente para falso y verdadero); mientras que slo en un caso es falso, a saber, cuando el antecedente es verdadero y el consiguiente es falso. (Sexto Emprico, Contra los Matemticos, VIII, 247) A las conectivas y y o se les dio asimismo interpretaciones tanto en el sentido de la teora de funciones de verdad como en el modal, y en el caso de o se distingui un sentido inclusivo y uno exclusivo. Se advirti que si nos atenemos a los sentidos correspondientes a la teora de funciones de verdad, la conectiva si.... entonces puede ser definida en trminos de no y de y, y (acaso) que o puede ser definida en trminos de si..., entonces y de no. De hecho Crisipo recomendaba que, a efectos de claridad, el condicional material Si alguno ha nacido bajo la constelacin del Can, entonces no morir ahogado en el mar se expresase como una conjuncin negada. No es simultneamente cierto que: alguno haya nacido bajo la constelacin del Can y haya de morir ahogado en el mar. (Ntese, sin embargo, que estos enunciados son propiamente generales, no moleculares). Un argumento, segn los estoicos, es un sistema compuesto de premisas y una conclusin. El ejemplo tpico era una instancia de modus ponens: Si es de da, entonces hay luz; Es de da;

7
Por tanto, hay luz. Un argumento se define como correcto si su condicional correspondiente es verdadero; evidentemente se hace uso aqu de una de las ms fuertes interpretaciones del condicional. El trmino correcto ha sido aplicado tambin a esquemas de argumentos, como: Si lo primero, entonces lo segundo; Lo primero; Por tanto, lo segundo. Un esquema de argumento es correcto si todas sus instancias son correctas. Es claro que los estoicos usaban lo primero, lo segundo, etctera, como variables que podan ser sustituidas por enunciados; y ello en neto contraste con las variables aristotlicas, cuyos posibles sustitutos eran trminos generales, como hombre y animal. Los estoicos, al igual que Aristteles, intentaron ordenar todos los argumentos correctos en una especie de sistema deductivo. Parece que consideraron slo aquellos argumentos que son formalmente correctos en el sentido del clculo de enunciados. Se tomaron como bsicos argumentos de cinco tipos, y todos los dems se declararon reducibles a cadenas de ellos. Los cinco tipos bsicos son instancias de los siguientes esquemas: 1. 2. 3. Si lo primero, entonces lo segundo; Lo primero; Por tanto, lo segundo. Si lo primero, entonces lo segundo; No lo segundo; Por tanto, no lo primero. No a la vez lo primero y lo segundo; Lo primero; Por tanto, no lo segundo. Lo primero o lo segundo; Lo primero; Por tanto, no lo segundo. Lo primero o lo segundo; No lo primero; Por tanto, lo segundo.

4. 5.

Las pruebas en el sistema se daban esquemticamente, por medio de cuatro reglas. Infortunadamente, nuestro conocimiento de estas reglas y de su aplicacin es incompleto. Sobre la base de algunos ejemplos dados por Sexto, sin embargo, se han hecho conjeturas plausibles. Considrese, nos dice este autor, el siguiente esquema de argumento: (1) Si a la vez lo primero y lo segundo, entonces lo tercero; (2) No lo tercero; (3) Lo primero Por tanto, no lo segundo. Un argumento de este tipo est compuesto de argumentos bsicos de los tipos I y II. Partiendo de (1) y (2). por I, obtenemos (4) No a la vez lo primero y lo segundo. Esto que se acaba de obtener puede ahora, segn una denominada regla dialctica ser aadido a las premisas. En cuyo caso, de (3) y (4), por III, llegamos a la conclusin. La mencionada regla dialctica se enuncia as: si tenemos premisas que dan lugar a una conclusin, entonces podemos incluir efectivamente a esa

8
conclusin entre las premisas, aun en el supuesto de que no estuviese explcitamente establecida. Es claro, por tanto, que los estoicos trataban de hallar un conjunto manejable de reglas de inferencia merced a las cuales podran derivarse, por un procedimiento especificado con exactitud, las consecuencias tautolgicas de premisas dadas. Observaciones transmitidas por Cicern parecen indicar que crean que sus cinco, reglas bsicas eran suficientes; nuestro imperfecto conocimiento de los detalles nos prohbe formar un juicio de valor de semejante pretensin. Los fragmentos conservados contienen algunos otros esquemas que eran considerados probables. 0 lo primero o lo segundo o lo tercero. No lo primero. No lo segundo. Por tanto, lo tercero. Crisipo sugiri que hasta los perros parecen utilizar argumentos de esta estructura . Sostena haber observado que cuando un perro anda a la caza de un animal y llega a un punto donde el camino que sigue se divide en tres, si rastrea primero las dos sendas que el animal no tom, se lanzar por la otra sin detenerse a efectuar la menor comprobacin. Segn Crisipo, el perro arguye efectivamente como sigue: 0 se fue por este camino, o por ese, o por aquel otro. No se fue por este camino. No se fue por ese camino. Por tanto, se fue por aquel otro. Dcese de este argumento que envuelve la repetida aplicacin del esquema V. Debemos a Orgenes otro divertido ejemplo de argumentacin estoica: Si sabes que ests muerto, ests muerto. Si sabes que ests muerto, no ests muerto. Por tanto, no sabes que ests muerto. (Y, naturalmente, como las premisas son analticas, tambin lo es la conclusin.) Orgenes da, adems, el esquema, Si lo primero, entonces lo segundo. Si lo primero, entonces no lo segundo. Por tanto, no lo primero. pero no nos dice cmo se lo resolva en los cinco tipos bsicos. Finalmente, podemos mencionar el inters de los estoicos por las paradojas y antinomias. La ms famosa de ellas fue la del Mentiroso, una de cuyas versiones reza as: el hombre que dice Estoy mintiendo est a la vez mintiendo y diciendo la verdad. Esta importante antinomia fue tomada muy en serio en la antigedad, como tambin en tiempos medievales y modernos; Crisipo escribi libros enteros sobre ella, y existe incluso el epitafio del lgico Filites de Cos (en la traduccin de S. Jorge Stock). Soy Filites de Cos, El Mentiroso fue quien me hizo morir, Y las insomnes noches por l causadas. Durante ms de 1000 aos despus de Crisipo no hubo, en la medida en que alcanzan nuestros conocimientos, nadie que contribuyese en algo de grande originalidad a la ciencia de la lgica. Los autores dignos de mencin son importantes tan slo por haber ayudado a preservar la doctrina antigua y hacer posible su transmisin a la Edad Media (y eventualmente a nosotros). As el gran orador Cicern (106-43 a.C.) suministra algunos retazos de informacin sobre la lgica estoica y es responsable de la traduccin al latn de gran parte de la

9
terminologa lgica griega. A partir del siglo segundo d.C. disponemos de un par de introducciones a la lgica escritas al efecto por Apuleyo de Madaura, anteriormente mencionado a propsito del Cuadrado de Oposicin, y el mdico griego Galeno (131-201). Estos libros, y otros similares, parecen haber jugado un papel esencial en preservar de la corrupcin o de la desaparicin a los antiguos descubrimientos. Pero tambin son una muestra de que, hacia la mitad del siglo segundo, la inevitable confusin de elementos estoicos y aristotlicos estaba ya muy avanzada. Al comienzo del siglo tercero, el comentador aristotlico Alejandro escribi una exgesis muy til de las obras lgicas de Aristteles, incorporando una cierta cantidad de informacin sobre los estoicos. Posteriormente tenemos a Sexto Emprico y Digenes Laercio, que son nuestras mejores fuentes para la lgica estoica. Una traduccin latina de los Esbozos del Pirronismo, del primero de estos dos autores, pudo haber sido asequible ya desde el siglo doce, y pudo haber jugado as un papel en el desarrollo de la lgica medieval. Al comienzo del siglo quinto encontramos a Boecio (470-524) y Marciano Capella, ambos preocupados de compilar un panorama de la tradicin lgica tal y como exista en su poca. Boccio verti al latn las obras de Aristteles Categoras y De Interpretatione, y redact, adems, comentarios sobre estas obras y sobre la Introduccin (a las Categoras de Aristteles), escrita en el siglo tercero por el comentador griego Porfirio, por aadidura, compuso tratados sobre el silogismo categrico y el hipottico. Su obra revela que conoca a fondo la materia, y hasta la mitad del siglo doce fue la principal fuente de informacin sobre la lgica antigua, pero esto es lo mejor que puede decirse de l. Marciano Capella tiene todava menos relieve como lgico, pero su funcin de transmisor de la tradicin lo hace digno de ser mencionado. 2.
LGICA MEDIEVAL

Como ha subrayado 1. M. Bochenski, la historia de la lgica no sigue un desarrollo gradual que conduzca de Aristteles a los tiempos modernos. Ms bien parecen destacar en ella, por el contrario, tres puntos culminantes, todos de duracin relativamente corta, que estn separados por largos perodos de declinacin. La primera de estas cimas tuvo lugar en los siglos tercero y cuarto a.C., la segunda, de los siglos doce al catorce, y la tercera comenz a finales del siglo diecinueve y, segn los optimistas, se encuentra hoy en pleno florecimiento. Esta generalizacin es, sin duda, demasiado esquemtica, y hay algunos lgicos de importancia -Leibniz es un ejemplo seero- que no caen dentro de ninguno de esos perodos, pero en lo sustancial se la puede tener por verdadera. La contribucin medieval a la lgica, importante como fue, se mueve ms bien en el rea de lo que hoy llamamos filosofa de la lgica que en la de la lgica propiamente dicha. Cierto es que esta afirmacin no puede establecerse con absoluta seguridad, porque al presente se sabe incluso menos acerca de la lgica medieval que acerca de la lgica antigua. Existe una gran cantidad de manuscritos que no han sido ledos, ni mucho menos editados, por historiadores competentes, y puede que contengan importantes innovaciones, pero a juzgar por lo que ahora sabemos, parece indudable que la Edad Media no aport nuevos sistemas axiomticos, ni incremento, en comparacin con Crisipo, o incluso Aristteles, el grado de rigor, ni, en general, continu el progreso al nivel establecido por las ms excelentes figuras de la antigedad. Sus contribuciones se centran en torno a la investigacin de la semntica y la lgica del lenguaje latino, e incluyen adems un gran acopio de sutiles anlisis filosficos acerca de mltiples cuestiones de carcter intuitivo que subyacen a todo desarrollo formal de la materia. Como ejemplo de ello, cabe mencionar la prolija discusin sobre el problema de si todo enunciado se sigue de una contradiccin; algunos autores emiten la interesante observacin de que para desembarazarnos de este resultado, un tanto singular, nos veramos forzados a abandonar asimismo varias estructuras de inferencia que por otra parte son completamente inobjetables (vase pgina 33, ejercicio 2). Antes de pasar a la consideracin de autores individuales, convendra insistir -en que el ms importante factor que determina la naturaleza de la lgica escolstica en los varios perodos de su historia fue la disponibilidad del material heredado de los antiguos. Hasta mediados del siglo doce, las nicas obras generalmente

10
accesibles fueron las Categoras y el De Interpretalione de Aristteles, la Introduccin de Porfirio y varios escritos derivados, compuestos por Boecio y Marciano Capella. Dado que el espritu de los tiempos otorgaba el mayor peso a la tradicin, esta pobreza de fuentes se refleja en una correlativa restriccin del rango y profundidad de las discusiones. Hacia la segunda mitad del siglo doce, sin embargo, el renacimiento del inters por el aprendizaje de la lgica haba progresado hasta el punto de que los estudiosos procuraban, por todos los medios a su alcance, familiarizarse con el legado de la antigedad, incluyendo el resto del Organon de Aristteles. A partir de entonces las contribuciones profesorales se tornan mucho ms abundantes y alambicadas. La primera gran figura en la historia de la lgica medieval es Pedro Abelardo (1079-1142). Cierto es que Alcuino, que ense en York hacia el fin del siglo octavo y se encarg ms tarde de la direccin de la escuela fundada por Carlomagno, escribi un libro titulado Dialectica, pero este libro apenas contiene otra cosa que una discusin de las categoras aristotlicas. Y en los siglos nueve y diez hubo, presumiblemente, al menos algunas otras obras similares. Pero hasta Abelardo y su escuela no encontramos una discusin completa y relativamente lcida de un gran nmero de cuestiones relacionadas con la lgica. Una proporcin sorprendentemente grande de los tpicos y mtodos que aparecen a lo largo de la lgica medieval tiene su inicio en los escritos de Abelardo. As, aun cuando no fue l quien origin la gran controversia acerca de la existencia de universales, le dio su primer fuerte impulso. Su postura vena a situarse de alguna manera entre realismo (platonismo) y nominalismo. Los hombres individuales son distintos entre s, afirmaba, pero coinciden en que son hombres; no digo que coincidan en hombre (in homine), puesto que nada es hombre (sit homo) a menos que sea individuo, sino en ser un hombre. Porque ser un hombre no es hombre (non est homo) ni cosa alguna de tal ndole. Su obra Sic et Non establece el canon medieval de presentacin de toda discusin filosfica bajo el encabezamiento de quaestiones; se propone una quaestio, se establecen sistemticamente los argumentos en pro y en contra, y luego se da la solutio y se la aplica a los argumentos previamente expuestos. El mtodo es rgido y estilizado, pero contribuye a aclarar sobremanera la estructura del discurso de un autor. Otra de las innovaciones de Abelardo fue su distincin entre los condicionales (consequentiae) que son verdaderos por virtud de su forma (ex complexione) y aquellos que son verdaderos por virtud de los hechos (ex rerum natura). A los condicionales verdaderos de esta ltima especie, y asimismo a los argumentos a ellos correspondientes, los consideraba un tanto imperfectos. En un condicional perfecto, nos dice, el sentido del consiguiente precisa estar contenido en el del antecedente. Abelardo dedic mucha atencin a la partcula verbal es, arguyendo que el contenido de todo enunciado categrico es susceptible de ser expresado mediante un enunciado de la forma A es B (A est B). Incluso Scrates existe (Socrates est) puede ser representado mediante Scrates es una cosa existente (Socrates est ens). Tal vez se abra aqu el camino a la -posibilidad de reducir el nmero de predicados en nuestro lenguaje a uno solo- el 5 de la teora de conjuntos y de representar la existencia como relacin de pertenencia al conjunto universal. Abelardo dedic tambin gran cantidad de espacio a las modalidades, planteando problemas que todava hoy estn bajo discusin. En la obra de Abelardo no encontramos signos de familiaridad directa con otros escritos aristotlicos que las Categoras y De Interpretatione; su magna concepcin de la silogstica est evidentemente sacada de Boecio. Una vez que lleg a ser generalmente asequible el resto del Organon de Aristteles, aparecieron numerosas summulae (breves sumarios) de lgica. La ms antigua de stas que ha sido impresa es la obra de Guillermo de Shyreswood (m. 1249). Contiene, entre una miscelnea de otras interesantes cuestiones, dos poemas memotcnicos dignos de reproducir aqu. El primero es el famoso Barbara Celarent Darii Ferio Baralipton Celantes Dabitis Fapesmo Frisesomorum;

11
Cesare Campestres Festino Baroco; Darapti Felapton Disamis Datisi Bocardo Ferison. En estos versos se alistan los modos silogsticos vlidos de las tres primeras figuras (aadindose adems a los de la primera figura los cinco modos adicionales de Teofrasto). En los nombres de los modos, casi todas las letras son significativas. Las primeras tres vocales caracterizan los componentes del silogismo, as Barbara consta de tres enunciados A con los trminos dispuestos de acuerdo con la estructura de la primera figura. Las consonantes dan instrucciones para reducir el modo dado a uno de los cuatro primeros: la consonante inicial indica el modo respecto al cual ha de efectuarse la reduccin (as Baralipton, Baroco, y Bocardo se reducen a Barbara); una ocurrencia de s significa que el enunciado denotado por la vocal precedente ha de ser convertido simplemente; similar es el significado de una ocurrencia de p, slo que en este caso la conversin no es simple; una ocurrencia de m indica que las premisas han de ser intercambiadas; y una c nos dice que usemos la reduccin indirecta. Se recomienda al lector verificar por si mismo la eficacia de estas instrucciones. El otro poema ofrece, en efecto, el contenido de nuestra regla I: Todo, ninguno-no, y no-alguno-no, son equivalentes, Como lo son ninguno, no-alguno y todo-no; Alguno, no-alguno, y no-todo-no van asociados; Asirmismo lo estn alguno-no, no-ninguno-no, y no-todo. Ello nos permite advertir, incidentalmente, que nuestros cuantificado res todo y alguno podran haber sido definidos con idntica correccin en trminos de un cuantificador con el sentido de ninguno. Pedro Hispano (ca. 1210-77), que fue probablemente discpulo de Guillermo de Shyreswood cuando ste enseaba en Pars, y que lleg a ser ms tarde Papa bajo el nombre de Juan XXI, escribi el segundo de los dos nicos libros de summulae que son accesibles en una edicin moderna. En su tiempo fue considerado este libro como obra clsica, y continu siendo utilizado hasta el siglo diecisiete. Su contenido era similar al del manual escrito por Guillermo, con la salvedad de incluir ms y mejores versos memotcnicos; ello, juntamente con la elevada posicin de su autor, puede explicar que alcanzase mayor popularidad. Contiene secciones sobre proposiciones, los cinco predicables de Porfirio (definicin, gnero, especie, propiedad y accidente), las categoras, el silogismo, reglas tpicas de argumentacin, y falacias; por aadidura, incluye un grupo de apartados sobre Las Propiedades de los Trminos. La doctrina de las propiedades de los trminos aparece a lo largo de la lgica medieval tarda, y frecuentemente se la considera su ms original contribucin. Infortunadamente, empero, los diferentes autores dan versiones diferentes, y todava aguardamos una exgesis realmente clara de esas versiones. Las propiedades ms comnmente mencionadas son significatio, suppositio, copulatio y appellatio, de las que decase caracterizar diferentes aspectos del funcionamiento de los trminos en los enunciados latinos tal y como de hecho se los utilizaba. En semejante contexto la palabra trmino comprende nombres generales (v.g., hombre), verbos (v.g., es o corre), y adjetivos (v.g., blanco). Todo trmino tiene significatio, que parece efectivamente ser lo que pudiera llamarse su sentido de diccionario, y que, segn los realistas, es siempre una forma. Pero, cuando se lo utiliza en un enunciado, un trmino puede no representar a su significatum. Si se lo emplea con suppositio materialis (como el trmino Homo en Homo est disyllabum) el trmino en cuestin se representa a s mismo; en caso contrario se dice que tiene suppositio formalis. Esta ltima puede ser simplex (como en Homo est species), cuando el trmino es utilizado refirindose a su significatum, o personalis (como en Homo currit o en Omnis homo est animal), cuando se refiere a uno o ms individuos que caen bajo la forma que es el significatum. La clasificacin de tipos de suppositio es elaborada mucho ms tarde, siempre sobre la base de distincione que parecen interesantes pero son difciles de elucidar. Copulatio (vinculacin), en la concepcin original suministrada por Abelardo, es la propiedad

12
de los verbos por virtud de la cual pueden stos unir sujeto y predicado para formar un enunciado categrico; otros autores la definen harto diferentemente. La appellatio de un trmino se dice ser su referencia a cosas existentes al presente. En general, y hasta que se arroje ms luz sobre la materia, nicamente cabe conjeturar que las propiedades de los trminos, si se las entiende de modo correcto, resultarn ser una coleccin de conceptos semnticos tiles en la explicacin de varios problemas lgicos que surgen en el empleo del lenguaje natural (como es, por ejemplo, la cuestin de saber por qu Scrates sola ser un muchacho no es equivalente a Algn muchacho sola ser Scrates). Los lgicos principales del siglo catorce son Guillermo de Occam (ca. 1295-1349), Juan Buridn (m. poco despus de 1358), Alberto de Sajonia (ca. 1316-90), y un autor desconocido a quien llamamos el Pseudo Escoto porque sus escritos fueron largo tiempo atribuidos a Duns Escoto. La Navaja de Occam (la proposicin de que las entidades no debieran multiplicarse sin necesidad) y el Asno de Buridn (un infortunado jumento que pereci de inanicin por no poder decidirse a elegir entre dos equidistantes pilas de heno) sern bien conocidos de los lectores familiarizados con la historia de la filosofa. Pero en la historia de la lgica, la importancia de Occam y Buridn, como tambin la de los otros dos autores, reside primariamente en su desarrollo de la teora de las consequentiae. El trmino consequentia, segn fue definido por el Pseudo Escoto, significa una proposicin hipottica compuesta de un antecedente y un consiguiente, unidos por una conjuncin condicional, y es claro que por conjuncin condicional dicho autor se refiere no solamente a si..., entonces, sino tambin a por tanto. As, se incluyen como ejemplos de consequentiae Todo hombre es un animal; por tanto, todo animal es un hombre. Scrates existe y Scrates no existe; por tanto, Scrates no existe. Para la correccin de una consequentia se da de ordinario una condicin tal como la siguiente: una consequentia es correcta si y solamente si no es posible que el antecedente sea verdadero y el consiguiente falso. Esta es la idea clave, si bien a veces se introducan correcciones menores en orden a precaverse de ciertas paradojas a las cuales pareca dar lugar la establecida condicin. Pese a la generalidad de esta concepcin de la correccin, sin embargo, en la prctica se consideraban slo consequentiae formalmente correctas, y de estas ltimas slo aquellas que en tiempos modernos seran contadas como partes del clculo enunciativo (suplementadas a veces por los operadores modales necesariamente y posiblemente). En sus exposiciones de las consequentiae correctas, los autores medievales utilizaban descripciones metalingsticas en lugar de esquemas que contuviesen variables. As, en lugar de frmulas tales como: p; por tanto, p o q q; por tanto, p o q y p p y q; por tanto, p y q; por tanto, q

encontramos Hay una consequentia correcta de cualquier parte de una disyuncin afirmativa a la disyuncin afirmativa de la cual es parte. y Cualquier parte de una conjuncin se sigue de la conjuncin de la cual es parte. E. A. Moody ha reunido un gran nmero de tales caracterizaciones, halladas principalmente en los escritos de los cuatro autores anteriormente mencionados y

13
los ha expuesto sistemticamente por medio de frmulas en notacin moderna. Con el mismo propsito podemos usar frmulas del clculo CE de nuestro lenguaje formalizado L, en la inteligencia de que han de servir tan slo para indicar la existencia de los correspondientes asertos metatericos. (...) Tambin encontramos los correspondientes anlogos de las frmulas que siguen: 1 2 3 4 5 6 7 8 9 1 0 1 1 1 2 1 3 1 4 1 5 (pq) ((pr) (qr) (q r) ( (pr) (pq) (p-q)(p q) p (q q) (p (q q)) p p (p q) q- (p q) (p ((p q) (qr))) r (p q) ((q-r)(p r)) (p q)((p r)(q r)) (p q)(((p q)r) (p r)) (p q)(((q r) s) ((p r) s)) ((p q) r) (( p r)q) ((pq)r) ((qr) -p) ((p q) r) (r (p q))

En adicin de cuantas anteceden, eran asimismo mencionadas varias consequentiae correctas que envolvan operadores modales. De ellas daremos este solo ejemplo: Para la posibilidad de una disyuncin es suficiente que cualquiera de sus partes sea posible. Antes de abandonar el perodo medieval es preciso mencionar una objecin, sobremanera notable, que puso el Pseudo Escoto a la caracterizacin tpica de una consequentia correcta como aquella en la cual es imposible que el antecedente sea verdadero y el consiguiente falso. Tras advertir que sobre esta base ser correcta toda consequentia cuyo consiguiente sea necesario, se brinda a construir un ejemplo de conseqtentia incorrecta en la cual tanto el antecedente como el consiguiente son necesarios. Dicho ejemplo es: Dios existe; por tanto, esta consequentia no es correcta. La consequentia , es, con seguridad, incorrecta, dice nuestro autor, puesto que en caso contrario tendramos una consequentia correcta con un antecedente verdadero y un consiguiente falso. Y como quiera que hemos establecido tal incorreccin utilizando nicamente la verdad necesaria de que Dios existe, la incorreccin es necesaria., As la consequentia, aunque incorrecta, tiene un consiguiente necesario. Dejamos al lector que explore por s mismo este argumento, hacindole notar tan slo que la premisa Dios existe podra perfectamente haber sido reemplazada 2+2=4 o cualquier otra verdad necesaria. 3. LGICA MODERNA

14
El Renacimiento, con su reaccin frente al escolasticismo medieval, marca el principio de otro largo perodo de relativa inactividad en la historia de la lgica. A los humanistas que redescubran las bellezas del griego clsico y la literatura latina, los escritos de los lgicos les parecieron no slo montonos y triviales en contenido, sino tambin brbaros en cuanto al estilo. Estos sentimientos fueron compartidos por hombres de vocacin cientfica, quienes hallaban, por aadidura, que la silogstica aristotlica con todo su instrumental vena a resultar punto menos que intil para la realizacin de los propsitos por ellos perseguidos. Bajo tales circunstancias, difcilmente sorprender que la lgica dejase de atraer a las mentes dotadas de mayor talento y que a consecuencia de ello se fuese hundiendo gradualmente en un estado de abandono. Hasta la aparicin, cuatrocientos aos ms tarde, de Boole, De Morgan y Frege, no se recobr de los efectos de semejante retroceso, para experimentar un renacimiento de su problemtica. Con la sola excepcin de Leibniz, todos los lgicos de este perodo han de ser clasificados como menores. El primero de ellos es Pedro Ramus (1515-72), quien escribi una serie de tratados sobre lgica y fue conocido principalmente por su antiaristotelismo. La gran popularidad e influencia de su obra parecen difciles de justificar. Tal vez sean debidas al hecho de que fue asesinado en la matanza de la Noche de San Bartolom y fue considerado desde entonces como un mrtir por los protestantes. En cualquier caso le debemos el servicio de haberse preguntado si no pas por alto Aristteles silogismos tales como Octavio es el heredero de Csar; yo soy Octavio; por tanto, yo soy el heredero del Csar. Los defensores de Aristteles quedaron reducidos a la desesperada situacin de argir que pareja suerte de silogismo debera ser reformulada como Todo lo que sea Octavio es el heredero de Csar; todo lo que sea yo, es Octavio; por tanto, todo lo que sea yo, es el heredero de Csar. El filsofo Thomas Hobbes (1588-1679) merece una breve mencin por su original y enftico establecimiento del punto de vista segn el cual las verdades necesarias son verdaderas simplemente por virtud de los modos en que se usan sus trminos componentes. El hombre es un ser viviente es verdadero, nos dice, Pero slo por la razn de que plugo a los hombres imponer ambos nombres a la misma cosa. La tesis de que la verdad lgica es debida a convencin lingstica y no a la existencia de vnculos necesarios en la naturaleza, ha tenido, indudablemente, muy considerable influencia en el desarrollo de la lgica, a pesar de la reconocida vaguedad que envuelve a los trminos convencin lingstica y vinculo necesario en la naturaleza. En el siglo diecisis figuran varios influyentes textos de lgica que son dignos de anotar. Uno d e ellos es la Locica Hamburcensis, publicada en 1638 por Joachim Junge (1587-165-7). La obra de Junge es favorable y frecuentemente mencionada por Leibniz, de ordinario en relacin con la consideracin que en ella se hace de las llamadas inferencias a recto ad obliquum. Ejemplos de stas son las siguientes. Un crculo es una figura; por tanto, quienquiera que dibuje un crculo dibuja una figura. . Un reptil es un animal; por tanto, quienquiera que fuese el que cre todos los animales, cre todos los reptiles. Las inferencias relacionases de este tipo no fueron, sin embargo. Descubrimiento de Junge, pues casos similares haban sido cubrimiento haban sido ya considerados por Occam; p. ej.: Todos los hombres son animales; Scrates ve un hombre; por tanto, Scrates ve un animal. Otro texto de esa ndole fue publicado por Amold Geulincx en 1662, con el ttulo Lgica Restituida al Fundamento del que Previamente Decay. Contiene exposiciones relativamente lcidas de un nmero de temas tpicos, incluyendo la teora de la suppositio, la combinacin de no con , todo y alguno, las leyes de

15
De Morgan y el silogismo categrico. Por aadidura hay una discusin del llamado antisilogisnio, p. ej.: Pedro no es un animal; por tanto, no es a un mismo tiempo cierto que: Pedro es un hombre y todos los hombres son animales. El ms famoso e influyente texto del perodo fue. empero, La La logique ou lart de penser (mejor conocida como La lgica de Port Royal) publicado en 1662 por Antoine Arnauld y Pierre Nicole. Con su concepcin de la lgica como el arte del razonamiento correto, es un ejemplo muy temprano del genre como pensar correctamente. Ello no quiere decir que se trate de un mal libro, sino slo que casi todo cuanto contiene se sale del rea de lo que en nuestros das se llama lgica. Su ms conocida aportacin es la distincin entre comprensin y extensin de trminos generales. La comprensin de un trmino general es el conjunto de todos aquellos atributos que no pueden ser, removidos sin destruir ese concepto; la extensin consta de todos los objetos inferiores a dicho concepto. En el caso del trmino general tringulo, los autores nos dicen que la comprensin incluye el tener extensin, figura, tres lados, tres ngulos, la igualdad de esos tres ngulos con dos ngulos rectos, etc. La extensin consta, presumiblemente, de todos los tringulos particulares, si bien los autores no son muy claros al respecto. Es obvio que esta distincin guarda relacin con la existente entre sentido y denotacin, originalmente esbozada por los estoicos y ulteriormente restablecida por Frege en forma ms satisfactoria. El gran filsofo y polgrafo Gottfried Wilhelm von Leibniz se interes profundamente por la lgica y concibi por vez primera una serie de ideas que anticipaban desarrollos que tuvieron lugar dos siglos despus. Sin embargo, su obra ms importante qued sin publicar, por causa de lo cual, adems de otros factores, su influencia en la historia de la lgica no fue tan grande como hubiera debido ser. Ya antes de cumplir los veinte aos Leibniz expuso el proyecto de construir una lingua philosophica o characteristica universalis, un lenguaje artificial cuya estructura fuese un espejo de la estructura del pensamiento. Estaba convencido de que el lenguaje ordinario, con toda su ambigedad, vaguedad, defectuosa traza y elementos superfluos, no era un vehculo apto para la comunicacin y ni siquiera para el pensamiento. La idea de un lenguaje artificial no era nueva en s misma, pero lo que Leibniz sugiri o estaba sugiriendo era algo ms que un mero sistema de abreviatura notacional. La idea crucial de sus propsitos era ms bien la de que en el mbito del pensamiento, como en el del lenguaje, existe lo complejo y lo simple, y de que es en principio posible asignar signos simples a los elementos del pensamiento de manera tal que los signos de pensamientos complejos fuesen siempre construidos de un modo nico a partir de los signos representativos de las partes de esos pensamientos. En parejo lenguaje, las expresiones lingsticas seran, como l, imgenes o figuras de los pensamientos que representasen. Ello, crea Leibniz, facilitara grandemente el pensamiento y la comunicacin, y permitira el desarrollo de reglas mecnicas para decidir todas las cuestiones de consistencia o consecuencia. Innecesario es decir que Leibniz no fue capaz de llevar a cabo su programa, aunque emprendi varios intentos de construccin de clculos formales. En uno de estos intentos desarroll incluso parte de la teora de identidad, basndola en la Ley de Leibniz (las cosas son idnticas si pueden ser sustituidas recprocamente en toda ocasin sin que cambie el valor de verdad), y utilizando los mismos tipos de prueba que hemos seguido en el sistema formal del captulo 9, seccin 1. Es de lamentar que no llegase ms lejos en la misma direccin. El matemtico italiano Gerolamo Saccheri, conocido principalmente por su anticipacin de la geometra o euclidiana, merece .ser mencionado aqu por su discusin de la Ley de Clavius, i.e., (p p)p, y su inteligente uso de esta ley en las pruebas. Su librito de lgica, Logica Demonstrativa (1697) contiene algunos argumentos notables en los que, para probar que un modo silogstico dado es invlido, construye en ese modo un silogismo con premisas verdaderas y una conclusin declarativo de que el modo en cuestin es invlido. A continuacin

16
arguye: si el modo es vlido, la conclusin de este silogismo es verdadera y el modo es invlido; por tanto, el modo es invlido. Saccheri es asimismo digno de nota por su relativamente cuidadoso uso de la definicin; supo apreciar la necesidad de demostrar la existencia y unicidad de un objeto antes de introducir un trmino que lo denote. Ms de un siglo despus aparece Benard Bolzano (1781-1848), que escribi una obra descomunal titulada Wissenschaftslehre (Teora de la Ciencia). Esparcidas a lo largo de los varios volmenes de la misma hay varias contribuciones originales que slo recientemente han atrado la atencin que merecen. Una de ellas viene a representar el primer intento relativamente preciso de definir analiticidad en trminos de interpretaciones. Infortunadamente, las definiciones de Bolzano estn formuladas haciendo referencia a proposiciones, consideradas en oposicin a enunciadas. Nos habla de obtener una proposicin a partir de otra reemplazando sus partes constituyentes. Pero es difcil aclarar lo que pueda significar reemplazo cuando se lo aplica a entidades de las que se afirma que son inespaciales y atemporales. Consiguientemente, aun cuando su idea bsica es buena, habra que introducir, en ella sustanciales clarificaciones antes de que pudiese ser utilizada de un modo riguroso. Bolzano define la analiticidad en un sentido amplio y en un sentido estricto. Una proposicin es universalmente vlida con respecto a un constituyente o constituyentes dados, si todo resultado de reemplazar a estos constituyentes por otros trminos es verdadero; es universalmente invlida con respecto al constituyente o constituyentes dados, si todo resultado de esa operacin es falso. As, la proposicin el hombre Cayo es mortal se dice que es universalmente vlida con, respecto al constituyente Cayo. Una proposicin es analtica (en sentido amplio) con respecto a un constituyente dado, si es universalmente vlida o universalmente invlida; en caso contrario es sinttica. Si una proposicin es analtica con respecto a todos sus constituyentes, exceptuando los lgicos, es analtica en sentido estricto. Esta es la nocin que nos parece de valor, aun cuando, dada la dificultad de establecer una clara distincin entre los constituyentes que son lgicos y los que no lo son, Bolzano no saca demasiado provecho de ella. La consistencia la define esencialmente como sigue: un grupo de proposiciones es consistente si algn reemplazo de sus constituyentes no lgicos las hace a todas verdaderas. Y una proposicin dada es una consecuencia de un grupo de proposiciones, si todo reemplazo de constituyentes que haga verdaderos a todos los miembros del grupo la hace verdadera. La ntima relacin que guardan estas ideas con los mtodos que hemos utilizado en el captulo 4 (sobre la nocin de interpretacin en lgica de predicados) es manifiesta. El moderno desarrollo de la lgica empieza en serio con la obra de George Boole (1815-64) y Augustus De Morgan (1806-71). Estos hombres desarrollaron casi simultneamente los fundamentos de la llamada lgebra lgica, que consta de lgebra de clases, (lgebra booleana) y del lgebra de relaciones binarias. Tanto Boole como De Morgan subrayaron la obvia similitud de estructura entre ciertas leyes de la lgica y frmulas correspondientes del lgebra numrica ordinaria. Al elaborar, empero, sus sistemas lgicos, no pretendieron dar una caracterizacin completa de estos sistemas, sino nicamente indicar los puntos que los diferencian del lgebra ordinaria. Slo ms tarde se llevaron a cabo formulaciones ms satisfactorias. En el captulo precedente hemos dado una tal formulacin del lgebra de clases. (...) El lgebra de las relaciones binarias, originada por De Morgan y Charles Sanders Pcirce (18391914), es similar al lgebra de clases, con la excepcin de que en lugar de tres smbolos de operacin tenemos en ella seis, que se interpretan como denotativos de la unin, interseccin, complementacin, suma relativa, producto relativo y conversin de relaciones binarias arbitrarias. Axiomas para el lgebra de relaciones han sido dados por Tarski. El lgebra de clases no debe ser confundida con la teora general de conjuntos, de la cual es slo una pequea parte. La teora de conjuntos, que puede con idntico derecho ser llamada la teora de la relacin de ser-miembro-de o pertenencia, fue creada por el matemtico Georg Cantor (1845-1918). La teora de Cantor incorporaba anlisis de las nociones de nmero cardinal y ordinal,

17
infinitud y muchos otros conceptos que son importantes en la matemtica moderna: en particular, desarroll por vez primera una teora de cardinales infinitos y llev a cabo una prueba de la afirmacin segn la cual para cualquier conjunto M, finito o infinito, el nmero cardinal del conjunto de sus subconjuntos es mayor que el nmero cardinal de M. Se ha descubierto que la teora de Cantor, en su forma ms simple, permite la derivacin de la Antinomia de Russell, y en vista de ello se han dedicado cuantiosos esfuerzos al intento de hallar subteoras consistentes que preserven cuanto sea posible de su contenido. Ahora llegamos a Frege. Si hay un punto en el que estn de acuerdo todos los recientes historiadores de la lgica, es en el eminente lugar que ocupa Gottlob Frege (1848-1925) entre los que han contribuido al desarrollo de esta disciplina. Alonzo Church declara sin ambages que Frege es indiscutiblemente el ms grande lgico de los tiempos modernos; M. Bocheski llama a Frege indudablemente el ms distinguido pensador en el campo de la lgica matemtica y afirma que el Begriffsschrift de Frege es comparable en importancia slo con otro libro en toda la historia de la lgica, a saber, los Primeros Analticos de Aristteles; y William y Martha Kneale encuentran que el sistema deductivo o clculo que l elabor es la ms grande contribucin personal en la historia de la materia. La contribucin de Frege consiste, en una palabra, en haber inventado la lgica en su forma moderna. En su breve libro Begriffsschrift, aparece, por vez primera, una exposicin axiomtico, completamente formalizada, consistente y completa del clculo de enunciados. Usando como primitivas la negacin y la implicacin de teora de funciones de verdad, emplea seis axiomas, juntamente con el modus ponens y la sustitucin como nicas reglas de inferencia. An ms importante es la introduccin de cuantificadores llevada a cabo por Frege en su sistema formal, que merced a la inclusin de axiomas y reglas adicionales se expande as hasta convertirse en un sistema completo del clculo de predicados de primer orden. Toda la exposicin est de acuerdo con su rigurosa concepcin personal de una teora satisfactoriamente formulada: tal teora debera construirse en un lenguaje artificial, formalizado, para el cual se explicase el concepto de frmula (bien formada) por la exclusiva referencia a la figura o aspecto fsico de las expresiones envueltas; habra que dar una relacin explicita de los smbolos primitivos, en trminos de los cuales se definiran luego todos los dems; asimismo habra que incluir en una relacin, como axiomas, todas las frmulas a establecer sin prueba; toda otra frmula susceptible de ser establecida tendra que ser derivada de los axiomas por aplicacin de reglas formales de inferencia, que deberan estar completamente determinadas de antemano. El nmero de estas reglas, como tambin el de los axiomas y trminos primitivos, debiera ser lo ms reducido posible. Pero lo ms importante de todo, en la concepcin de Frege, era que las derivaciones fuesen sin agujeros; lo cual podra lograrse sin gran dificultad, pensaba nuestro autor, si las reglas de inferencia fuesen tan pocas y simples como resultase posible. Al efectuar el paso [partiendo de los axiomas ] a una nueva asercin, es preciso no contentarse, como hasta ahora han venido haciendo prcticamente siempre los matemticos, con su aparentemente obvia correccin, sino que, por el contrario, hay que analizarlos resolvindolos en los pasos lgicos simples de que constan -y que a menudo sern bastantes. Tales observaciones no granjearon a Frege la simpata de sus colegas matemticos, a pesar de que l estuvo siempre pronto y dispuesto a sealar ejemplos en los que el razonamiento matemtico, de hecho, se haba desviado por causa de las muchas deficiencias que nuestro autor trataba de remediar. Otra de sus principales contribuciones a la lgica va ms all del clculo de predicados de primer orden y envuelve la cuantificacin de variables predicativas (o clases). Tal fue su notable descubrimiento de que la aritmtica, y con ella otras considerables porciones de la matemtica, pueden ser reducidas a lgica. La reduccin se lleva a cabo definiendo los conceptos bsicos de la aritmtica en trminos de nociones puramente lgicas. En lo esencial el mtodo de Frege es como sigue. Primero define dos conjuntos cualesquiera como cardinalmente

18
semejantes si hay entre ellos una correspondencia de uno a uno. Luego define el nmero cardinal de un conjunto M como el conjunto de todos los conjuntos cardinalmente semejantes a M. As, el nmero entero 1 es el conjunto de todos los conjuntos que satisfacen la condicin (0x)(y)(y 5 My = x); el nmero entero 2 es el conjunto de todos los conjuntos M que satisfacen la condicin (0x)(0y)(x y (z)(z 5 M (z = x z = y))); y as sucesivamente. La suma p + q de los dos. enteros p y q ser el conjunto de todos los conjuntos C que satisfacen la condicin (0A)(0B)(A5p B5q A B= C AB = 2) El conjunto de enteros positivos puede entonces ser definido como la interseccin de todos los conjuntos a que satisfacen la condicin 1 5 M (N)(N5 A N+1 5M). As los, conceptos bsicos de la aritmtica son definibles exclusivamente en trminos de nociones lgicas, y por tanto las leyes de la aritmtica se convierten en leyes de lgica. En el primer volumen de su Grundgesetze der Arithmetik (1903) Frege lleva a cabo esta derivacin de la aritmtica a partir de la lgica; aun cuando su sistema era vulnerable a la Antinomia de Russell, puede ser rectificado de varios modos, de suerte que la correccin de sus ideas bsicas permanece intacta. En la filosofa del lenguaje Frege es importante por su distincin entre sentido y denotacin. Su obra en este rea, como en todas las que toc, ha resultado ser extraordinariamente estimulante para investigadores posteriores. Muchas de las concepciones de Frege se pueden encontrar, asimismo, menos sistemticamente desarrolladas, en los escritos del lgico americano Charles Sanders Peirce (1839-1914). Con entera independencia de Frege, Peirce invent un simbolismo adecuado para toda la lgica, elabor porciones de la teora de la cuantificacin (hasta el punto de incluir la forma normal prenexa), y prob importantes resultados en la teora de relaciones. La siguiente gran figura en la historia de la lgica es Bertrand Russell, quien, juntamente con Alfred North Whitehead (1861-1947), escribi la monumental obra Principia Mathematica. Al incorporar la llamada teora de tipos, un instrumento confeccionado para obviar la inconsistencia del sistema de Frege, este tratado en tres volmenes da en larga medida cumplimiento al programa de Frege de derivar la matemtica de la lgica. En ciertos respectos, especialmente dondequiera que vaya envuelta la distincin uso-mencin, queda por debajo del alto nivel de rigor mantenido por Frege. No obstante, es, sin duda, una obra clsica que ha determinado en buena parte el subsiguiente desarrollo de la lgica. Finalmente haremos breve mencin de la obra de Kurt, Gdel y Alfred Tarski. Debemos a Gdel la primera prueba de la completitud de la lgica elemental, y el todava ms impresionante teorema de incompletud para lgicas de orden superior. Al establecer este ltimo teorema mostr que no puede darse un sistema axiomtico completo y consistente para la aritmtica elemental de los nmeros naturales. (Esta teora es formulada en el clculo de predicados de primer orden con identidad y smbolos de operacin; el vocabulario no lgico se reduce a dos smbolos de operacin binaria; las aserciones son todos los enunciados de la teora que, son verdaderos cuando se entiende que el mbito de interpretacin de las variables son los nmeros naturales y los smbolos de operacin representan la adicin y la multiplicacin). El teorema de incompletud de Gdel ha tenido un profundo efecto sobre la filosofa de la matemtica,

19
mostrando de una vez por todas que la verdad matemtica no puede ser identificada con la derivabilidad a partir de conjunto particular alguno de axiomas. La obra de Alfred Tarski abarca todo el campo de la lgica, desde su aspecto ms filosfico hasta el ms matemtico. En el rea de la semntica, ha logrado con xito introducir definiciones absolutamente precisas para muchos conceptos -sobre todo el de verdad- que previamente haban sido relegados al vasto acervo de la confusin filosfica, de hecho, puede decirse con toda propiedad que es el creador de la semntica, en el sentido cientfico de este trmino. Tambin ha realizado profundas contribuciones en teora de conjuntos y, en el rea de la metamatemtica, ha aportado buen nmero de importantes resultados concernientes a la decidibilidad de varias teoras matemticas. Con sus numerosos discpulos y asociados, Tarski debe ser considerado como una de las ms grandes fuerzas individuales que impulsan hoy el progreso de la ciencia de la lgica.