AbelLassalleCasanave BolsistadeProdutividadeemPesquisadoCNPqNvel2 possuigraduaoemFilosofiapelaUniversidadedeBuenosAires(1986)edoutoradoem LgicaeFilosofiadaCinciapelaUniversidadeEstadualdeCampinas(1995).atualmente ProfessorAssociadodaUniversidadeFederaldaBahia(UFBA).FoiCoordenadordePesquisada UniversidadeFederaldeSantaMaria(UFSM)eSecretrioGeraldaAssociaoNacionaldePs GraduaoemFilosofia(ANPOF).membrofundadordaAssociationforPhilosophyof MathematicalPractice(APMP).TemexperincianareadeFilosofia,comnfaseemFilosofia dasCinciasFormais,atuandoprincipalmentenosseguintestemas:conhecimentosimblico, conhecimentointuitivo,formalismoeprogramadeHilbert.

Arte Geomtrica
Abel Lassalle Casanave Universidade Federal da Bahia / CNPq Brasil abel.lassalle@gmail.com Abstract

En algunos pasajes delTratadoHume hace una serie de objeciones a la precisin y exactitud de la geometra, llegando inclusive a afirmar que la geometra es una arte, no una ciencia. En elTratado,para Hume, solamente son exactas la aritmtica y el lgebra, pero en laInvestigacinla posicin de Hume es decididamente ms convencional. En efecto,ladistincinentreproposiciones(exactas)derelacionesdeideasydecuestiones dehecho,psicologismoalmargen,recuerdatantoladicotomaleibnizianaentreverdades de razn y de hecho como, ms contemporneamente, el dualismo analticosinttico. Y entrelasproposicionesexactasderelacionesdeideasestntambin,ademsdelasdela aritmtica y las del lgebra, las proposiciones de la geometra, aunque Hume retire sin conviccin de laInvestigacinsus argumentos acerca de la inexactitud de esta ltima. Ahora bien, con una mejor comprensin del rol de los diagramas en las pruebas geomtricas,frutoderecientesinvestigacionessobreeltpico,examinaremosennuestra charla los argumentos de Hume contrarios a la exactitud de la geometra para mostrar porqusonincorrectos.

Introduccin. En algunos pasajes alarmantes de la Seccin IV de la Parte II del Tratado Hume hace una serie de objeciones a la precisin y exactitud de la geometra: Cuando la geometra establece una conclusin relativa a las proporciones de cantidad no debemos buscar en ello la mxima precisin y exactitud. Ninguna de sus pruebas llega a tanto. Esa ciencia toma correctamente las dimensiones y proporciones de las figuras, pero lo hace de un modo tosco, y permitindose alguna libertad. Sus errores no son nunca considerables, y ni siquiera los tendra en absoluto si no aspirara esa ciencia a una completa perfeccin. (Hume 1984, p. 140) En otros pasajes no menos alarmantes de la Seccin I de la Parte III, donde Hume recapitula los resultados de la seccin precedente, llega inclusive a afirmar que la geometra es una arte, no una ciencia: Ya he indicado que la geometra, arte por el que determinamos las proporciones de las figuras, a pesar de superar con mucho en universalidad y exactitud a los vagos juicios de los sentidos y la imaginacin, no alcanza jams la precisin y exactitud perfectas. (Hume 1984, p.173) En el Tratado, para Hume, son exactas la aritmtica y el lgebra, aunque no se vea muy bien porque los argumentos dirigidos contra la exactitud de la geometra no valdran mutatis mutandis tambin para aquellas. Pero en la Investigacin la posicin de Hume es decididamente ms convencional. En efecto, la distincin entre proposiciones (exactas) de relaciones de ideas y proposiciones de cuestiones de hecho, psicologismo al margen, recuerda tanto la dicotoma leibniziana entre verdades de razn y de hecho como, ms contemporneamente, el dualismo analtico-sinttico. Y ahora entre las proposiciones exactas de relaciones de ideas estn tambin, adems de las de la aritmtica y las del lgebra, las proposiciones de la geometra.

