I. BREVE HISTORIA DE LA LGICA Aristteles: Naci alrededor de 384 a. de C. en Estagira Tran. Fue discpulo de Platn.

Fue maestro de Alejandro Magno. En 323 fund una escuela que llam Liceo. Muri en Calcis en 322 a. de C. En este recuento histrico usted va a encontrar una serie de trminos que en principio no van a tener gran significacin para usted, por cuanto se refieren a conocimientos que ir adquiriendo conforme adelanta el curso. Tambin es bueno anotar que en virtud de que ste es un curso introductorio de un nivel elemental, no es posible hacer referencia a muchos puntos complejos y propiamente lgicos estudiados especialmente a partir 'de la segunda mitad del siglo XIX. El propsito es que, despus de una lectura atenta, se percate del desarrollo histrico de la disciplina, de tal manera que pueda darse cuenta de las relaciones existentes entre la lgica tradicional v aristotlica y la lgica moderna o simblica. LA LGICA ARISTOTLICA Aristteles (384-322 a. de C.) fue el primero en concebir que el producto del pensamiento reflexivo era en s mismo el asunto de una ciencia especial. Aristteles fue el primero en reflexionar sobre la forma de las proposiciones y se percat que en el razonamiento no era el contenido sino la forma lo que tena importancia. l fue el que, adems, codific en forma sistemtica las formas de la argumentacin correcta. Por eso se le considera el Padre de la Lgica Formal. El mismo escribe en su libro Refustaciones Sofisticas: ...Ms de la presente ciencia (lgica) no se trata de que hubiera hasta ahora algo ya elaborado junto a otras cosas todava no elaboradas, sino que, por el contrario, hasta ese momento no haba de ella absolutamente nada disponible1 . Aristteles sistematiz principalmente la teora de un argumento especial que llam Silogismo. En su libro Tpicos se lee. ... La presente obra trata de hallar un mtodo gracias al cual podamos construir silogismos sobre cualquier cuestin que se proponga, partiendo de premisas probables. Pues el silogismo, es un discurso en que, puestas ciertas premisas, algo distinto de ellas surge necesariamente a partir de las mismas. Con esta ltima frase quiero decir que ellas producen la consecuencia, y con esto, que no se requiere ningn termino adicional desde fuera para hacer la consecuencia necesaria La base de la teora silogstica est en la hiptesis de que todo razonamiento correcto puede analizarse mediante proposiciones de una forma peculiar y que llamamos proposiciones de sujetopredicado. En esta clase de proposiciones hay un sujeto cuantificado, o sea un sujeto precedido por alguna de estas palabras: todo, ninguno, alguno. Este sujeto est unido al predicado por medio de un verbo. Ejemplos de ellos son:70 Todos los alumnos son zulianos Algunos, alumnos son marabinos

Ningn alumno es alemn Algn alumno no es marabino Si en estos ejemplos el sujeto se denota por S y el predicado por P, entonces tenemos las siguientes formas: Todos S son P Algunos, S son P Ningn S es P Algn S no es P

Con estas formas de las proposiciones sujeto-predicado, Aristteles concibe, adems, que la deduccin tiene lugar en virtud de la forma. Por eso el Estagirita afirma: siempre que tres trminos estn relacionados entre s de tal modo que el ltimo est contenido en el medio como en un todo, y el medio est contenido en el primero como un todo, los extremos deben estar relacionados por un silogismo perfecto. Llam medio a aqul que est contenido en otro y a la vez contiene a otro; tambin en cuanto a su posicin est en el medio. Por extremos entiendo tanto aquel trmino que est contenido en otro cuanto aquel en que otro est contenido. Si A es predicado de B, y B lo es de C; A debe ser predicado de toda C1. Este ejemplo ofrecido por Aristteles equivale, entonces a lo siguiente: Toda A es B Toda B es C Por lo tanto, Toda A es C Aqu los extremos seran A y C y el trmino medio B. A partir del ejemplo ofrecido podemos observar que la lgica de Aristteles era formal y que tanto l como los lgicos subsiguientes se aproximaron mucho a la teora de la variable lgica. Adems est implcito en el ejemplo anotado que no se requiere ningn trmino adicional fuera del mismo silogismo para hacer la consecuencia necesaria, lo cual quiere decir que Aristteles en el estudio del silogismo aplica leyes que relacionan internamente los trminos sin necesidad de ninguna injerencia externa. Este uso de smbolos y sta aplicacin de leyes constituyen los elementos; fundamentales de toda lgica, de aqu se puede afirmar que en el desarrollo de la lgica simblica moderna est siempre presente de alguna manera la obra del gran estagirita.

