EL DESARROLLO DE LA LGICA: ALGUNOS HITOS IMPORTANTES

Eliana Mory Arciniega El propsito de esta exposicin es hacer una revisin panormica y general de algunos momentos importantes en el desarrollo de la lgica formal occidental. Hemos optado por una presentacin de tal naturaleza debido al largo proceso de desarrollo y cambios en la historia de esta ciencia. Podramos haber optado por detenernos en algn perodo de especial inters, pero hemos preferido hacer una revisin general y, por tanto, somera a toda la panormica comenzado desde Aristteles y llegando hasta el siglo XX porque eso nos permitir comprender el sentido actual del trabajo de esta ciencia y el origen de su naturaleza simblica, tan cuestionada como mtodo. De acuerdo con Bochenski, autor clave en lo que a historia de la lgica se refiere, el desarrollo de la lgica se puede dividir en cinco perodos: 1 Perodo clsico antiguo (siglo IV a.C. siglo VI d.C.). Perodo que formalmente se inicia con Aristteles, pero que puede rastrearse a algunos pensadores previos. El inicio de la lgica formal suele trazarse con Aristteles porque fue l quien concibi por primera vez en la historia del pensamiento occidental la lgica como un instrumento y, por ende, como una disciplina independiente de otras reas del conocimiento humano, en el sentido de que tiene sus propios mecanismo de anlisis, no en el sentido de que no guarda relacin con otras disciplinas. Alta edad media (siglo VII siglo XI d.C.). Segn Bochenski, este perodo se caracteriza por la ausencia de creacin y de investigaciones lgicas; por este motivo, no nos detendremos en l durante la exposicin. Escolstica (siglo XI siglo XV d.C.). Este perodo, ubicado en plena Edad Media, se caracteriza por ser una etapa fecunda en creacin e investigaciones lgicas. Cuando se suele hablar del alto grado de desarrollo de la lgica medieval, se alude a esta etapa. poca moderna de la lgica clsica ((siglo XVI siglo XIX d.C.). Esta etapa tambin se distingue por la ausencia de creacin en lgica formal; los trabajos realizados durante este perodo estaban orientados en una direccin muy distinta de lo que entendemos hoy por lgica formal.

Cfr. Bochenski 1966:21.

Lgica matemtica o simblica (desde la segunda mitad del siglo XIX en adelante). ste es el momento clave de cambios en el desarrollo de la lgica; es aqu cuando nuestra ciencia sufre una transformacin sustancial que la convierte en lo que conocemos hoy por lgica formal y simblica.

Cabe insistir en que estas cinco etapas estn nicamente referidas a la lgica occidental, la iniciada con Aristteles. Sin embargo, es necesario mencionar que hubo un desarrollo independiente de la lgica oriental, desde el siglo I d.C. En esta lgica no hubo desarrollo del clculo, pero muchos de los hallazgos o trabajos en esta forma 2 de la lgica coinciden con los de la lgica occidental, por ejemplo los referidos a algunas reglas de inferencia deductivas.3 Antes de comenzar la exposicin de los hitos importantes en la historia de la lgica, resultar de utilidad ponernos de acuerdo respecto de algunas nociones elementales que se mencionarn reiteradamente en la presentacin. Estas nociones son las siguientes: Argumento deductivo: es la cadena de enunciados que guardan entre s una relacin especial, la relacin premisas-conclusin. En todo argumento, las premisas son las afirmaciones que pretenden justificar la verdad de la conclusin; la conclusin es, por tanto, aquello a favor de lo cual se argumenta. El argumento es deductivo cuando las premisas pretenden garantizar la verdad de la conclusin y no slo establecerla como probable. Esto es posible porque las premisas contienen afirmaciones generales que supuestamente se aplican a la totalidad de casos a los que se hace referencia en el argumento. El argumento deductivo, la deduccin misma, es el tema central de la lgica formal. Validez: es una cualidad sintctica, estructural, de los argumentos deductivos. Consiste en que si se admiten como verdaderas las premisas, entonces debe admitirse tambin como verdadera la conclusin. En un argumento vlido, nunca se da el caso de que las premisas sean verdaderas y que al mismo tiempo la conclusin sea falsa, lo que no significa que las premisas sean verdaderas realmente, pues las premisas o la conclusin pueden ser falsas y el argumento puede ser vlido. Lgica proposicional: es una parte de la lgica que estudia las relaciones entre las proposiciones, las conexiones lgicas entre ellas, sin considerar los elementos lgicos que pueden hallarse dentro de las proposiciones simples como los cuantificadores, los predicados, los operadores modales, etc., sino solamente operadores tales como la conjuncin, la negacin, el condicional, el bicondicional y la disyuncin.
2 3

As se refiere Bochenski a la lgica oriental, como una de las formas de la lgica. Al respecto, vase Bochenski 1966, pgs. 431-463 y Prior 1976, pgs. 39-60.

155

LGICA

 Lgica de predicados (o lgica cuantificacional): es la parte de la lgica que estudia, adems de los elementos proposicionales, algunos elementos internos de las proposiciones simples, tales como los cuantificadores, los predicados y los individuos. Es una ampliacin de la lgica proposicional. Lgica modal: es un rea de la lgica no clsica que estudia, adems de los elementos proposicionales y cuantificacionales, los llamados operadores modales. Esta gran rea de la lgica se suele dividir en lgica modal altica, dentica, temporal y doxstica, segn el tipo de modalidades que sean analizadas. Sin embargo, se suele llamar de manera general "lgica modal" slo a la lgica modal altica, aquella que estudia los operadores modales "necesario" y "posible". Silogismo: es un tipo particular de inferencia que se caracteriza por poseer bsicamente dos premisas, una conclusin y un trmino medio que sirve de elemento comn y, por tanto, de conexin entre las premisas. En un silogismo categrico, el trmino medio es una categora; en tanto en un silogismo proposicional, el trmino medio es una proposicin, ya sea simple o compuesta. Sistema axiomtico: es una compleja estructura de enunciados que est compuesta de axiomas, reglas de inferencia y teoremas. Tanto los axiomas como los teoremas son tesis del sistema, es decir, afirmaciones aceptables dentro del sistema. La diferencia entre unos y otros reside en que los primeros son indemostrables dentro del sistema, son los puntos de partida; en tanto los teoremas son demostrados a partir de los axiomas y en virtud de las reglas de inferencia. La naturaleza de los axiomas dentro de un sistema es un asunto discutido y discutible, pues pueden considerarse afirmaciones verdaderas que no necesitan bajo ningn punto de vista demostracin alguna y, por tanto, seran afirmaciones apodcticas; o podran considerarse simplemente afirmaciones que sirven para demostrar todo lo que el sistema pretende demostrar como vlido dentro del mismo sin que necesariamente sean afirmaciones verdaderas para cualquier otro sistema. Esta aproximacin general a estas nociones nos servir para comprender muchos de los detalles a los que aludiremos a lo largo de la presentacin. Empezaremos ahora la revisin histrica de los momentos en el desarrollo de la lgica.

PERODO CLSICO ANTIGUO (IV a.C. VI d.C.)

Antes de Aristteles, varios pensadores plantearon la necesidad de establecer criterios precisos para diferenciar las argumentaciones

Anexos

156

correctas de las incorrectas, incluso plantearon aunque no explcita ni sistemticamente muchas reglas de inferencia que son para todos hoy conocidas, como el Modus Ponens o el Modus Tollens y muchas otras; entre dichos pensadores cabe resaltar al propio Platn. Para ilustrar la lnea de desarrollo que dio origen a las primeras formas de lgica formal la aristotlica y la megrico-estoica vamos a reproducir el cuadro que presenta Bochenski:4 Zenn de Elea (460 a.C.) Scrates ( 399 a.C.) Platn (427-347 a.C.) Aristteles (384-322 a.C.) Teofrasto ( 287 a.C.) Sofistas antiguos Euclides de Megara Diodoro Crono (307) Filn de Megara Zenn de Critias (366-246) Crisipo de Solos (281-208) ESCUELA PERIPATTICA ESCUELA ESTOICA ESCUELA MEGRICA

Aristteles
Contrariamente a lo que pudiera pensarse, Aristteles no us el trmino "lgica" para hacer referencia al instrumento que cre en sus obras de lgica, conocidas como Organon instrumento, ms bien haca uso del adjetivo "analtico" para aludir a la idea de lo que se sigue de las premisas, y esto es lo que ms se acerca, como trmino, a lo que entendemos hoy por "lgico". El gran discpulo de Platn escribi los primeros textos de lgica, sistemticamente concebida, que la tradicin occidental ha conocido. El conjunto de estos textos fue editado por Andrnico de Rodas en el siglo I a.C. y no fue Aristteles quien los sistematiz ni los denomin, como ha ocurrido con la mayora de sus obras. El Organon est compuesto de los siguientes escritos: Las categoras. Entre los temas que se abordan, cabe destacar la teora sobre los trminos, la teora de la predicacin y la teora de la
4

Cfr. Bochenski 1966: 38.

157

LGICA

oposicin. Esta ltima plantea las relaciones entre las cuatro proposiciones categricas tpicas de manera tal que Aristteles formula ya aqu algunas reglas de inferencia y de equivalencia entre proposiciones. Peri hermeneias. Para ilustrar el contenido de este trabajo, citaremos un breve pasaje del mismo: "Antes que nada hay que exponer qu es un nombre y qu es un verbo y, a continuacin, qu es una negacin, qu una afirmacin, qu una declaracin y qu un enunciado." (16a) Con este plan de trabajo, Aristteles pone en claro el contenido del Peri hermeneias: el estudio de la proposicin o sentencia; ello incluye tambin, y necesariamente, la teora de la oposicin entre proposiciones. Los analticos primeros. Contiene un estudio del silogismo y de las reglas de validez. En este sentido, se constituye como una obra de lgica eminentemente formal. Los analticos segundos. Contiene un estudio del silogismo apodctico, es decir, demostrativo, y tambin la construccin de un sistema axiomtico para la silogstica. Aristteles distingui dos clases de silogismo, el apodctico y el dialctico: "A la demostracin llamo razonamiento cientfico; y llamo cientfico a aquel razonamiento en virtud de cuya posesin sabemos." (71b, 15-20) En cambio, el silogismo dialctico es aquel que es vlido pero cuyas premisas son probables; por ello, este tipo de razonamiento no nos hace saber, en el sentido fuerte de la palabra, pues no demuestra. Los tpicos. Se considera el primer ensayo sistemtico de Aristteles y contiene un estudio del silogismo dialctico y tambin la teora de la oposicin entre proposiciones. Refutaciones sofsticas. Contiene un estudio del silogismo sofstico, es decir, de los sofismas o silogismos invlidos; por ello se afirma que este trabajo revela los intereses prcticos de Aristteles en la refutacin y es una suerte de manual prctico. En los textos lgicos de Aristteles encontramos una primera creacin de lgica formal, pues l plantea la clara idea de una ley lgica con validez universal y adems hace uso de variables para analizar las proposiciones us variables, letras maysculas, para referirse a los trminos de las proposiciones categricas. Por otro lado, con la silogstica se crea el primer sistema de lgica formal compuesto de leyes y desarrollado

Anexos

158

axiomticamente. La silogstica es el centro de los trabajos lgicos de Aristteles y la desarroll no slo para la lgica clsica, sino tambin para la lgica modal. El estudio del silogismo comprende la formulacin de reglas para determinar con criterios formales la validez. Aristteles entiende que el silogismo es una inferencia y lo clasific del modo siguiente: silogismo demostrativo (inferencia vlida con premisas verdaderas, es el silogismo cientfico, el que hace saber), silogismo dialctico (inferencia vlida con premisas probables), silogismo erstico (inferencia con premisas que parecen probables pero que no lo son; puede ser vlido o invlido). En cuanto a la lgica proposicional, no se halla en Aristteles un desarrollo sistemtico, sino bsicamente la formulacin de algunas reglas de inferencia proposicionales. Del mismo modo, tampoco encontramos en el Organon un desarrollo sistemtico de semntica o interpretacin formal para los sistemas lgicos creados. Con los trabajos en lgica de Aristteles se encuentra ya la partida de nacimiento de la lgica formal, como puede inferirse de lo expuesto hasta aqu. l plante de manera explcita reglas de inferencia puramente formales e hizo uso de variables no slo para formular tales reglas, sino tambin para explicar los diversos procedimientos de deduccin.

Escuela megrico estoica

Como vimos en el cuadro de Bochenski sobre la lgica antigua, adems de la escuela aristotlica encontramos dos escuelas filosficas cuyos trabajos en lgica son tambin de gran valor en una presentacin histrica general. Dichas escuelas son la megrica y la estoica. Y, tal como lo hace Bochenski, nosotros vamos a presentar ambas escuelas juntas. Un primer aporte, e incluso un avance en relacin con los trabajos de Aristteles, se halla en el surgimiento de una lgica proposicional sistemticamente creada. Esto implica el uso de lo que hoy conocemos como functores proposicionales, en particular, reglas de equivalencia para la negacin, para la conjuncin y la disyuncin. Tambin es de importancia la matriz de Filn, que es una explicitacin de la interpretacin lgica semntica de lo que hoy llamamos el operador condicional en la lgica proposicional. La matriz de Filn expresa exactamente la misma interpretacin que hacemos hoy en lgica estndar del operador condicional, obviamente esta interpretacin se presenta en lenguaje natural y sin el recurso de una tabla de verdad. Otro aporte importante se encuentra en la formulacin de diversas reglas de inferencia proposicionales, como por ejemplo las que hoy conocemos con los nombres de eliminacin del condicional para el sistema de la

159

LGICA

deduccin natural o Modus Ponens, tambin el Modus Tollens, la regla de De Morgan y otras. Cabe destacar que una importante diferencia entre la escuela megricoestoica y la aristotlica se centra en que en la primera el sistema de la lgica proposicional se funda en la semntica, aspecto que Aristteles no trabaj. Los megricos y los estoicos desarrollaron tablas de valores, es decir, se conocieron y se propusieron interpretaciones para los operadores proposicionales; estas interpretaciones no difieren sustancialmente de las usadas hoy da en los sistemas estndares de la lgica proposicional. Obviamente, las interpretaciones se expresaban en lenguaje natural y con largas y complicadas formulaciones; sin embargo, el solo hecho de haber concebido interpretaciones semnticas para los functores implica ya un gran avance en lgica formal.

ALTA EDAD MEDIA (siglo VII siglo XI d.C.)

Segn Bochenski y muchos otros autores dedicados al estudio de la historia de la lgica, durante este perodo no hubo aportes en cuanto a creacin de mtodos nuevos de anlisis lgico, as como tampoco investigacin sobre nuevos problemas. Por ello, no nos detendremos en esta etapa.

ESCOLSTICA (siglo XI siglo XV d.C.)

Bochenski divide esta etapa en tres perodos: Perodo de transicin. Llega hasta Pedro Abelardo (1079-1280). Es una etapa en la que al comienzo no se trabajan problemas nuevos. Perodo creador. El principal representante de este perodo es Pedro Hispano, con su obra Summulae Logicales. Perodo de elaboracin. El trabajo de Guillermo de Ockham (1350) es el ms importante en esta etapa. En lneas generales los principales aportes de la escolstica a la lgica formal estn centrados en la creacin de una semntica y una sintaxis ampliamente desarrolladas a partir de una nueva concepcin de la lgica formal, entendida y trabajada como una abstraccin del lenguaje natural, lo que significa que las reglas de validez se desprenden de los enunciados del lenguaje natural. Al hablar de una semntica, se alude a la formulacin de interpretaciones detalladas para los functores proposicionales y es precisamente en lgica proposicional en donde ms se pueden apreciar los aportes de la escolstica.

Anexos

160

Por otro lado, tambin es relevante el hecho de que los escolsticos hicieron una explcita distincin entre leyes y reglas lgicas. Esta distincin es un avance tcnico muy importante pues al establecer que las reglas son instrucciones que permiten construir inferencias vlidas y que las leyes son afirmaciones vlidas en s mismas y formalmente. Al mismo tiempo con esta distincin se est logrando establecer la fundamental diferencia entre lenguaje objeto y metalenguaje, distincin que ha permitido resolver muchos problemas al interior de diversos sistemas lgicos. Algunas de las reglas que formularon los escolsticos conservan hasta hoy los nombres que ellos les dieron, por ejemplo, el Modus Ponendo Ponens, el Modus Tollendo Tollens, Ex Contradictione Quodlibet y otras. Para terminar de resear el trabajo lgico de los escolsticos hay que sealar que sus investigaciones en lgica modal llegaron a un nivel de desarrollo ms sofisticado que el de los estoicos y que en cuanto al trabajo con las antinomias o paradojas, se dio solucin a problemas completamente nuevos. Sin embargo, diversos especialistas concuerdan en que el trabajo de los escolsticos, especialmente en lgica proposicional, debe haber sido ms un redescubrimiento del trabajo de los estoicos que una evolucin.

POCA MODERNA DE LA LGICA CLSICA (siglo XVI siglo XIX d.C.)

En los inicios de la modernidad, los trabajos en lgica estuvieron marcados por una profunda falta de inters y valoracin de lo formal, es ms, hasta podra hablarse de una serie de prejuicios hacia el anlisis formal. El rechazo por el formalismo de alguna manera estuvo vinculado al humanismo, en tanto ste ltimo recogi de la tradicin griega diversos elementos en desmedro de los trabajos del medioevo. El texto clsico y representativo de este perodo, el conocido como La lgica de Pourt Royal, de Arnault y Nicole5, recoge contenidos del Organon aristotlico; sin embargo, no es un trabajo de lgica formal en sentido estricto. Al respecto de este perodo, veamos lo que afirma Bochenski: "Pobre de contenido, desprovista de problemtica profunda, repleta de una multitud de filosofemas no lgicos, y encima psicologista en el peor sentido de la palabra: he aqu como resumiramos lo que habamos de decir sobre la lgica clsica." (Bochenski 1966: 271)

Lgica o arte de pensar. Tambin es conocido como La Gramtica de Pourt Royal.

161

LGICA

El hecho de que esta etapa de la lgica haya estado marcada por el psicologismo, en un sentido negativo, implica que la lgica no era vista como el instrumento de anlisis formal que permite deslindar los argumentos vlidos de los invlidos. De ah tambin parte el rechazo hacia el formalismo.

LGICA MATEMTICA O SIMBLICA (desde la segunda mitad del siglo XIX en adelante)
Algunas de las caractersticas bsicas que distinguen este nuevo y ltimo perodo en el desarrollo de la lgica son la creacin de clculos lgicos, es decir, construcciones puramente simblicas basadas en principio en los clculos matemticos; los sistemas formales se construyen primero y slo despus pasan a ser traducidos al lenguaje natural, esto es un innovacin respecto de todos los trabajos lgicos anteriores; las leyes lgicas se formulan en los lenguajes artificiales. As, pues, es en esta ltima etapa que se inicia el desarrollo del simbolismo lgico, elemento sustancial en toda la lgica posterior. De acuerdo con Bochenski, la lgica matemtica puede dividirse en cuatro perodos: La pre-historia. Comienza con Leibniz y termina en 1847. Aqu es cuando surge la idea de la lgica matemtica, la idea de que es posible crear simbolismos lgicos tan tiles como los matemticos. Perodo de Boole. Se inicia con su obra The Mathematical Analisis of Logic (1847) y culmina con las Vorlessungen (1895) de Schrder. Aqu se da el primer desarrollo, los primeros progresos, de la lgica matemtica. Perodo de Frege. Comienza con la Ideografa (Begriffsschift 1879) y termina con Principia Matemtica de Russell y Whitehead. En esta etapa ya se haban hecho grandes progresos en el desarrollo del simbolismo y, entonces, las preocupaciones e investigaciones se centran en encontrar los fundamentos de la matemtica en la lgica. Perodo contemporneo. Bochenski lo subdivide del modo siguiente: de 1910 a 1930: surgimiento de la metalgica y los trabajos de la escuela formalista de Hilbert; de 1930 en adelante: desarrollo de la semntica, de las lgicas polivalentes, modales; desarrollo de la metodologa (Tarski), de la sintaxis (Carnap); creacin de sistemas de lgica y metalgica (Gdel, semntica de Tarski). Los aportes ms valiosos se hallan en la creacin de

Anexos

162

nuevos sistemas (Lewis), las lgicas polivalentes de Post y Lukasievicz (1920-1091). Veamos ahora, uno a uno, los aspectos ms importantes de cada una de estas etapas.

Leibniz (1646-1716)
El aporte ms valioso de Leibniz es el haber concebido la idea de crear un simbolismo de uso exclusivo para el anlisis lgico. Esta idea surgi en l a partir de la influencia de Raimundo Lulio y, quizs, tambin de Hobbes, quien pens que obtener conclusiones es hacer operaciones matemticas; tambin surgi en l porque conoci muy de cerca los avances en las matemticas a partir del simbolismo matemtico, recordemos que l fue uno de los creadores del clculo infinitesimal. Su idea era crear un mtodo combinatorio puro para enfrentar los problemas de la deduccin rigurosa y exacta. Pens en crear un alfabeto del pensamiento. Este alfabeto era lo que l llam la characteristica universalis y consista en asignar a cada idea simple un signo y as resolver las operaciones de deduccin por combinacin. Con esta caracteristica universalis, pretendi aplicar lo que l llam la Mathesis Universalis, esto es, el empleo del clculo para efectuar deducciones de manera rigurosa e independientemente del lenguaje natural en que se realicen dichas deducciones. Sin embargo, sus pretensiones de crear un simbolismo no llegaron a dar los frutos esperados pues su proyecto careca del instrumental adecuado y prctico. A pesar de que no lleg a crear el simbolismo que hubiese querido, se le considera el fundador de la lgica matemtica porque fue el primero en intentar la construccin de un clculo lgico que permitiese efectuar deducciones independientemente del lenguaje natural.

Boole (1815-1864)
A diferencia de Leibniz, Boole s lleg a crear un simbolismo til, prctico y eficiente, es decir, lleg a concretar el proyecto de su predecesor. l entendi que la lgica es una construccin puramente formal, que no es una abstraccin de procesos fcticos, sino que ms bien la interpretacin es posterior a la creacin del clculo. Esta idea es central en la lgica matemtica, como ya hemos mencionado. Boole cre un clculo puramente algebraico en el que las operaciones se interpretan como ecuaciones y con una manejo de clases para las proposiciones categricas de la lgica aristotlica; esto significa que tradujo a una teora de ecuaciones la lgica tradicional (la lgica de trminos).

163

LGICA

Sin embargo, el principal obstculo en el simbolismo booleano se halla en que su lgebra estaba muy ligada al clculo aritmtico, aunque las operaciones de ambos no sean isomorfas. As, muchas de las operaciones aritmticas, como la suma o el producto, eran trabajadas en el lgebra booleana tal como en las matemticas y esto no resultaba siempre lo ms adecuado cuando se trata de suma de clases o producto de clases. Por ejemplo, en la aritmtica, el producto Ax0 es igual a 0, y el producto de AxA es ifgual a A2, mientras que en el lgebra de clases el producto AxA es igual a A. As como en el caso del producto, ocurren diferencias anlogas con las restantes operaciones aritmticas. Otros pensadores importantes en el perodo de Boole Jevons (1835-1882) Este lgico ingls estableci un quiebre importante con respecto a Boole: se propuso desmatematizar la lgica, es decir, resolver las deficiencias que el clculo booleano tena. Lo consigui proponiendo nuevas operaciones para el lgebra de clases. Por otro lado, tambin son importantes sus trabajos en relacin con la posibilidad de crear una mquina pensante (calculadora); esto implica que tena muy clara la idea de que la deduccin es puramente mecnica. Peirce (1839-1914) Entre sus principales aportes, todos ellos de orden tcnico, cabe destacar el haber concebido un nuevo operador, la inclusin de clases, para expresar la proposicin universal afirmativa (todo A es B = A B); tambin se cuenta entre sus aportes el haber profundizado el estudio de la implicacin material a partir de la matriz de Filn; esto lo llev a desarrollar la lgica proposicional al punto de haber creado lo que ahora conocemos como las tablas de verdad. Con esto logr desarrollar la semntica proposicional a niveles tcnicos no alcanzados antes, pues logr establecer la interdependencia de los operadores. Finalmente, con los trabajos de este lgico americano se establece que la matemtica es una rama de la lgica y as se da un paso adelante en la relacin entre estas dos ciencias formales, paso que luego, en la siguiente etapa de la lgica formal, se ver fortalecido y llevado hasta sus ltimas consecuencias. Schrder (1841-1902) En su texto Vorlesungen uber die Algebra der Logik (Lecciones sobre el lgebra de la lgica; 1890-1895), se halla el tratamiento ms sistemtico y

Anexos

164

completo de la lgica matemtica pues contiene una sntesis completa y detallada de lo que se haba hecho sobre lgica en el siglo XIX. El perodo de Boole culmina con este trabajo.

Frege (1848-1925)
Con l comienza una nueva etapa en la lgica matemtica, aquella en la que empiezan a prevalecer los intentos por fundamentar la matemtica. Frege sostuvo que todos los conceptos matemticos se pueden obtener por definicin a partir de conceptos lgicos y, por tanto, las operaciones matemticas se pueden reducir a operaciones lgicas. As, de aqu en adelante, la labor primordial de la lgica sera encontrar los fundamentos ltimos de las matemticas. Del mismo modo en que Aristteles pensaba que las premisas de una demostracin deban ser verdaderas, Frege crea que los axiomas que estn en la base de un sistema axiomtico deban ser indemostrables y apodcticos, slo eso garantizara la solidez del sistema. Esto implica una toma de posicin respecto de cul debe ser la funcin de los axiomas y de cmo deben ser elegidos y formulados. As, los axiomas en un sistema no seran slo los puntos de partida necesarios como requisito prctico u operativo para efectuar las demostraciones para las cuales ha sido creado el sistema, sino las verdades evidentes por s mismas que hacen que el edificio axiomtico se base en consideraciones no puramente sintcticas. Segn Agazzi, los principales aportes de Frege a la lgica se pueden resumir del modo siguiente: Frege fue el primero en formular la diferencia entre una variable y una constante lgicas, en establecer con total precisin el concepto de funcin lgica, en establecer de manera rigurosa y formal la diferencia entre ley lgica y regla de inferencia. Por otro lado, encontramos en la obra de este pensador un agudo desarrollo de la lgica de proposiciones, pues formul nuevas leyes y reformul otras ya conocidas. Sin dejar de dar importancia a los dems aportes, uno de los principales fue el crear la lgica de predicados como sistema riguroso y formal. Frege estableci la diferencia entre inclusin de una clase en otra y la pertenencia de un individuo a una clase; esto implica establecer la diferencia entre el operador inclusin de clases y la predicacin de que un individuo pertenece a una clase. A pesar del indudable valor del trabajo lgico de Frege, su obra no fue conocida sino hasta veinte aos ms tarde y sus aportes tuvieron que ser redescubiertos al punto de que no se consider que l fuera el autor de los mismos. Se dice que su trabajo era muy filosfico para los matemticos y muy matemtico para los lgicos.

165

LGICA

Otros pensadores clave en este perodo Peano Fue l quien redescubri lo que Frege ya haba conseguido, pero de manera independiente. Sus obras claves son Arithmetics Principia (1889) y Formulario matemtico (1897). Peano pensaba que la lgica es un instrumento indispensable para una sistematizacin rigurosa de la matemtica. El simbolismo proposicional creado por Peano ha sido de tal importancia que la lgica contempornea es deudora de su clculo proposicional, debido a lo preciso, til y prctico de su sistema. Su aporte ms importante es haber elaborado una axiomatizacin de la aritmtica. Esto implica ya una construccin en la que se ha llegado a formular los fundamentos de la rama ms bsica de la matemtica para ese tiempo. Russell Del mismo modo que Frege, Russell consideraba que la matemtica es un rama de la lgica y, por tanto, la fundamentacin de la matemtica deba construirse desde y en la lgica. Junto a Alfred Whitehead, escribi el texto fundamental con el que culmina este perodo: Principia Methamatica (1910-1913). En l, se halla la sntesis de los trabajos de Frege y Peano: la deduccin de la aritmtica desde la lgica. La obra, escrita en tres volmenes, contiene en una primera parte los fundamentos de la lgica matemtica, el clculo proposicional, el lgebra de clases y los prolegmenos a la aritmtica cardinal; en la segunda y tercera parte se halla el desarrollo de la aritmtica. As, pues, con la obra de Russell se cierra esta etapa en la lgica matemtica, aquella centrada en buscar los fundamentos de la matemtica en la lgica; mientras que en la etapa anterior, los trabajos de lgica estaban centrados en desarrollos tcnicos para perfeccionar el nuevo instrumental simblico que haba empezado a crearse. En resumen, y siguiendo nuevamente a Bochenski, los logros ms saltantes de este periodo son los siguientes: Se consolida una metodologa lgica totalmente nueva: se investigan las leyes lgicas mediante lenguajes creados artificialmente, de modo inverso a como tradicionalmente se ha haba hecho. El mtodo formalstico llega a ser depurado y desarrollado con rigurosidad. Se recuperan doctrinas antiguas: el concepto de forma lgica, la diferencia entre lenguaje objeto y metalenguaje, se consolidan los dos lenguajes lgicos estndares ms conocidos y se desarrollan independientemente lgica proposicional y lgica de trminos.

Anexos

166

Perodo contemporneo6
Ya entrado el siglo XX, la lgica se enfrent a nuevos problemas, una vez que haba logrado un desarrollo tcnico adecuado y suficiente para sus propsitos. Estos problemas estaban vinculados a su nueva orientacin, a la bsqueda de los fundamentos de la matemtica en la lgica. Como ya se seal, los fundamentos de la matemtica se haban orientado a fundamentar la base de la misma, la aritmtica. Pero cuando Georg Cantor crea la Teora de Conjuntos, se establece que el concepto de nmero no es un concepto primitivo y que se puede reducir al concepto de clase. De esta manera, estableciendo la correspondencia biunvoca entre los elementos de dos conjuntos dados, se puede determinar si su cardinalidad es igual y, por tanto, si tienen el mismo nmero de elementos sin necesidad de contar, es decir, sin necesidad del concepto de nmero. Con este descubrimiento, se lleg a la conclusin de que la base de las matemticas est en la teora de conjuntos emparentada con la de clases o de trminos y no en la aritmtica. Desde ese momento, los trabajos lgicos se orientaron a la construccin de los fundamentos de la matemtica partiendo de la teora de conjuntos. Sin embargo, la nueva tarea se complic con el descubrimiento de Russell: la paradoja de la teora de conjuntos. Esta paradoja parta de la idea de conjuntos normales. Un conjunto normal es aquel que no se contiene a s mismo, es decir, aquel que no se tiene a s mismo como elemento. Dado esto, consideremos el conjunto de los conjuntos normales, se contiene a s mismo? Si se contiene a s mismo, entonces no debera contenerse por no ser normal; si no se contiene a s mismo, entonces debera contenerse por ser normal. Con la aparicin de stas y otras paradojas lgicas, la tarea de los lgicos se reorient a la bsqueda de soluciones que no trajeran abajo la nueva base del edificio matemtico, la teora de conjuntos. Una de las soluciones fue la axiomatizacin de la teora de conjuntos, desarrollada por Zermelo; sin embargo, esta titnica tarea no evitaba la aparicin de nuevas y posibles paradojas ms adelante. En este punto, surgen dos grandes escuelas lgicas. Una es la escuela logicista, de la que Russell form parte. Esta escuela sostena la existencia independiente de las entidades matemticas y, por tanto, la solucin de las paradojas deba darse en la manera en que nos referimos a dichas entidades, es decir, en el lenguaje, pues si las entidades matemticas existen y tambin las paradojas, stas ltimas slo pueden deberse al modo en que "hablamos" de dichas entidades porque no pueden ser paradjicas si existen. As, una de las alternativas para
6

Cfr. Agazzi 1986: 114-147.

167

LGICA

resolver las paradojas la propuso el propio Rusell, con la teora de los tipos lgicos. Esta teora estipulaba la forma en que es correcto atribuir predicados a los conjuntos y otras entidades estableciendo jerarquas para los predicados posibles. La otra escuela fue la formalista, desarrollada por Hilbert. Esta escuela sostena que las entidades matemticas son creacin del intelecto humano y, por tanto, la solucin a las paradojas deba hallarse en la axiomatizacin de todas las construcciones matemticas, pues slo as se llegara a una construccin libre de paradojas. Esta alternativa se constituye en una tarea titnica y bastante difcil. Las investigaciones lgicas se ven, as, reorientadas en nuevas direcciones. Por un lado se abre camino a nuevos desarrollos en la semntica de los lenguajes formalizados, a interpretaciones rigurosas y sistemticas de los lenguaje artificiales creados y de los que parten las soluciones a los problemas existentes. A su vez, el desarrollo de la semntica conduce al desarrollo de las lgicas polivalentes y stas, al de las lgicas modales. Estos desarrollos no son novedosos, pues como ya hemos sealado, ya desde Aristteles se haba abierto camino a la lgica modal; sin embargo, en el siglo XX, tanto las lgicas polivalentes como las modales se trabajan con el instrumental simblico que ya haba alcanzado notables progresos tcnicos. Por otro lado, la preocupacin por la axiomatizacin de teoras condujo al desarrollo de la metalgica, esto es, al estudio de las condiciones que todo sistema axiomtico debe satisfacer: consistencia, complecin e independencia de los axiomas. La consistencia consiste en que en un sistema dado nunca sea posible demostrar la tesis X y la tesis ~X, es decir que el sistema est exento de contradiccin. La complecin consiste en que dentro del sistema sea posible demostrar todas las tesis que el sistema puede contener, as sean infinitas. La independencia de los axiomas consiste en que dentro de un sistema nunca sea posible demostrar un axioma a partir de otro o de otros. Determinar si un sistema axiomtico posee estas tres cualidades es tarea de la metalgica.

Recapitulacin
Cmo podramos sintetizar y caracterizar el largo proceso de desarrollo de la lgica formal? La lgica desde sus inicios puede caracterizarse como formal, pues ya desde Aristteles est presente la consideracin de reglas de validez universal y el uso de variables para efectuar las demostraciones; esto ltimo implica necesariamente la idea de que la deduccin es un proceso que depende de la estructura lgica formal de los enunciados y no de su contenido y, al mismo tiempo, implica la concepcin de elementos constantes que hoy conocemos como operadores o functores.

Anexos

168

Los desarrollos en la lgica medieval y en los comienzos de la modernidad fueron bsicamente tcnicos, cuando los hubo. En algunas ocasiones aparecieron nuevas propuestas y nuevos aportes significativos, como nuevas reglas de inferencia, distinciones clave como la distincin entre ley y regla o entre lenguaje y metalenguaje. Pero es con Leibniz que aparece un giro sustancial en el desarrollo de la lgica: aparece la idea de crear un simbolismo. Lo que vino despus de l fue el progreso tcnico de este simbolismo y luego un nuevo giro: el uso del simbolismo y de los mtodos que ste implica para intentar fundamentar la ciencia en la que se bas la idea del simbolismo lgico: la matemtica. Con esta nueva perspectiva aparecen nuevos problemas tcnicos y conceptuales y el desarrollo de la lgica sigue hasta hoy en esta lnea. As, pues, si bien el simbolismo es no slo un elemento esencial en el desarrollo de la lgica, sino tambin el rasgo que la distingue por su mtodo y por su forma, es bsicamente el instrumento que ha permitido nuevos cambios y progresos en el anlisis formal de la deduccin. Una vez que se admite que la deduccin es un proceso formal, el simbolismo o el clculo lgico se convierte en una pieza clave y necesaria para todo trabajo en lgica. Sin embargo, no debe perderse de vista el hecho de que el simbolismo, el uso de los lenguajes artificiales, sigue siendo el instrumento de la lgica, no su contenido ni su propsito. La discusin sobre los alcances y limitaciones del simbolismo para el anlisis de la deduccin es ms un tema de filosofa de la lgica que de historia y podr darnos pie para una futura discusin.

169

LGICA