Pero Hume retira sin conviccin de la Investigacin sus argumentos acerca de la inexactitud de la geometra. As, el celebrado tenedor de Hume es ms un recurso de apuro para evitar conclusiones escandalosas por ejemplo: la geometra no es una ciencia exacta sino una arte- que una tesis innovadora. Para prueba de ello basta considerar que a las proposiciones de relaciones de ideas dedica solamente uno o dos pasajes en toda la Investigacin. Se sabe inclusive que Hume pens en una versin revisada de los argumentos del Tratado que nunca lleg siquiera escribir1. Con una mejor comprensin del rol de los diagramas en las pruebas geomtricas, fruto de recientes investigaciones sobre el tpico, examinaremos los argumentos de Hume contrarios a la exactitud de la geometra para mostrar que son incorrectos.

2. Los argumentos. A fuer de verdad, Hume da un solo y el mismo argumento: las igualdades que establece la geometra no pueden ser exactas porque no hay criterio de igualdad para lneas (rectas o curvas), ngulos y figuras en general. La situacin en la aritmtica es esencialmente diferente: dos cantidades son iguales si y solamente si hay una correspondencia biunvoca entre ambas. Este es el famoso principio de Hume que Frege usar en su reduccin de la aritmtica a la lgica y ninguno semejante a ste hay en geometra. Luego, cuando se demuestra que tres lados de un tringulo construido son iguales la proposicin I.1 de los Elementos o que la suma de los ngulos internos de un tringulo es igual a dos rectos la proposicin I.32 esas proposiciones son inexactas. Hume pregunta a los matemticos cul es el criterio para decidir si una lnea o superficie es igual, mayor o menor que otra. Los divide en dos sectas, la de aquellos que sostienen que la extensin est compuesta de puntos indivisibles y la de aquellos que la piensan compuesta de cantidades divisibles al infinito. Aunque sean pocos, dice Hume, los primeros tienen la ms aguda y correcta pero tambin completamente intil respuesta. La agudeza consiste en declarar que lneas y superficies son iguales cuando los nmeros de puntos son iguales en cada una aunque tal vez mejor sera decir que son equinumricos; la inutilidad decurre de que los puntos que constituyen lneas o superficies son tan minsculos y estn tan confundidos que nunca se podra hacer el cmputo necesario - o establecer la correspondencia biunvoca en cuestin. Ya en relacin a los que piensan la extensin como divisible in infinitum, segn Hume, no

Segn informa Flix Duque en la nota de pie de pgina 46 de Hume (1984).

pueden obviamente dar la misma respuesta ni pueden tampoco responder que se tratara de computar las partes componentes, pues, dado que lneas o superficies contendran el mismo nmero infinito de partes, y dado que los nmeros infinitos no pueden ser ni iguales ni desiguales entre s, la igualdad o desigualdad en cuestin no puede depender del dicho nmero infinito de las partes. Para Hume la nica nocin til de igualdad o desigualdad se deriva de la apariencia unificada y global, y de la comparacin con objetos particulares. (Hume 1984, p. 144) As, es dudoso saber cuando dos figuras son iguales o desiguales, si una lnea es recta o curva: se comparan lneas con el falible juicio de los sentidos; esa comparacin se puede corregir por alguna medida comn como, por ejemplo, una regla o un comps. Y agrega: En vano recurriramos al tpico de siempre: suponer una divinidad cuya omnipotencia nos capacitara para formar una figura geomtrica perfecta, y para describir una recta sin curva ni inflexin alguna. Como el criterio ltimo [ de igualdad ] de estas figuras no se deriva sino de los sentidos y de la imaginacin, es absurdo hablar de una perfeccin superior a aquella que estas facultades pueden juzgar, pues la verdadera perfeccin de una cosa consiste en su conformidad con su criterio. (Hume 1984, p. 149) Finalmente, Hume objeta, cerca del fin de la seccin IV de la Parte II de la cual hemos extrado su argumento, la certeza de los principios geomtricos mismos y por consecuencia de sus demostraciones. En particular, objetar las demostraciones de la divisibilidad infinita de la extensin basadas en el llamado punto de contacto de un crculo con una recta pero hace una concesin al respecto del uso de diagramas por parte de los matemticos que nos interesa destacar: Ya s que no hay matemtico que no se niegue a ser juzgado por los diagramas que describe sobre el papel, porque estos aducir son malos bosquejos que sirven nicamente para transmitirnos con mayor facilidad ciertas ideas, que son el verdadero fundamento de nuestro razonamiento. (Hume 1984, p. 151)

