DESDE LOS

ORGENES
DE LA

LGICA

NDICE Pgina(s) Introduccin Acercamiento a la lgica 3 8

Parmnides. Pitgoras. Platn..

18 22 24

Conclusiones Bibliografa.

30 32

No es que hubiera una parte previamente elaborada y otra no, sino que no haba nada en absoluto (). Sobre las cuestiones de retrica existan ya muchos escritos antiguos mientras que sobre el razonar no tenamos en absoluto nada anterior que citar, sino que hemos debido afanarnos consumiendo mucho tiempo en investigar con gran esfuerzo (Aristteles, Refutaciones Sofsticas)

Introduccin No faltan razones para sostener que la lgica formal ha tenido su origen, por lo que a Occidente concierne, en la filosofa griega. Pero con ser oportuna y hallarse justificada la atribucin de un comienzo histrico definido, la influencia de ideas anteriores sobre quienes fueron primordialmente responsables del inicio de la nueva forma de investigacin plantea un difcil problema. Fue en el perodo que precedi a Platn cuando filsofos y cientficos debatieron por vez primera los mritos respectivos de razn y de la sensacin como fuentes de conocimiento, y comenzaron a plantearse el problema de la relacin entre una teora y las bases o pruebas que la sustentan. Aristteles suele ser considerado el padre de la lgica formal1 y la cita que inicia el presente ensayo a veces se ha ledo algo alegremente, indica Luis Vega- como si fuera una asuncin expresa de tal paternidad. La madre vendra a ser entonces la Academia platnica fundada en Atenas hacia el 385 a. n. e.-. En ella confluyen y se interrelacionan diversos supuestos filosficos y epistemolgicos, dialcticos,

matemticos, que hacen posible el plano de reflexin metadiscursiva propia de la lgica; y en su seno se gesta, segn todos los visos, el punto de vista formal que Aristteles empieza a modelar y desarrollar en sus aos acadmicos. No es indiferente que esta gestacin se produzca en la misma matriz en que aparece la idea de demostracin lgicamente concluyente2. De los indicios que encontramos en Platn y Aristteles, as como en otras fuentes, se desprende con claridad que los filsofos griegos haban iniciado la discusin de los principios de la inferencia vlida antes de que Aristteles compusiese el
1

Segn F. Enriques, citado por Luis Vega, Aristteles es tenido por padre de la lgica, pero slo cabe considerarlo como recopilador y sistematizador de lo que en este campo- fue elaborado antes de l, cualquiera que sea la contribucin original que pudo haber aportado al sistema. Ahora bien, segn A. Deao: La lgica es una ciencia formal y general o universal (o mejor: formal y, por ende, universal). Ello estaba claro ya para quien por primera vez se par a reflexionar sobre su naturaleza: para Aristteles. Por supuesto que la historia de la lgica empieza antes. Pero la historia de la idea de lgica empieza con Aristteles bien lo saba l mismo. Vega Ren, Luis: Una gua de historia de la lgica. Cuadernos de la UNED. Madrid, 1996, p. 63 2 Vega Ren, Luis: Una gua de historia de la lgica. Cuadernos de la UNED. Madrid, 1996, p. 51

Organon. Las interpretaciones en todo caso de las palabras del estagirita no son concluyentes. Quizs todo lo que Aristteles quera decir con esto es que no haba, antes del suyo, ningn tratado sistemtico sobre cuestiones de argumentacin; pero si lo que pretende es que nadie antes de l hubiera intentado inventariar principios lgicos, en cuando diferentes de los meros ejemplos que pudieran servir para ilustrarlos, tal pretensin se halla desmentida por sus propias palabras. Pues en la misma obra se rechaza la distincin, establecida por algunos, entre argumentos relativos a palabras y argumentos relativos a pensamientos; y se sostiene asimismo que es absurdo discutir sobre la refutacin sin hacerlo sobre el razonamiento, lo que implica que no faltaban quienes propugnaran tal cosa3. La primera exposicin sistemtica de un conjunto de reglas de argumentacin se encuentra en Aristteles, pero no son pocas las preguntas que pueden formularse acerca de las argumentaciones practicadas por escritores griegos ms antiguos y a propsito de las circunstancias en las que llegaron a reconocerse y analizarse diversos modos de argumentacin. Algunos griegos adoptaron en el siglo VI a. n. e. una actitud discursiva y racional desusada en el marco histrico de la cultura antigua. Y es que, la contribucin de los antecesores de Aristteles al nacimiento de la lgica en el siglo IV a.C. consisti en el desarrollo y cultivo de un tipo de discurso que envolva el uso de la inferencia y la prueba. Consista no slo en la pretensin de dar cuenta y razn ante uno mismo y los dems hombres del mundo que nos rodean, sino en reconocer un poder relativamente pblico e impersonal, la fuerza de la razn, capaz de dirimir por la va de la argumentacin el caso opuesto4. Son los casos, por ejemplo, de Herclito y Parmnides. Mientras que los matemticos se preocupaban por demostrar nuevos e interesantes teoremas, los oradores y los filsofos se vean obligados a buscar modos de refutar las tesis esgrimidas por los otros oradores y filsofos. Ello llevaba consigo el anlisis de la validez de los argumentos, anlisis que en su momento sugiri estratagemas tales como la de aceptar provisionalmente el punto de vista del contrario y rebatirlo despus demostrando que implica consecuencias absurdas. La conexin entre este procedimiento y el modus tollens es indiscutiblemente obvia. En los siglos V y IV