Para terminar diremos que los estudios de Aristteles sobre lgica estn distribuidos en cinco tratados; los cuales fueron reunidos por sus discpulos en uno solo que recibi el nombre de rganon, palabra que quiere decir Instrumento.

LA OBRA DE LEIBNIZ Y EL NACIMIENTO DE LA LGICA SIMBLICA Gottried Wilhem Leibniz (1646-1716). Naci en Lepzig, ah mismo alcanz su doctorado. De 1663 a 1667 estudi matemticas en la Universidad de Jna y jurisprudencia en la de Altdos. En 1700 fue nombrado presidente de la Sociedad de Ciencias de Berln. Pasar de Aristteles a Leibniz supone un salto de dos mil aos. El hecho de que no hagamos mencin en esta brevsima resea de la historia de la lgica a ese largo lapso, no significa que en el mismo no se cultivara la lgica, y que en algunos campos, incluso, se lograra un desarrollo de la misma; sin embargo, en su estructura fundamental es la misma lgica aristotlica, y, como nuestro propsito, ms que sealar nombres de lgicos, es mostrar el desarrollo de la misma lgica, consideramos innecesario hacer referencia a ese perodo. Solamente del siglo XVI al siglo XVIII hubo una interrupcin total del desarrollo de la lgicaformal. En el siglo XVIII, precisamente, en el ao de 1787, Kant haba afirmado, como anotamos anteriormente, que la lgica formal haba sido creada por Aristteles con tal perfeccin que no haba dado ni un paso atrs ni un paso adelante en su desarrollo, de tal forma que pareca completa y cerrada. Sin embargo, Leibniz no fue de la misma opinin y con l empieza la lgica formal una vida nueva cuyo desarrollo posterior culminara en la moderna lgica simblica. Leibniz, en efecto, se dio cuenta de que la lgica aristotlica era incompleta, que era tarea de la lgica la obtencin de un instrumento potente que le permitiera alcanzar el mismo rigor y objetividad que las ciencias matemticas. Leibniz tuvo la intuicin de que la lgica se poda reducir a un simple clculo, y para ello propone el estudio de la deduccin como simple operacin de smbolos a la manera como se opera en matemticas. El idioma ordinario, dice Leibniz, imita en el papel palabras que representan convencionalmente objetos. En cambio los ideogramas chinos y los jeroglficos egipcios representan directamente los objetos mismos. Se podra construir segn l un idioma en el cual cada concepto simple fuera representado directamente por un carcter o signo, llamado caracterstica universal, y de esa forma obtendramos un idioma ideogrfico, o sea un idioma de las ideas o conceptos. Sera por lo tanto, un lenguaje simblico, con la propiedad de ser tratado como un clculo del razonamiento, como un lgebra. Los caracteres o signos constituiran un alfabeto del pensamiento humano que correspondera a todas las ideas simples posibles. Estas ideas simples seran conceptos primitivos a partir de los cuales podran construirse conceptos complejos por medio de reglas de combinacin. De esta manera Leibniz concibi tanto la posibilidad de un clculo del razonamiento como la posibilidad de una matemtica universal, que sera el origen, en definitiva, de la lgica simblica.

