BREVE HISTORIA DEL NACIMIENTO DE LA LGICA MATEMATICA.

Las proposiciones y demostraciones se escriban sobre una delgada oblea, con tinta compuesta a partir de una mezcla enceflica. El estudiante tragaba la oblea hallndose en ayunas, y en los tres das sucesivos no deba comer ni beber nada, fuera de pan y agua. Una vez digerida la oblea, la tintura ascenda al cerebro, llevando consigo la demostracin. J. Swift Los viajes de Gulliver El Hombre es vil, a todo se acostumbra F. Dostoievsky Crimen y castigo

La lgica trata sobre lo racional. Trata de mostrar, en general, cmo se articula la racionalidad en la medida en que se manifiesta en razonamientos o inferencias y en la medida en que tiene por objetivo justificar creencias o acciones. La razn ocupa un papel importante en la adquisicin del conocimiento. El principal campo de accin de la razn en este sentido es la ciencia. As, lo que entendemos por lgica se encuentra ntimamente relacionado con nuestros conceptos de conocimiento, ciencia y mtodo cientfico. As, la manera como se ha modificado nuestro ideal de ciencia, y de mtodo cientfico, ha modificado a su vez nuestro concepto de lgica a lo largo de su historia. Este texto trata de explicar con algo de detalle el cambio sufrido por la lgica en la poca moderna al haberse identificado a partir del siglo XVII el ideal de racionalidad con el mtodo exacto y puro del calcular matemtico. A partir de esta identificacin, los filsofos y lgicos llegaron a pensar que razonar poda reducirse a calcular. (Por ejemplo en filsofos como Hobbes, y en cierta medida, Leibniz, hasta Frege). Esta identificacin tuvo como consecuencia la transformacin conceptual de la lgica en un estudio puramente simblico donde queda excluida toda intuicin, contenido semntico, referencia a la experiencia, al lenguaje ordinario y a las situaciones fcticas y psicolgicas del razonar humano. Precisamente una de las ideas de este texto es mostrar cmo la lgica pas de ser una ciencia inclinada al estudio del razonamiento en el lenguaje, a ser una ciencia cuyo ideal de razonamiento no se encontraba precisamente en el lenguaje, sino en las matemticas.
1

Expondremos aqu esa historia que termin por reducir la inferencia lgica a partir de un lenguaje a simple permutacin formal en un clculo: Lo que conocemos como lgica matemtica. El nacimiento de la ciencia lgica. Aristteles. Referirse a la lgica de Aristteles sin hacer una breve referencia a Platn es imposible. En Platn se encuentra el germen filosfico de la lgica formal, puede que l no la haya creado, pero creo los pilares epistemolgicos de donde surgi. Vale la pena tener en cuenta que, de la doctrina platnica sobre las ideas, surge la reflexin sobre la validez universal del conocimiento y la postulacin de que todo conocimiento verdadero (es decir, un conocimiento de realidad y no de apariencias) es necesario y universal. Todo razonamiento que desee ser verdadero debe apegarse a la doble regla de necesidad y universalidad. El argumento que apoyaba esta conclusin era ste: Hay una semejanza entre lo que se conoce y el acto mismo de conocerlo, y si las ideas verdaderas, como la doctrina platnica reza, son universales, necesarias, intemporales y eternas, tambin deben serlo los razonamientos que nos permiten acceder a ellas. As, todo razonamiento correcto debe ser necesario y tener validez universal. Los razonamientos no necesarios y no universales (como los razonamientos sofsticos y de la retrica en general) sern mero conocimiento de apariencias. El pasaje platnico que trascribimos en lo que sigue, expone a la perfeccin lo que hemos expresado: puesto que los razonamientos tienen un parentesco respecto de los objetos que explican, a lo que permanece, a lo que es fijo y translcido para el entendimiento deben corresponder razonamientos slidos y consistentes; mientras que los razonamientos que se refieren a la copia, que no es ms que una imagen del ser, sern verosmiles, dado que lo que el ser es al devenir lo es la verdad a la creencia 1. La importancia de Platn es precisamente sta: la postulacin de una ley epistemolgica que enlazara la necesidad (y la universalidad) a la bsqueda de la verdad, para crear la idea de verdad necesaria. Las palabras de este historiador de la lgica reiteran lo esencial de la postulacin de Platn: la idea de semejante ley se halla en estrecha relacin con la doctrina platnica de las ideas, surgida a su vez de la reflexin sobre la geometra, ya para entonces constituida. Hasta el punto se halla determinada por este pensamiento toda la tradicin occidental postplatnica, que a un occidental no le es fcil caer en cuenta de su enorme importancia. Sin el concepto de ley universal no era posible la lgica formal 2. Desde otro punto de vista Platn es el padre de la lgica. La lgica griega nace en el seno de la dialctica, en la metodologa del discurso que pretende batirse con el adversario con argumentos, pero apoyado en un discurso sobre la verdad. Aunque este es un punto que no nos interesa desarrollar aqu en detalle, es el que ms fcilmente enlaza a Platn con Aristteles..