Los contra-argumentos de Hume al respecto de la divisibilidad no nos interesan, pero si el contraste entre las intiles figuras perfectas que ayudados por la divinidad o por la imaginacin transcendental- trazaramos y los malos bosquejos de una mano trmula. La contraposicin ilustra la falta de adecuada comprensin acerca del estatuto de los diagramas y su rol en una demostracin. Y falta de comprensin explica, como veremos a seguir, el error de Hume.

3. La refutacin. Euclides comienza sus Elementos enunciando en secuencia definiciones, postulados y nociones comunes. Un postulado el primero autoriza trazar una lnea recta de un punto a cualquier otro; otro el tercero a describir un crculo con cualquier centro y distancia. Con anterioridad a los postulados establece una serie de definiciones de conceptos geomtricos (punto, lnea, lnea recta, ngulo plano, figura, crculo, etc.). La definicin 15, por ejemplo, reza: crculo es una figura plana comprendida por una lnea [que se llama circunferencia] tal que todas las rectas que caen sobre ella desde un punto de los que estn dentro de la figura son iguales entre s.2 Despus de los postulados enuncia las llamadas nociones comunes, la primera de las cuales dice: Las cosas iguales a una misma cosa son tambin iguales entre s. Luego prueba su primera proposicin.

Proposicin 1

Construir un tringulo equiltero sobre una lnea recta finita dada.

Sea AB la recta finita dada. As pues, hay que construir sobre la recta AB un tringulo equiltero. Descrbase con centro en A y la distancia AB el crculo BCD [Post. 3], y con el centro B y la distancia BA descrbase a su vez el crculo ACE [Post 3], y a partir del punto C donde los crculos se cortan entre s, trcense las rectas CA, CB hasta los puntos A, B [Post. 1].

Citamos Euclides (2007).

Y puesto que el punto A es el centro del crculo CDB, AC es igual a AB [Def. 15]; puesto que el punto B es a su vez el centro del crculo CAE, BC es igual a BA [Def. 15]; pero se ha demostrado que CA es igual a AB; por tanto, cada una de las (rectas) CA, CB es igual a AB. Ahora bien, las cosas iguales a una misma cosa son tambin iguales entre s [N.C. 1]; por tanto, CA es tambin igual a CB, luego las tres CA, AB, BC son iguales entre s. Por consiguiente, el tringulo ABC es equiltero y ha sido construido sobre la recta finita dada. (Que es) lo que haba que hacer.

La prueba tiene una parte textual y una diagramtica. Cul es la contribucin de cada una de esas partes en la prueba? Si estuviramos a fines del siglo XIX o en el XX la respuesta sera que el diagrama no contribuye en nada; ms an, debe ser eliminado de la prueba para evitar que seamos engaados por la intuicin. La verdadera prueba consistira en una secuencia de frmulas por lo tanto, en lenguaje simblico y no natural tal que cada una de las frmulas de la secuencia es o bien un axioma (postulado) o bien se sigue de frmulas anteriores en la secuencia por una regla de inferencia. El teorema es la frmula final de la secuencia. Como vemos esta definicin excluye per se el recurso a diagramas como constitutivos de una prueba o demostracin. Pero esta versin estndar (lingstica, homognea) de prueba ha sido puesta en jaque por la literatura reciente en el sentido de que pruebas sean solamente las definidas de esa manera. En particular, con esto se hace justicia al hecho palmario de que las pruebas de Euclides han pasado bsicamente inclumes en ms de 2000 aos, al hecho de que a Euclides nunca lo engao la intuicin. Pero introducir un concepto ms amplio de prueba (no exclusivamente lingstico, heterogneo) exige responder justamente la pregunta anteriormente formulada: cul es la contribucin del texto y cul la del diagrama en una prueba como la de I.1? En dos brillantes trabajos, Ken Manders ha dado la respuesta a esta pregunta. No puedo aqu dar una idea completa de las tesis de Manders sino solamente de la mnima parte necesaria para refutar el argumento de Hume3. Comencemos con la contribucin del texto. La primera de ellas consiste en introducir elementos diagramticos: AB es recta finita, dos crculos con centros