3 4

Kneale, William y Martha: El desarrollo de la lgica. Tecnos. Madrid, 1972, p. 15 Vega Ren, Luis: La trama de la demostracin. Cuadernos de la UNED. Madrid, 1990, p. 30

a. C., el inters por los argumentos falaces fue enorme, como puede desprenderse del Eutidemo de Platn y del De Sophisticis Elenchis de Aristteles5. En la antigua literatura griega pueden ilustrarse con textos preplatnicos una multiplicidad de formas distintas de argumentacin, y junto con ella habra que sealar el desarrollo de varias ideas relativas al uso de la argumentacin durante ese mismo perodo, en especial, la idea de necesidad6 lgica, la de imposibilidad7 lgica, y la nocin de probabilidad8. Aun cuando, en un principio, los modos de argumentar no fueran identificados como tales, podemos considerar a pesar de todo no slo cules eran los argumentos ms comnmente utilizados en la prctica por mor de inferencia o persuasin en la antigua literatura griega, sino cmo se utilizaban. En qu medida los prensadores preplatnicos formulaban explcitamente los principios o los supuestos sobre los que se fundaban sus argumentos? Hasta qu punto lleg Platn a realizar el anlisis de distintas formas de argumentacin? Si podemos advertir ciertos progresos en la discriminacin de determinados modos de argumentacin durante el perodo previo a Aristteles, tambin podemos preguntarnos en qu medida estos desarrollos han influido en el curso efectivo de la argumentacin practicada subsiguientemente, y si el anlisis de tcnicas de inferencia ha desembocado en alguna modificacin sustancial de los mtodos argumentativos empleados por los filsofos y por otros autores9.

5 6

Prior, Arthur N.: Historia de la lgica. Tecnos. Madrid, 1976, p. 13 En un principio, las expresiones x, , no slo se utilizan en contextos como los configurados por el hado, la necesidad fsica y la obligacin moral. Pero a partir de Parmnides, estos trminos adquieren una nueva aplicacin en un contexto lgico, es decir, se aplican a describir conclusiones que se siguen necesariamente de determinadas premisas (sean verdaderas o falsas estas conclusiones). Parece probable que los eleatas fueran los primeros en desarrollar y en emplear la nocin de necesidad lgica, a pesar de que, por supuesto, no definieron explcitamente este uso. Lloyd, Geoffrey Ernest Richard: Polaridad y analoga. Taurus. Madrid, 1987, pp. 390-391 7 La idea de imposibilidad lgica es la conversa de la de necesidad lgica. Tampoco en este caso, hasta Aristteles, se llega a distinguir con claridad lo que es lgicamente posible o imposible de lo que resulta posible o imposible como cuestin de hecho, pero no faltan igualmente textos presocrticos dignos de mencin. Parmnides ofrece algunos pasajes en los que parecen presentarse ambos sentidos de imposible 8 En cualquier argumentacin a partir de la experiencia se halla implcita de ordinario alguna idea de lo probable, y cabe citar ejemplos de argumentos que asumen tcitamente un valor de probabilidad procedentes de los textos ms antiguos de que disponemos. En Homero, por ejemplo, late una nocin de esta suerte cuando alguien sopesa la posibilidad de que hayan actuado o estn actuando fuerzas sobrenaturales. Despus, el trmino x lleg a ser de uso comn en el siglo V a. n. e. para referirse a los que es probable. Tampoco faltan pasajes de la antigua literatura griega en los que se traza una distincin entre las conclusiones meramente probables y las conclusiones ciertas. En Homero ya se hace una diferenciacin entre el conocimiento claro basado en los sentidos y la pura conjetura. Los filsofos presocrticos acostumbraron luego a discernir entre el conocimiento y la mera opinin 9 Lloyd, Geoffrey Ernest Richard: Polaridad y analoga. Taurus. Madrid, 1987, p. 8

Se trata de un desarrollo multiforme sin igual en otros medios o estamentos culturales distinguidos de las sociedades coetneas (escribas, egipcios, sacerdotes y magos babilonios, sabios y exgetas hindes). Represent la aparicin de unos modos de considerar la realidad natural y social en los que enraza el pensamiento filosfico y cientfico de Occidente, generando muy variadas formas de argir, probar o debatir creencias u opiniones a la luz de las razones aducidas. La retrica, que trata de los razonamientos argumentativos, precede a la lgica. Ambas coinciden en el tratamiento del raciocinio. Llama la atencin, en ese sentido, la riqueza del lenguaje griego de los siglos V y VI a. n. e. en lo que se refiere a las diversas formas de probar o de poner a prueba, a la variedad de los elementos de prueba, a las dimensiones y los grados de fuerza o de poder de conviccin de lo aducido o de lo inferido en una prueba. Sorprende esta conciencia de los usos y poderes crticos, heursticos y cognitivos de las pruebas discursivas, por ejemplo, del lenguaje dirigido no slo a convencer a alguien de algo sino a dar cuenta y razn de que algo es (o no es) el caso a veces hasta el punto de que, siendo as, resulta imposible que sea de otra manera, segn cabe establecer mediante una demostracin-. An es ms sorprendente la conciencia metadiscursiva de los antiguos griegos: su reflexin sobre las pruebas mismas y su conversin del lenguaje discursivo en objeto de estudio y de investigacin10. Algunos griegos parecen ser acreedores a una originalidad an ms radical en relacin con la demostracin y el mtodo deductivo. Se dice que las ideas de demostracin y de mtodo deductivo son una invencin griega11 y han constituido la matriz racionalista de nuestra cultura filosfica y cientfica. Suele considerarse que las ideas de demostracin y de mtodo deductivo son un logro decisivo del pensamiento; marcan el nivel de abstraccin y de elaboracin conceptual alcanzado por los vuelos tericos de una rama del conocimiento; en particular, indican la superioridad de la

10 11

Vega Ren, Luis: Una gua de historia de la lgica. Cuadernos de la UNED. Madrid, 1996, p. 52 Segn defiende Luis Vega, la demostracin no es una invencin griega si por ella se entiende cualquier manera convincente de mostrar o probar un resultado. No ser raro encontrar ya en el propio Homero claras y variadas muestras de su uso. Pero es a partir de mediados del siglo V a. n. e. cuando se van fijando unos usos inferenciales propiamente dichos o, al menos, proceden de entonces las primeras muestras documentales de un lenguaje especficamente discursivo y podemos asistir al desarrollo de una deduccin condicional. En ltimo trmino ser la lgica estoica del siglo siguiente la que mejor aprovechar la forma genrica de la inferencia condicional para diversos usos normalizados. Vega Ren, Luis: La trama de la demostracin. Cuadernos de la UNED. Madrid, 1990, pp. 36-37

matemtica griega sobre otras matemticas prehelnicas conocidas (por ejemplo, la egipcia, la india, la babilnica)12. Sin embargo, no conviene exagerar el alcance de esta fundacin. Planteado con toda crudeza, el punto es ste: a lo largo y ancho del perodo prehelnico no hay signos de que se sintiera la necesidad de urdir demostraciones concluyentes en la trama deductiva de un grupo de conocimientos, ni hay muestras de inters por cuestiones relativas a los aspectos lgicos, metodolgicos o epistemolgicos de este tipo de pruebas. No hay seales indirectas de que hayamos perdido o podamos encontrar una biblia babilnica, un papiro egipcio o un fragmento indio que contenga un anlisis expreso de la nocin de demostracin o la organizacin de un cuerpo de conocimientos bajo la forma de cadenas de demostraciones13. La invencin griega de la idea de demostracin no consiste sino en la comparecencia de tres caractersticas: la construccin y el uso inequvoco de argumentos deductivos efectivamente concluyentes; la conciencia expresa de la capacidad demostrativa que poseen tales argumentos en virtud de las relaciones que median entre determinadas premisas y las conclusiones que se siguen de ellas; y la intencin de organizar deductivamente un cuerpo de conocimientos al hilo de una urdimbre conceptual y terica, y de la correspondiente trama lgica. La aparicin del mtodo deductivo y de la idea de demostracin en la antigua Grecia ha suscitado vivas discusiones. Cundo, cmo y de dnde les vino a los griegos esta ocurrencia? No hay una respuesta simple y lineal a la cuestin de la gnesis de la idea de demostracin. Todo hace pensar que la generacin de las ideas de demostracin y de mtodo deductivo fue un proceso gradual y promiscuo, y que su desarrollo bien pudo alimentarse de diversas fuentes como la filosofa, la dialctica y las matemticas14. Vayamos por partes.

12 13

Vega Ren, Luis: La trama de la demostracin. Cuadernos de la UNED. Madrid, 1990, p. 32 Vega Ren, Luis: La trama de la demostracin. Cuadernos de la UNED. Madrid, 1990, pp. 33-34 14 Vega Ren, Luis: La trama de la demostracin. Cuadernos de la UNED. Madrid, 1990, p. 69