De aqu que Leibniz sostena que cuando se logre simbolizar todas las ideas, no habr necesidad de discutir ms entre filsofos. Ser suficiente con tomar la pluma en la mano, sentarse en la mesa y decir el uno al otro: calculemos. Leibniz, no pudo cumplir su sueo, slo pudo ejecutar algunos fragmentos del programa que se haba trazado, pero tuvo el mrito indiscutible de abrir y orientar el nuevo camino que desembocara en la lgica simblica contempornea.

GEORGE BOOLE George Boole: (1815-1864). Naci en Lincoln, Inglaterra. Profesor de matemticas en Queen's College de Cork. Es considerado como el fundador de la Lgica Simblica. Estas ideas de Leibniz encuentran el terreno preparado para llegar a realizaciones concretas a mitad del siglo XIX. En efecto, el progreso de los estudios matemticos proporcion a los lgicos los instrumentos necesarios para empezar a construir la lgica tan vivamente deseada y entrevista por Leibniz. George Boole, matemtico y lgico, publica en Londres en 1847 su libro, The Mathemathical Analyst of Logic, en el cual aplicando el mtodo matemtico logra traducir la lgica aristotlica a una teora de ecuaciones, donde cada uno de los trminos de la lgica tradicional los represent con smbolos. En su obra Boole. subray como caracterstica fundamental de todo elemento del lenguaje la de ser signo, y, adems, que estos signos son susceptibles de combinacin de acuerdo a reglas fijas que bastan para determinar la significacin de la combinacin. Boole propuso los siguientes smbolos: (i) Los objetos de nuestros conceptos los represent con las letras ltimas del alfabeto x, y, z, . . . (ii) Como signos de operacin emple: +, -, x. (iii) Emple adems el signo de identidad. Para Boole el recurso de la simbolizacin era capital. A este respecto he aqu sus palabras: ... Nosotros estamos en condiciones de dar como caracterstica definitoria del clculo la de que es un mtodo basado en el uso de los smbolos, cuyas leyes de combinacin son conocidas y generales y cuyos resultados permiten una interpretacin exenta de contradicciones. Sobre este principio general es sobre lo que yo me propongo construir el clculo de la lgica y reclamo para l un lugar entre las formas reconocidas del anlisis matemtico independientemente del hecho de que tal clculo deba, por ahora, apartarse de ellas espontneamente en todo lo referente a su objeto e instrumentos1 . La obra de Boole seala un cambio de rumbo en l estudi de la lgica y si bien no logr construir definitivamente la lgica matemtica, se puede considerar con todo derecho como el iniciador de la misma; y su posterior desarrollo no hubiese sido posible sin el trabajo por l realizado.

El camino sealado por Boole fue transitado por varios autores que condujeron a la lgica matemtica o simblica a avances insospechados en lo que a construccin de sistemas formalizados se refiere. Como dato curioso es bueno anotar que en 1860, Jevons, como consecuencia de la aplicacin de los adelantos tericos logrados en los sistemas formalizados, concibi la idea de construir una mquina-pensante, que sera el primer precursor de las modernas calculadoras.