Ver Manders (2008a) y, especialmente, Manders (2008b).

respectivos A y B y distancias AB y BA. Pero y esto es de la mayor importancia es el texto que declara que esos elementos son rectas y crculos, esto es, no es el diagrama que me autoriza a decirlo o, dicho de otra manera, no retiro del diagrama la informacin de que esas determinaciones son, como las denomina Manders, exactas. Tampoco es del diagrama que obtengo las conclusiones intermediarias de que AB y AC, por un lado, y de que BA y BC, por el otro, son iguales. Nuevamente es el texto recurriendo a la definicin de crculo que permite tales afirmaciones. As como es el texto pero ahora a travs de una nocin comn el que permite establecer que AC y BC son iguales. En palabras de Manders, dichas determinaciones son tambin exactas. Y cuando se trata de determinaciones exactas hay otras siempre es el texto el que las establece. Ahora bien, no significa esto que los diagramas son eliminables?, que las pruebas en verdad son puramente verbales?, que los diagramas son malos bosquejos que sirven nicamente para transmitirnos con mayor facilidad ciertas ideas que son el verdadero fundamento de nuestro razonamiento? Tal cual la prueba es, esa no puede ser la respuesta, pues hay un paso de ella en el cual recurrimos efectivamente al diagrama, a saber, recurrimos al punto C aqul de la larga fama- que resulta de la interseccin de los crculos. Larga, en efecto, pero no buena, pues ejemplifica una de las crticas ms usuales a los Elementos, aquella de la insuficiencia de sus axiomas. En efecto, desde la perspectiva contempornea, falta un axioma de continuidad que garantice la existencia de C. En una teora formal con un conjunto suficiente de axiomas, la prueba, aunque no verbal sino simblica, sera entonces s concluyente. Eliminando el recurso al diagrama obtenemos una prueba rigurosa sin riesgo de que la intuicin nos engae. Pero Manders llama la atencin sobre cundo y bajo qu condiciones Euclides recurre al diagrama: solamente cuando entran en juego los aspectos del diagrama que l llama co-exactos, esto es, aspectos topolgicos o mereolgicos que resultan del interjuego de las sucesivas entradas de elementos diagramticos, como, por ejemplo, que los crculos en cuestin se corten determinando por esa razn el punto C, esto es, el punto C es la interseccin de los crculos, eliminando de esta manera la objecin de que falta un axioma de continuidad, objecin que depende de las teoras actuales del continuo real. Pero, cul es el criterio para saber cundo el recurso al diagrama es legtimo o no? La respuesta est en las antpodas de la exigencia de figuras exactas trazadas con la ayuda de Dios o de la imaginacin transcendental. La respuesta est por el contrario en los malos bosquejos, en cun malos ellos pueden ser. En otras palabras: en la insensibilidad a la deformacin. As, por ejemplo,

por peor que dibujemos los crculos en I.1 determinarn an un punto de interseccin. Cul es el lmite aceptable? Que aquello que dibujemos determine dos regiones, una interior y otra exterior. Ciertamente, a mayor deformacin, mayor ser la desigualdad que percibimos entre los lados del tringulo, pero justamente esa igualdad es el texto el que la establece, no el diagrama. Una ltima observacin antes de concluir. Que un punto sea interior o no a un crculo es algo que el diagrama puede informar, pero que un punto sea centro del crculo ya no, pues ese es un aspecto exacto. Lo mismo ocurre con el punto de contacto entre un crculo y una recta, esto es, la tangente, al cual Hume se refiere. Que un punto sea punto de contacto es un aspecto exacto, como tal, es el texto, y no el diagrama, el que permite establecer esa afirmacin, como el lector podra comprobar examinando, por ejemplo, la demostracin de la Proposicin III.11 de los Elementos.

4. La conclusin. Se podra objetar que le he atribuido un error a Hume porque he olvidado su principio fundamental: que todas nuestras ideas o impresiones dbiles se originan en percepciones o impresiones fuertes. Pero este principio concluye en el caso de la geometra que no podemos tener ideas perfectas de crculos o rectas, cosa que se puede tranquilamente conceder, pues cuando se trata de aspectos exactos es el texto que los establece y cuando se trata de aspectos inexactos la cuestin es la insensibilidad a la deformacin y no la exactitud. Y no podemos atacar los axiomas o principios de los cuales las demostraciones dependen pues ellos no juegan un papel demostrativo porque se refieran a lo que veamos o podamos imaginar. Y esto ltimo, adems de una concesin al gusto, puede estar detrs del cambio de posicin en la Investigacin. Sugiramos un camino posible. En primer lugar, Hume aplica el descubrimiento ms notable en la Repblica de las Letras, a saber, la tesis de Berkeley de que la generalidad se obtiene por la vinculacin de las ideas siempre particulares con un trmino general. Definimos esos trminos con la sola condicin de que lo definido no sea auto-contradictorio. Para los axiomas geomtricos la misma condicin, quien sabe agregando una vaga nocin de intuitividad. Y todo el resto es silogismos. El resultado tiene un aire de ciencia demostrativa aristotlica. Despus de dividir los objetos de la investigacin humana en relaciones de ideas y cuestiones de hecho, Hume escribe: Del primer tipo son las ciencias de la geometra, lgebra y aritmtica y, en suma, toda afirmacin que es intuitiva o

demostrativamente cierta. Que el cuadrado de la hipotenusa es igual al cuadrado de los lados es una proposicin que expresa una relacin entre esas grandezas. Que tres veces cinco es igual a la mitad de treinta expresa una relacin entre esos nmeros. Proposiciones de ese tipo pueden ser descubiertas por la simple operacin del pensamiento, independientemente de lo que pueda existir en cualquier parte del universo. Aunque jams hubiese existido un crculo o un tringulo en la naturaleza, las verdades demostradas por Euclides conservaran para siempre su certeza y evidencia. La tesis, como vemos, es aqu bien ms convencional. Y en lneas generales, de acuerdo con tesis de un Descartes o un Leibniz. Si uno examina la contraposicin entre proposiciones de relaciones de ideas y cuestiones de hecho y existencia, la semejanza con Leibniz es an mayor: bsicamente resulta en la distincin entre verdades de razn y verdades de hecho. En efecto, las proposiciones de cuestiones de hecho ni son encontradas de la misma manera que las proposiciones de relaciones de ideas ni la evidencia de su verdad es la misma. Escribe Hume: Lo contrario de toda cuestin de hecho permanece siendo posible, porque no puede jams implicar contradiccin, y la mente lo concibe con la misma facilidad y clareza, como algo perfectamente ajustable a la realidad. En resolucin: si olvid el principio acerca del origen de nuestras ideas, Hume tambin quiso olvidarlo en la Investigacin. Y eso porque la tesis del Tratado est errada, aunque Hume no haya encontrado las mejores razones para rechazarla. Pero Hume err donde muchos otros erraron, antes y despus, as que no habra que cargar mucho las tintas, excepto, claro, para cautivar momentneamente, y en la medida de lo posible, la atencin del lector (o del oyente). Frustrado en ese intento, lo mejor est por venir: volver a las pginas inimitables de la Investigacin sobre cuyos aciertos tanto y tan bueno ha sido escrito.

Bibliografia

Euclides (2007) Elementos. Madrid: Editorial Gredos. Hume, D. (1984) Tratado de la naturaleza humana. Buenos Aires: Hyspamrica. _________. Manders, K.: (2008a) Diagram-Based Geometric Practice. In: MANCOSU, P. (ed.): The Philosophy of Mathematical Practice. Oxford: Oxford University Press 2008. pp. 65-79. _________. (2008b) The Euclidean Diagram. In: MANCOSU, P. (ed.): The Philosophy of Mathematical Practice. Oxford: Oxford University Press 2008. pp. 80133.