Aristteles
Cmo asegurar la verdad en el seno de la discusin dialctica, cuando incluso los sofistas inventan tcnicas retricas para engaar al adversario y hacerse a su aprobacin sobre materias que ellos mismos parecen ignorar?, qu hay de implacable, de seguro en el lenguaje que me permita tener una constante firme en ese suelo de engaos, o que me permita llegar, como Platn deseaba, infaliblemente a la verdad?.

1 2

Platn, en el dilogo Critias. Bochnski, Historia de la lgica formal, Madrid, Gredos, 1985. Pg. 45.

Estas palabras bien resumen las motivaciones de Aristteles para la creacin de lo que nosotros llamamos la ciencia lgica. Ella nace como un nuevo campo de investigacin cientfico en el vasto terreno de la praxis discursiva y de los procedimientos, tcnicas y artimaas utilizados por los Sofistas, y hasta los mismos Scrates y Platn, cuando de discusin filosfica se trataba 3. La lgica aristotlica nace entonces en medio de una especie de crisis de la razn, cuando los Sofistas empezaron a dudar de la idea misma de verdad objetiva, pero tambin nace como una expresin de la madurez misma del pensamiento discursivo, es decir, cuando ste resulta capaz de cuestionarse a s mismo y a su propio mtodo de proceder, hasta llegar a establecer qu es la razn misma, o sea, qu hay que hacer para razonar, as como cuando y sobre qu cosa cabe razonar 4. Ella (la lgica) no es ciencia, ni accin moral, ni, como ser para muchos, objeto de determinada realidad sino una propedutica general de todas las ciencias, una iniciacin que les permitira conocer cual era el camino seguro del conocimiento. Las ciencias entonces deben someter sus discursos a su dominio (el de la lgica) despus de clarificar sus primeros principios, con el fin de llegar a un conocimiento slido y universal. As, la lgica se exhibe como una manera de explicar y darle figura de norma al acto de realizar inferencias (razonamientos) en el lenguaje de las ciencias en general. Y Aristteles ya tiene una idea clara de lo que un razonamiento es: cuando afirmamos o negamos no razonamos, sino slo cuando pretendemos derivar una proposicin de otra por medio de un nexo. Para Aristteles el nexo comn a todo razonamiento lo llama silogismo, una estructura lgica que asegura que, si las premisas son verdaderas, la conclusin lo ser igualmente. El primer texto escrito por Aristteles que trata el tema de la lgica es Los Tpicos, donde se ocupa de los silogismos dialcticos, aquellos que tienen como premisas afirmaciones fundadas en la pura opinin de los hombres y no en una verdad cientfica. Es en este texto donde inicia la historia oficial del concepto de lgica. Pues, preocupados por buscar el conocimiento seguro, y estando sujetos a las contingencias de las simples opiniones humanas, el terreno ms slido para buscar una constante racional, en argumentos cuyo contenido es simple opinin, es la coherencia misma del discurso, su forma. Ya que el valor de meramente probables de los argumentos dialcticos se encontraba en su materia, en su calidad de simples opiniones, en el contenido del discurso, Aristteles abstrajo la forma, un esquema de razonamiento vlido sin importar el valor de verdad del contenido que repose en l. Esto le garantizara ms seguridad a la hora de fundamentar el conocimiento que tratara de apoyarse en premisas contingentes. Slo ms tarde, Aristteles, en los analticos primeros, describe el silogismo demostrativo como aquel cuyas premisas son objetivamente verdaderas, no probables, y, por tanto, puede llegar a conclusiones infalibles y necesarias por medio de la misma forma lgica. Fjese que aqu se puede captar una constante en el nacimiento de la ciencia lgica. En Platn la gnesis de la ley de la verdad necesaria esta ligada a la contraposicin entre realidad y apariencia. De la misma manera en Aristteles se puede notar que el nacimiento del concepto de forma lgica esta ligado a la distincin entre opinin y verdad. Estas dos dicotomas se encuentran relacionadas pues el saber de apariencias es pura opinin, y el de la realidad es conocimiento real, verdadero.

3 4

Cfr., Ibd., Pg. 51. Realle G, Introduccin a Aristteles, Barcelona, Herder, 1985. Pg. 139.