GOTTLOB FREGE Gottlob Frege: (1848-1925). Naci en Wismar, fue profesor de matemticas en la Universidad de Jena. La publicacin de su libro Conceptografa seala una fecha capital en el desarrollo de la lgica simblica. Hay otros muchos lgicos que habra que nombrar en esta poca, pero entre todos sobresale Gottlob Frege (1848-1925). La lgica despus de Boole se haba convertido fundamentalmente en un clculo. Con Frege aparece otra necesidad, la necesidad de determinar las condiciones adecuadas para lograr un procedimiento deductivo riguroso. En 1879 Frege publica su obra Begriffsschift (Conceptografa). En ella consigue la construccin de un clculo lgico casi perfecto. Para ello crea un simbolismo muy original, aunque muy complejo, que le va a permitir realizar la formalizacin completa de la lgica deductiva elemental. En esta obra Frege formula de manera clara la distincin entre variable y constante, el concepto de funcin lgica, el concepto de cuantificador, distingue entre regla y ley, diferencia el lenguaje objeto y el metalenguaje. Desde Boole todos los lgicos aceptaban que la lgica era una parte de las matemticas, Frege ser el primero en sostener el punto de vista opuesto, es decir, que los conceptos matemticos se pueden obtener a partir de conceptos lgicos, y de esta manera la matemtica se converta en una parte de la lgica. A pesar de su gran valor la obra de Frege pas casi inadvertida durante veinte aos antes de que B. Russell llamara la atencin sobre ella. Como causa de ese olvido se seala lo complicado y difcil de su simbolizacin, lo cual haca su lectura sumamente dificultosa. Giuseppe Peano tiene la virtud de simplificar el simbolismo de Frege. Este simbolismo propuesto por Peano, salvo ligeras modificaciones, es el que adoptarn Russell y Whitehead en su libro Principia Mathemathic, simbolismo que es el que prevalece en gran parte hasta nuestros das. Peano, logr tambin notables aportes para el desarrollo de la lgica simblica. Entre ellos estn la concepcin de la lgica como poderoso instrumento para sistematizar la matemtica, establece la posibilidad de vincular una clase a cada predicado e hizo la distincin entre variables libres y ligadas.

LAS INVESTIGACIONES LGICAS EN EL SIGLO XX Bertrand Russell: Naci en 1872 en Trelleck,

Inglaterra. Estudi en Trinity College (Cambridge). Primero se interes por las matemticas, luego por temas filosficos, histricos y sociales. En 1952 recibi el Premio Novel de Literatura. La obra ms notable de lgica simblica que existe, es la publicada por Bertrand Russell y Alfred N. Whitehead entr 1910 1913 cuyo ttulo es Principia Mathemathic. Esta obra ha reelaborado, analizado y sintetizado de manera brillante y original todos los logros alcanzados por los lgicos precedentes. El principio fundamental de Principia Mathemathic consiste en probar que las matemticas puras no son otra cosa que una extensin de la lgica formal. Demostraron que los nmeros enteros positivos pueden analizarse en trminos puramente lgicos. A parte de este objetivo central los autores sealan en el prlogo de su libro que han sido guiados por tres propsitos distintos, a saber: (i) Efectuar el mayor anlisis posible de los conceptos de las matemticas y de los procesos de la demostracin matemtica. (ii)Expresar las proposiciones matemticas en la notacin ms conveniente a fin de asegurar la expresin ms precisa. (iii)Desarrollar un sistema especialmente construido para resolver las paradojas. Para comprender a Russell y Whitehead as como el desarrollo de la lgica simblica en el siglo XX es preciso referirse aunque sea brevemente al desarrollo de los fundamentos de la matemtica, ciertamente uno de los procesos ms fascinantes de la cultura contempornea. Las matemticas del siglo XIX, hicieron hincapi en la exigencia de rigor, y, en parte, este rigor se haba logrado concretar en la llamada aritmetizacin del anlisis. La aritmetizacin del anlisis fue un intento de reducir los conceptos del anlisis, (teora de los nmeros naturales), a los de la aritmtica, rama que descansa en la teora de los nmeros naturales, de manera que su propsito era hacer descansar todo el edificio de la matemtica clsica en la aritmtica, pues sta se manifestaba como la nica base "no artificial" de las matemticas. Este proceso de reduccin de las matemticas a la aritmtica termina con Peano, quin logr una construccin axiomtica de la aritmtica elemental. Mientras tanto otro grupo de matemticos se dio a la tarea de reducir la aritmtica a un concepto todava ms profundo que pareca explicar mejor los fundamentos de la matemtica. Este concepto, era el concepto lgico de clase.