Segn Bochnski, en Aristteles en encuentra resumidos todos los elementos de la lgica posterior a. Una idea clara de lgica con validez universal b. El empleo de variables c. Formas sentenciales con constantes lgicas Una nota para el futuro: no hay que olvidar que con la forma silogstica se pretende explicar el acto de realizar inferencias en el discurso. De pasar en el pensamiento y en el lenguaje de una pretensin de verdad a otra pretensin de verdad, de la verdad de un objeto a la verdad de otro. Pero, para realizar este objetivo el razonamiento es resumido, explicado a la luz de una estructura formal que ha sido en cierto sentido superpuesta a la dinmica del discurso. Y la posibilidad de realizar esta explicacin de la fuerza demostrativa del razonamiento a partir de la forma lgica ha sido, desde Aristteles, un supuesto de toda la lgica formal, supuesto que terminar por identificar razonamiento lgico (inferencia o logos aristotlico) con derivacin mecnico formal a partir de reglas sobre una estructura de smbolos sin contenido ni interpretacin. El espritu programtico de la lgica matemtica. Leibniz. Salidos del periodo histrico medieval, periodo para algunos de estancamiento en lo que a la lgica se refiere, entre los siglos XVII y la primera mitad del XIX entramos en el perodo de la lgica clsica, donde los asuntos lgicos a resolver se inclinan ms hacia aspectos psicolgicos y epistemolgicos. Este es, como sostiene Tugendhat, el segundo perodo de la historia de la lgica. En los autores de lgica de este perodo impera universalmente la opinin de que el formalismo tiene que ver muy poco con la verdadera lgica. Esta visin fue impulsada por el contexto filosfico y social del Humanismo creciente, donde se favoreci la evidencia de las vivencias interiores de los hombres por encima de los cnones sociales y de todo aquello que sonara impersonal y abstracto. En este contexto, es la ciencia retrica la que vuelve a resurgir como fuente de experiencias sociales aglutinantes y como manera de transmitir vivencias emotivas particulares. Hay un especial rechazo de toda tradicin, rechazo que va de la mano del surgir de la filosofa moderna y de la modernidad en general. Resaltan en este perodo autores como Vico, en el caso de la revalorizacin de la retrica y, por supuesto ms tarde, Descartes abriendo nuevas perspectivas por medio de la introduccin de sus conceptos de evidencia e indubitabilidad tomados de la epistemologa de la matemtica. Nos merece especial atencin este autor que, aunque no trataremos con especial dedicacin ya que tenemos otros intereses sobre los estrictamente filosficos, merece una breve resea pues el es punto de quiebre de nuestra problemtica principal. En efecto, es Descartes quien inicia una revolucin filosfica comparable a la de Platn en tiempos de los Sofistas y que termina con la introduccin de un nuevo ideal de racionalidad. Harto ya de la palabrera vaca de los filsofos medievales, Descartes se propones fundar de nuevo todo el saber humano sobre cimientos inconmovibles. Ahora su problema es qu mtodo usar para la bsqueda de la verdad. En Descartes se observa, a diferencia de otros autores de la poca, un claro desinters por los asuntos de la retrica. La retrica se reduce a mero ornato, ms relacionado con la esttica (potica) que con el arte de la demostracin. Pero Descartes no aprueba tampoco el silogismo aristotlico como gua para la razn en su bsqueda de la verdad. El silogismo, pretende sostener, slo sirve como medio
4

de prueba heurstico y explicativo, aun como arte de la palabrera sutil, pero no como mtodo para la bsqueda de la verdad. La verdad se obtiene de acuerdo a evidencias intuitivas que deben seguirse unas de otras, desde las primeras de carcter innato y subjetivo, hasta las derivadas de stas. No debe darse nada por supuesto en esta derivacin, y aquello que es meramente plausible debe tomarse, hasta no ser probado con seguridad, como incorrecto. La nueva racionalidad cartesiana guiada por la duda metdica y la intuicin evidente presenta nuevos problemas, hay que asegurar que cada paso dado del entendimiento no nos descarrile de la estrecha va de la certeza. Por esto Descartes se ve llevado a la elaboracin de un mtodo objetivo de conocimiento que le asegure el paso de evidencia en evidencia racional, desde el saber ms bsico (la existencia del yo), hasta los ms complejos. Este mtodo, en los primeros textos de Descartes (Por ejemplo, en sus Reglas para la Direccin del Espritu) tiene claros elementos de carcter matemtico. La matemtica ser el modelo de la racionalidad a partir de Descartes, ya que ella es la nica parcela de saber humano donde se ha llegado a tener conocimientos indudables. En autores posteriores el ideal ser identificado ms propiamente con la matemtica geomtrica y la idea de la axiomtica euclideana. Al rechazar el silogismo aristotlico y concluir en un mtodo de razn geomtrico, Descartes desplaza la racionalidad del mbito modlico del discurso lingstico al de la matemtica. Descartes, de esta manera, es uno de los precursores filosficos de la nueva lgica formal matemtica. Leibniz, a quien encontraremos a continuacin, es heredero de esta filosofa. Leibniz. La importancia de Leibniz para el surgimiento de la lgica simblica es comnmente discutida. Sus aportes reposaron en suspenso histrico por muchos aos antes de que fueran revividos por Frege quien fundament su investigacin lgico-formal en la idea de characteristica leibniziana. Sin embargo, vemos necesario su estudio precisamente por esta razn, por haber servido de catalizador de los pensamientos sobre la lgica en autores como Frege (padre de la lgica moderna), y porque su sistema resume en su totalidad el espritu del programa logicista y formalista que tuvo su culminacin cenital con los positivistas lgicos y con Hilbert. Pensamos que no hay fuera de Leibniz aspiracin que hayan mantenido estas escuelas, por lo que un estudio somero de este autor nos sirve para percibir detalles generales de la nueva lgica formal. El primer aporte de importancia de Leibniz a la lgica matemtica es su idea de los axiomas o principios idnticos. Por ltimo se encuentra el llamado de Leibniz a la creacin de un lenguaje formal artificial y universal como transmisor y descubridor del conocimiento. Por ahora iniciemos con la cuestin de los axiomas idnticos: En lo que concierne a la axiomtica como mtodo de prueba y organizacin Leibniz sabe que es imposible eliminar completamente la apelacin a axiomas o principios de razonamiento, toda demostracin debe partir de ciertos presupuestos, pero es posible, al contrario, no aceptar sino axiomas idnticos 5. Qu entiende Leibniz por axiomas o juicios idnticos?. Leibniz postula antes que todo previamente su distincin entre juicios o verdades de razn y juicios o verdades de hecho 6.
Leibniz Nuevo tratado sobre e entendimiento humano, Mxico, Porra, 1977. Pg. 301. Leibniz, Monadologa, (tres textos metafsicos), Bogot, Norma, 1996. Pgs., 392, 393. 18 CFR, Op Cit, Pg., 271.
5 6

Segn l las verdades de razn son aquellas que son necesarias puesto que su opuesto es imposible, su verdad se haya fundada sobre el principio de no contradiccin. Las verdades de hecho son aquellas que son contingentes, puesto que su opuesto es posible, su verdad esta fundada en el principio de razn suficiente. Ahora bien, a su vez, estas verdades pueden subdividirse cada una en verdades primitivas y verdades derivadas 7. Las verdades derivadas se saben por razonamiento en el caso de las de razn, o por induccin en el caso de las de hecho. Las verdades primitivas, tanto las de hecho como las de razn, en cambio se saben por intuicin directa. Las verdades de razn primitivas son aquellas que no pueden ni necesitan ser demostradas puesto que son enunciados idnticos, las verdades primitivas de razn son las que yo llamo con un nombre general idnticas, porque me parece que no hacen ms que repetir la misma cosa, sin ensearnos nada 8 He aqu unos ejemplos dados por el mismo Leibniz: A es A, el rectngulo equiltero es un rectngulo equiltero, si A es no B, de aqu se sigue que A es no B. Leibniz se adelanta a las crticas sobre la supuesta frivolidad de estos razonamientos sosteniendo que, y esto es importante (ya que es una idea nueva, nadie antes que Leibniz la haba sostenido), las leyes o principios de la lgica son o axiomas idnticos o teoremas demostrables a partir de axiomas idnticos. Y no slo la lgica se rige por estos principios sino, (y precisamente porque) la matemtica y la geometra se rigen tambin por ellos. Contrario a la creencia de la poca, sobre todo a la posterior a Kant, para Leibniz los enunciados de la matemtica pueden reducirse a este tipo de verdades cuya certeza puede reducirse a la pura forma: A = A. De hecho, Leibniz construye una prueba de lo anterior derivando el juicio matemtico 2+2=4 a partir de 3 axiomas o definiciones idnticos y solo una regla de transformacin. Para Leibniz la lgica es tan susceptible de este tipo de demostraciones como la misma geometra, de all se podr derivar que tambin en la lgica se debe procurar el uso de idnticos primitivos para sus deducciones y que ella debe tambin amoldarse a este ideal surgido del seno de la matemtica. Quizs para los conocedores de los rudimentos bsicos de la lgica moderna, tal idea de Leibniz no tendra ningn misterio, precisamente por esto la idea fue tan importante al ser esgrimida por Leibniz, quien fue el primero en concebir esa especial naturaleza de los principios de la lgica. En este sentido, podremos ver la inspiracin leibniziana de la lgica matemtica del siglo XIX, en particular en los proyectos de Frege, Russell y, en menor medida, Hilbert. La inspiracin se manifiesta en varios frentes, tales como 1) la construccin de una teora que comprenda todas las identidades lgicas. 2) la definicin de conceptos matemticos por medio de conceptos de lgica pura. 3) la demostracin de axiomas y conceptos especficamente matemticos a partir de las identidades lgicas. 4) La construccin de un lenguaje formalizado capaz de servir de medio de expresin para la lgica pura. Este ltimo aporte, esta vez de tipo programtico, es esbozado tambin por Leibniz en uno de sus escritos de juventud (De arte combinatoria) donde se postula la necesidad de construccin de una lgica simblico-combinatoria que sirva de vehculo para la
19

Ibd., Pg. 271

demostracin de verdades de todo tipo. En pocas palabras: la creacin de un lenguaje ideal para expresar la razn y su lgica. Este es el proyecto de la Characteristica Universalis, un alfabeto de ideas transformadas en smbolos tipogrficos de manera que mediante la combinacin de estos smbolos y el anlisis de las palabras resultantes se podr descubrir y discernir todo 9. De esta forma podemos hacer perceptible por los sentidos el anlisis de las ideas, y dirigirlo mecnicamente como por un cable, pues el anlisis de los caracteres es algo perceptible por los sentidos 10, as tendremos un instrumento de lgica inventiva y de deduccin que sirva para el descubrimiento de la verdad, la organizacin y el crecimiento de todas las ciencias (incluyendo la jurisprudencia y la moral). Tal vez ayude a entender la influencia de Leibniz el sostener que los sistemas formales o clculos de la lgica formal hoy en da, no son ms que este tipo de caracterstica leibniziana, junto con reglas fijas que dirijan la combinacin y permutacin (lo que correspondera a la gramtica ideal de Leibniz). Leibniz se apoya para este proyecto en su idea de lo que es una proposicin (una asercin del lenguaje con pretensin de verdad): Toda proposicin es una combinatoria de sujeto y predicado 11. La serie de las proposiciones lgicas nacen de encontrar todas las posibles combinaciones de sujetos de un predicado y viceversa 12. La cpula es se relaciona a su vez con la suma y la resta, por lo que la verdad o la falsedad de una proposicin esta representada en la combinatoria leibniziana como una relacin entre nmeros 13. De esta forma tendremos un instrumento que gue el espritu como las lneas en la geometra 14 pero todo al costo de reducir la lengua, por medio de las equivalencias propuestas, a meras relaciones aritmticas. Para este objetivo obviamente no nos podemos valer del lenguaje ordinario, no slo porque est lleno de sinnimos, entrelazamiento de significados y ambigedades, sino adems porque nos hace retener mucho en la mente y dificulta la deduccin rigurosa. Es necesario encontrar una manera de separar las ideas primitivas, para elucidar la serie de los nmeros de los entes y sus primitivos, poder contarlos y combinarlos sin que nuestra mente se pierda en los detalles de cada construccin. Para esto se hace necesario la elaboracin de un lenguaje universal que desembarace al espritu de las ambigedades de lenguaje ordinario. Como sostiene Leibniz en sus nuevos ensayos: el lgebra hace ver que se pueden hacer grandes descubrimientos sin recurrir siempre a las idea mismas de las cosas. De esta forma, Leibniz retoma el ejemplo del lgebra para postular una especie de pensamiento ciego como mtodo de la razn: un pensamiento que manipule ideas a travs de smbolos de tal manera que no sea necesario saber, en cada caso, que idea esta representada por tal smbolo, de la misma forma que en el lgebra una x o una y son slo variables que representan cualquier nmero. De esta manera el pensamiento ciego manipula signos sin verse obligado a evocar las idea correspondientes. Por esto, aumenta el alcance de nuestra mente, del mismo modo que el telescopio aumenta el alcance de nuestra vista, sin provocarnos un cansancio
Leibniz , En Bochnski. Pg. 289. Leibniz, En Bochnski, .Pg. 209. 11 Ibd., Pargrafo 55. 12 En un texto posterior Leibniz postula como ejemplo de este proceso el anlisis del concepto de Hombre: se puede descomponer ste en dos ideas, Animal y racional si le asignamos a animal el nmero 2, y a racional el nmero 3, el concepto de hombre se expresara con 2 3. Una proposicin es verdadera cuando el nmero del sujeto es divisible por el nmero del predicado, as la proposicin todos los hombres son animales corresponde a la fraccin 6/2, cuyo resultado en su interpretacin aritmtica representa su veracidad a nivel lingstico semntico. Definitivamente una idea loca, pero genial. 13 Ibd., Pargrafo 63. 14 Leibniz, En Bochnski. Pg. 298.
9 10

excesivo(...) la intencin de Leibniz era crear un lenguaje lgico que, como el lgebra, pudiese conducirnos de lo conocido a lo desconocido mediante la simple aplicacin de reglas operativas a los smbolos que utilizan 15 Son tres los fundamentos del proyecto Leibniziano, el primero metafsico: la interpretacin de mundo como caracteres discretos y diferenciables entre s (del que no hemos hablado aqu); el segundo lgico linguistico: la interpretacin de las proposiciones como relaciones matemticas; el tercero (demasiado general y ridculo para ser clasificado), la idea de la razn como clculo. Leibniz se aferraba a la idea hobbesiana segn la cual el pensamiento racional, cualquier pensamiento racional (cualquier justificacin racional de pretensiones de validez o de rectitud normativa) poda reducirse a un clculo. En ltimas, que lo racional es un clculo, y todo clculo, agregara Leibniz, es un clculo sobre smbolos. La fusin ltima entre lgica y matemtica. La lgica formal en surgimiento. Boole, Peano, Frege y Russell. La nueva lgica moderna 16 nace en el periodo que se encuentra entre la ltima mitad del siglo XIX y la primera mitad del siglo XX. Si aceptamos que el nacimiento de una ciencia culmina con el establecimiento de sus terrenos fronterizos, podemos sostener que el ltimo captulo del nacimiento histrico de la lgica matemtica moderna se sita en 1931, con los estudios de Gdel sobre la incompletud del clculo lgico de segundo orden. Las caractersticas principales de esta nueva lgica, caractersticas que la definen en contraste con la nocin de lgica anterior (ya sea aristotlica o psicolgica) son las siguientes: 1) Se apoya en un clculo artificial como principio universal del mtodo lgico, las leyes de la lgica dejan de ser postuladas con un lenguaje natural para ser expuestas como simples elementos constructivos de un clculo simblico. Todos los elementos implicados en esta descripcin son representados con un lenguaje artificial, no slo las variables sino tambin las constantes de conexin. Por esta razn el simbolismo se vuelve connatural a la lgica y la idea de demostracin lgica llega, por esta va a identificarse con la de implicacin sintctica (seguimiento de una regla para la deduccin de una formula a partir de otra). Relacionada con lo anterior hay una diferencia en el mtodo de investigacin. Mientras las lgicas anteriores descansaban sobre los trminos del lenguaje natural, y realizaban abstraccines de los trminos de este lenguaje, para asi postular las leyes y construcciones lgicas; la lgica matemtica acta a la inversa, construye primero un lenguaje formal artificial, y despues, busca una interpretacin de este sistema artificial en el lenguaje ordinario. Es cierto que los requerimientos de construccin obligan a hacer una anlisis de los trminos del lenguaje ordinario para poder adecuar lo simblico con lo lingstico, pero siempre se puede hacer una separacin entre la gnesis del sistema (la manera como el lgico llego a este) y el fundamento del sistema. El calculo formal artificial se sostiene solo (autarqua), sin ninguna referencia a los trminos del lenguaje que se supone esta representando. Todo
15 Eco U., La bsqueda de la lengua perfecta, Barcelona, Grijalbo Mondarori, 1994, Pgs., 237-238. Subrayado nuestro. 16 La nueva lgica asume varios nombres segn tradiciones y autores. Para unos es lgica simblica, para otros, lgica matemtica, algunos la llaman simplemente lgica moderna o formal, por ltimo simplemente, logstica.

razonamiento, como ya sabemos, tiene una forma: la estructura que le subyace, y un contenido: aquello de lo que trata y que se adecua a la forma. Obviamente que en los razonamientos ordinarios que leemos y escuchamos ambos aspectos se encuentran trabados, unidos y fusionados en el complejo cuerpo del lenguaje ordinario. Precisamente la divisin o escisin entre forma y contenido es la escisin capital, ltima y primera de la ciencia de la lgica. Es una abstraccin y un dogma de la lgica, sin ella no hay lgica formal posible. La lgica pretende hacer un estudio de la forma de los razonamientos para aclarar qu hay en su forma que los haga vlidos o no, con independencia de qu contenidos les subyacen. Desde el principio de la historia de la lgica, con Aristteles, ella ha insistido en la distincin al interior de los razonamientos entre forma y contenido, el contenido sera el sentido o significado de los razonamientos expresado en un lenguaje ordinario. La forma sera aquella estructura que subyace en el razonamiento y que es compartida por otros. Sin embargo, la lgica moderna separa an ms la forma del contenido. La lgica formal moderna, en contraste con la silogstica antigua y medieval pretende llevar el uso del simbolismo al mximo. Adems desplaza el valor de validez de la forma, no a su simple formulacin como forma vlida, sino a su deduccin a travs de unas formas primeras o axiomas. De esa manera asegura que todas las formas lgicas deductivas (vlidas con necesidad) se conecten entre s en un sistema, derivndose deductivamente unas de otras. Es decir, que la lgica moderna aplica la lgica a s misma. Es por esta razn que se le llama la ciencia deductiva de la deduccin. Es la insistencia de esta nueva lgica en la estructura formal y la organizacin sistmica lo que hace que los lenguajes artificiales se hacen indispensables, ya que las precisiones que se lograrn con su ayuda sern casi imposibles de alcanzar en trminos de un lenguaje ordinario no simblico. 2) Como consecuencia de lo anterior, la lgica matemtica moderna se autoreconocer como un substituto del lenguaje ordinario a la hora de realizar demostraciones rigurosas en las ciencias, y en muchos autores como los positivistas lgicos, hasta en la filosofa. No se preocuparn los autores de esta lgica por cuestiones de carcter metafsico o psicolgico (la mayora de ellos rechaza el psicologismo aplicado a la lgica), aunque muchos de ellos pensarn estar haciendo una descripcin de las leyes objetivas del pensamiento (por ejemplo, Boole, y con las debidas precisiones, hasta el mismo Frege). Con esta ultima idea el razonar queda as identificado al clculo, dejando entrever con esta actitud una gran influencia de la idea Hobbesiana de racionalidad, extendida por Leibniz y otros. 3) Por ltimo, esta lgica nacer en el seno, no de una aclaracin de lo lgico en el lenguaje, sino del afn de algunos de fundamentar el conocimiento matemtico como paradigma de pensamiento riguroso, racional e indudable. En efecto, el primer sistema calculstico de las historia (el clculo proposicional de Frege) tiene como objetivo explicar la manera como los razonamientos de la matemtica responden a principios de carcter lgico formal, y como el matemtico lleva a cabo sus deducciones bajo principios puramente lgicos. Esto es crucial para nosotros. La lgica simblica moderna es una lgica vertida hacia la matemtica, y slo en segundo plano hacia la inferencia en el lenguaje, en esto se sigui tambin a Leibniz. La lgica moderna entonces esta construida para representar estructuras matemticas. El proceso general de surgimiento de la lgica matemtica es el de una interaccin mutua entre matemtica y lgica. Por un lado la matemtica dota a la lgica de unas
9

herramientas simblicas apropiadas al estilo del lgebra. Por otro lado, los principios de la lgica se transforman en analticos (tautolgicos), dando cabida a una mejor interpretacin de los razonamientos de la matemtica en trminos de un lenguaje sintctico vaco de contenido. De esta forma, la lgica se transforma en formal al reducirse a simple lenguaje de smbolos sin interpretacin; la matemtica por su lado se vuelve lgica al reducirse las tcnicas de prueba de los matemticos a los descritos por las leyes lgicas previamente matematizadas. El crculo de retroalimentacin entre las dos ciencias es cerrado, tan efectivo que a muchos autores de la poca, como el matemtico y lgico David Hilbert, les da por pensar que lgica y matemticas son una misma cosa. La conexin entre las dos ciencias inicia con una metfora que considera la lgica como el lgebra del pensamiento. Al igual que en el lgebra en la lgica los valores de los signos variables no tiene importancia, slo los patrones generales de las ecuaciones del pensamiento. Los que encabezan la lista de los primeros exponentes de la lgica moderna son Boole y Frege. Los dos tienen como motivacin de su trabajo realizar una sntesis de lgica y matemticas que toma como punto de partida esa metfora. Boole, por su parte es el primero en aplicar las herramientas simblicas del lgebra a la lgica. Estos procedimientos lo llevan incluso a expresar en trminos del lgebra principios bsicos de la lgica como el tercio excluido y la no contradiccin que hasta ese momento haban sido simplemente supuestos en las derivaciones o recibido un tratamiento meramente discursivo. Los principios de la lgica (principio de identidad y de contradiccin) sern entonces, por primera vez desde Aristteles, utilizados como principios de deduccin formal (el primer paso para lo que ser el proceso de axiomatizacin de la lgica). Por medio de este tratamiento matemtico de la lgica se entiende cmo ella es capaz de concebir que la validez de sus principios no depende del significado de los trminos que componen una demostracin, ni de la subsiguiente interpretacin de los smbolos o de una validez metafsica o platnica, sino de las leyes por las cuales stos combinan (leyes sintcticas). Frege Un paso adelante sobre todos los autores de la lgica matemtica moderna encontramos a Frege (1848- 1925). Aqu estaremos interesados en mostrar nicamente cmo se modifica con l, el proceso de postulacin de los principios lgicos, y en sealar cmo la exigencia de rigor que se encuentra en l impulsar progresos inimaginables en lo que respecta a simbolizacin de los clculos lgicomatemticos de modo que, despus de l, se entiende que la lgica formal est matemtizada y formalizada a la perfeccin. De hecho Frege es el primero, despus de Leibniz, en postular de manera clara, llevado por su rigorismo, que los razonamientos lgicos deben ser guiados por un clculo simblico donde toda derivacin esta guiada por una regla. Su objetivo es reducir la aritmtica a la lgica. El nexo entre lgica y matemtica es tan profundo que, segn Frege son casi indistinguibles, hasta el punto de postular siguiendo a Leibniz, y no a Kant (quien dice que las verdades de la matemtica son ejemplos de juicios sinttico a priori), que cada enunciado matemtico puede ser entendido como una ley lgica de carcter analtico 17. Sin embargo, Frege no es un formalista en todos sus trminos: la lgica no es un juego de smbolos sino una ciencia de pensamientos objetivos (verdades objetivas):
17

Cfr., Frege, Fundamentos de la Aritmtica, Barcelona, Laia, 1972. Pg. 111.

10

proposiciones ideales donde lo que importa es el sentido transmitido independiente del conducto psicolgico. El hombre puede captar las verdades de la lgica pero no producirlas. El pensamiento es objetividad pura. Una objetividad eso si que esta llena de impurezas en cada individuo pues en l se mezclan elementos psicologicos que enturbian el pensamiento objetivo. El lenguaje tambien es un elemento que arrastra tras de si impurezas e imprecisiones lingsticas que oscurecen lo que deberia estar cristalinamente perfecto. Para poder llegar a captar en toda su pureza las verdades de la matemtica y de la lgica es necesario entonces que se eliminen esos elementos impuros en los razonamientos matemticos: intuiciones psicolgicas, psudoevidencias y reglas de derivacin que colaboran en el proceso pero que estn sin enunciar. Todo esto no deja que el pensamiento matemtico fluya libre de trabas psicolgicas. As, obligado a denunciar las lagunas inferenciales en las demostraciones matemticas, y a exigir la descomposicin de las pruebas en sus pasos lgicos simples (de tal forma que no se deje nada a la intuicin psicolgica y todo paso de razonamiento quede clasificado hasta en sus ltimos detalles), Frege realiza su trabajo de depuracin. Cada paso en el razonamiento debe venir de una serie de reglas puras que no puede ser violada o corregida segn el momento. El sistema de derivacin debe ser configurado desde el primer momento, debe ser completo y coherente de tal manera que todo pueda ser derivado de l y no tenga ninguna contradiccin. La diferencia de Frege con respecto a los anteriores lgicos es precisamente esta exigencia de rigor. Lo que Frege logra es un conjunto de reglas que regulen el paso de una proposicin o de dos a otra nueva, de tal forma que no tiene lugar nada que no este de acuerdo con estas reglas. Mi meta es, pues, una ininterrumpida exigencia de precisin en el proceso de demostracin, y la mxima exactitud lgica, a la vez que la claridad y brevedad 18. Frege, en ltimas, aspiraba a poder separar toda intuicin, sobre todo la intuicin psicolgica (adems de la intuicin lingstica), de las matemticas y la lgica. Esta idea de por s es revolucionaria, pues recordemos que la versin oficial kantiana de la poca sostena que la matemtica es intuitiva, con un contenido mental esencial. Esto slo ser verosmil hasta que no se haya inventado un lenguaje calculstico que evite la infiltracin de procesos de prueba intuitivos, es decir, no lgico formales, al interior de las matemticas. Para esto Frege crea la Begrirffsschrift (Conceptografa, 1879), una grafa de conceptos destinada a permitir una mayor brevedad y claridad en la expresin y a proceder segn unas pocas reglas fijas, como en un clculo, de modo que no se permita ningn paso que no sea conforme a las reglas establecidas de una vez por todas 19. La Begriffsschrift puede ser entendida como la primera obra de la lgica matemtica moderna. Vemos en Frege desde el principio una resonancia del ideal leibniziano de lenguaje universal: Se trata del primer clculo puramente artificial diseado para acoger una teora lgica a partir del modelo tipogrfico y procedimental de la matemtica. Es el famoso calculo proposicional que estudiamos en el curso. 20.

Frege, En Bochnski. Pg. 298 Op Cit, Pg. 114, Subrayado nuestro. 20 Aunque la compleja simbologa utilizada por Frege es extremadamente diferente a la sencilla escolar que utilizamos hoy en da, desde el punto de vista formal el clculo utilizado por nosotros es el mismo que Frege creo en 1879.
18 19

11

Es la primera vez en la historia del pensamiento que se construye un clculo formal con el objetivo de servir como representacin de las leyes del pensamiento verdadero. El lenguaje ordinario no sirve para la lgica porque esta lleno de imperfecciones, ambigedades e incoherencias, en l confluyen tambin manifestaciones de las psicologas cambiantes de los sujetos que lo utilizan. Este es el legtimo nacimiento de la lgica formal, y donde se muestra claramente una de sus diferencias con las anteriores concepciones de lgica. La lgica se realiza ahora a priori, con el nico objetivo de representar slo aquellos elementos que en el lenguaje ordinario son relevantes para la deduccin, y desechando todo lo dems que puede causar ambigedades, incluso a costa de intuitivamente no parecer estar representando funciones de un lenguaje: en esta lgica, como lo veremos, se pueden representar comportamientos lgicos del lenguaje con una estructura de smbolos que se encuentra alejada de la manera como el lenguaje ordinario da cuenta de ellos. Esto le permite a Frege, por ejemplo, hacer una manipulacin, en trminos de smbolos, de conceptos que se haban mostrado casi imposibles de caracterizacin lgica adecuada antes del, como el concepto de cuantificacin. Recapitulacin Los procesos de rigorizacin y de simbolizacin matemticas terminaron con destruir la unin de la forma lgica con el lenguaje ordinario para volverla (a la forma lgica) una simple combinatoria de smbolos al servicio de la matemtica. El resultado de este proceso es resumido por Russell: La consecuencia es que ahora es completamente imposible trazar una lnea entre las dos (lgica y matemtica); las dos son, efectivamente, una sola cosa. Difieren como un muchacho de un hombre: la lgica es la juventud de la matemtica, y la matemtica la plenitud de la lgica 21. El proyecto de lgica matemtica encuentra su fundamento en la idea leibniziana de un lenguaje universal que pudiera contener a todos los objetos, todos los principios de razn y todos los mtodos de conocer. Leibniz pensaba en un lenguaje de smbolos que nos despojara del gran problema de pensar. De tal forma que si hubiera una discusin sobre cualquier tema la forma para dirimir el debate fuera sentarse frente a una calculadora a hacer los clculos necesarios en un sistema lgico de smbolos. Recordemos que esto se usara no slo en matemticas sino en la filosofa, la moral y la esttica. La lgica formal abarcara en su totalidad, desde esta perspectiva, todo lenguaje y racionalidad posibles. Es imposible no ver aqu una restriccin: primero fue un silogismo ordinario, paso lgico de dos premisas a una conclusin. Luego, con Leibniz, se identific con la analiticidad y el principio de identidad (que todava tena implicaciones por fuera de la forma, como las metafsicas), ms tarde se redujo a un mero conjunto de smbolos obtenidos, mediante reglas preestablecidas de un conjunto de frmulas simblicas de carcter redundante. Cualquier apelacin a un discurso lingstico (presente implcitamente en la formulacin aristotlica), a una ley metafsica o a una regla psicolgica fue restringindose hasta desaparecer. Esto hace parte de proyecto moderno de lgica que postula una erradicacin del psicologismo y del uso ordinario del lenguaje en la formulacin de sus principios. Este proceso lleg a ser tan agresivo que se ha
80 Russell, Obras completas, Tomo 2, Introduccin a la filosofa de las matemticas, Bilbao, Aguilar, 1973. Pg. 1382.

12

afirmado que la nueva lgica formal intenta describir una racionalidad matemtica formal, no una racionalidad discursiva. Se ha visto en esto una restriccin injustificada del campo de juego de nuestra razn, con ella se han olvidado otras formas de expresin de nuestra racionalidad.

13