George Cantor, expone a finales del siglo XIX la teora de los conjuntos. A travs de esta teora logra definir los nmeros. Desde el punto de vista lgico esto tiene singular importancia, pues el concepto de nmero sobre el cual descansa la aritmtica ya no resulta ser primitivo sino reducible al concepto de clase. Este edificio de la matemtica construido aparentemente con fundamentos definitivos fue sacudido abruptamente por uno de los acontecimientos ms desconcertantes de la actividad intelectual contempornea: el descubrimiento de las paradojas lgicas. Por paradoja se entiende una serie de proposiciones en las cuales una y su negacin son verdaderas. Estas paradojas, entre las cuales una de las ms importantes es la de Russell, socavaban la teora de conjuntos en su misma base, ya que esta teora conduca a esas contradicciones o paradojas y por lo tanto la convertan en algo totalmente inconsistente; y al descansar el edificio de las matemticas en esta teora, y desplomarse sta, se desplomaba con ella toda la matemtica. Esto llev a realizar un examen exhaustivo de los principales sistemas de la matemtica clsica. En este anlisis el nico instrument apropiado result ser la lgica simblica contempornea, y sta es la razn, en parte, del arraigo de la lgica simblica en el siglo XX. Para resolver las paradojas lgicas los matemticos y lgicos se dieron a la tarea de la construccin de sistemas axiomticos puramente frmales, construyendo de esta manera la teora axiomtica de los conjuntos. Sin embargo, muchos matemticos y lgicos consideraron que la teora axiomtica de los conjuntos, aunque resolva las paradojas lgicas, no permita resolver otros problemas que en cambio, la teora intuitiva de los conjuntos s lo lograba. Como consecuencia de esto, se van a establecer tres corrientes principales: la logicista, la formalista y la intuicionista. La escuela logicista est defendida por Frege, Peano y Russell entre otros. Para ellos, los nmeros y las clases existen en s mismos, tienen cierto carcter de objetividad, no los inventamos nosotros. Las paradojas no seran, pues, segn esta escuela, sino el fruto de nuestro modo inadecuado de hablar de las relaciones entre las clases, por lo cual, para evitarlas era suficiente con ser ms cuidadosos en el lenguaje empleado al referirnos a esas teoras. Russell pretende resolver el problema de las paradojas mediante su teora de los tipos de predicados. Esta teora, sin embargo se demostr posteriormente que no era capaz de evitar todas las paradojas cmo por ejemplo la enunciada por J. Richard en 1905. La escuela intuicionista fue encabezada por el matemtico holands L. E. J. Brouwer. Los intuicionistas rechazan cualquier intento de fundamentar la aritmtica en algn sistema ms fundamental y consideran que los nmeros positivos son realidades intuitivas suficientemente seguras como para construir en base ellos toda la aritmtica. Para los intuicionistas, verdad era sinnimo de demostrabilidad, un enunciado matemtico es verdadero si tenemos una demostracin de l.

La escuela formalista considera que las entidades matemticas son construidas por nuestra inteligencia, y, por tanto, existirn en la medida que se puedan definir sin contradiccin. Por eso la fundamentacin de las matemticas est supeditada a la construccin de sistemas axiomticos perfectamente formalizados donde sea imposible que se d la presencia de contradicciones. El adalid de esta escuela fue David Hilbert. Esta escuela que tiene su mayor auge a partir de 1930, sufri un serio revs poco tiempo despus. Efectivamente el alemn K. Godel demostr los lmites inherentes al formalismo puro. Godel demostr que en cualquier teora deductiva que poseyera un mnimo de complejidad hay proposiciones verdaderas que no son demostrables mediante ningn sistema formalizado. El hecho de que los sistemas axiomticos formalizados no pudieran resolver con absoluta seguridad la demostracin de la no contradiccin de ellos mismos, ha dado origen a la tendencia semntica dentro de la lgica moderna. El acta de nacimiento de este movimiento tiene lugar en 1935, cuando Tarski publica el artculo titulado El concepto de verdad en los lenguajes formalizados. El Desarrollo de los estudios semnticos es el hecho ms destacado acerca de la lgica simblica en los ltimos decenios. Asegrese de que conoce los puntos principales de la historia de la lgica; para ello: