THMATA, REVISTA DE FILOSOFA 17 : 223-245 (1996)

HENRI BERGSON, LAS MATEMATICAS Y EL DEVENIR

M. Espinoza Universit de Strasbourg

RESUMEN : Henri Bergson (1859-1941) divide la naturaleza en dos regiones en conflicto, lo vivo y lo inerte. Lo vivo es el dominio de la evolucin creadora, lo inerte es lo que el intelecto considera como la materia. La esencia de todas las cosas es su duracin continua, accesible solamente a la intuicin. Los formalismos matemticos, productos del intelecto que estructuran la visin mecanicista del mundo, estn construidos con smbolos discretos que reflejan las categoras que Bergson asocia al espacio (la discontinuidad, el anlisis, la homogeneidad). Esta inadecuacin entre el intelecto matemtico y la duracin continua explica que las ciencias matemticas no puedan darnos un conocimiento del mundo. Bergson constituye un desafo al matemtico que quiere reducir la distancia entre el continuo intuitivo y el continuo matemtico. El objetivo de este ensayo es explicar y evaluar las opiniones de Bergson sobre la naturaleza y el inters de las matemticas.

ABSTRACT : Henri Bergson (1859-1941) divides nature in two conflicting regions: life, the content of creative evolution, and that inert something which the intellect calls "matter". The essence of things is their continuous duration which only intuition can grasp. On the other hand, mathematics, the structure of the mechanical sciences, is made up of discrete symbols which reflect the categories Bergson links to space such as discontinuity, analysis, and homogeneity. This antagonism between the mathematical intellect and continuous duration explains that the mathematical sciences are incapable of giving us a knowledge of the world. Bergson challenges the mathematician who wants to reduce the distance between the intuitive continuum and the mathematical continuum. The aim of this paper is to explain and evaluate Bergson's assessment of the nature and interest of mathematics.

M. Espinoza, Bergson, las matemticas y el devenir

1. INTRODUCCIN El intelecto es la capacidad humana de pensar las cosas conceptual o racionalmente. Bergson considera que esta falcultad es ante todo prctica, condicionada por la necesidad de actuar eficazmente y de comunicar. El desarrollo del lenguaje y el desarrollo del intelecto han tenido una gran influencia mutua. La concepcin pragmtica del origen del intelecto y del lenguaje se prolonga naturalmente en la concepcin pragmtica del conocimiento. Este es, segn Bergson, menos el reflejo especulativo, desinteresado y verdadero del mundo, que una herramiento para desenvolvernos en l. Por eso es la tecnociencia y la tecnologa, y no la ciencia terica, la que nos da la idea adecuada de la naturaleza del intelecto. Bergson piensa que el intelecto no encuentra mejor manera de aprovechar el ambiente que de tratar todo objeto y situacin como algo espacial compuesto de unidades homogneas separables. Por eso no hay que extraarse si el esqueleto de la ciencia es el conjunto de categoras mecanicistas determinadas por las posibilidades de las matemticas y sobre todo de la geometra, base de la ciencia mecanicista. Es en el contexto de la concepcin de la ciencia como una actividad orientada hacia la accin eficaz, hacia el control y prediccin de los fenmenos que se inscribe la crtica de Bergson de la naturaleza y de las posibilidades de las matemticas. Las ciencias matemticas sirven de estructura a las ciencias fsicas, indispensables a nuestra accin. La dificultad est en que, segn la metafsica de Bergson, la esencia de las cosas es el movimiento y la duracin continua accesible solamente a la intuicin, forma de unin ntima con las cosas, razn por la cual el intelecto y sus categoras matemticas, que presuponen el espacio y la discontinuidad, son absolutamente incapaces de coger la esencia de las cosas. Me propongo describir las propiedades de las matemticas segn Bergson, refirindome directamente a sus opiniones as como a la de otros cientficos o filsofos avanzando en zig-zag para produndizar la comprensin. Luego intentar evaluar las ideas de Bergson. Todo esto nos obliga a tener en cuenta su concepcin de la realidad y del conocimiento, porque sus opiniones sobre las matemticas no tienen para l un valor autnomo sino que se sitan en el marco de la relacin del intelecto con las cosas.

2 . EL NMERO Y EL ESPACIO Es el nmero un objeto substantivo, o una propiedad de algo, o una relacin entre cantidades de la misma especie? El nmero (entero, cardinal) dice Bergson, es una coleccin de unidades, la sntesis de lo uno y de lo mltiple.(1) El recurso a lo Uno y a lo Mltiple para definir el nmero se encuentra ya en Aristteles para quien lo Uno significa la medida de una miltiplicidad. En tiempos de Aristteles, era corriente ver el nmero como una multiplicidad medida.(2) La Unidad es aquello en virtud de lo cual lo que existe se llama "uno" y el Nmero es una multitud compuesta de unidades (Euclides).(3) Kant utiliza tambin esta categora de lo Uno y de lo Mltiple en su definicin: el nmero es la unidad que resulta de la sntesis de lo

M. Espinoza, Bergson, las matemticas y el devenir

mltiple de una intuicin compuesta de elementos homogneos; no hay nmero sin repeticin de unidades homogneas.(4) Kant da al tiempo un rol indispensable en la intuicin, mientras que Bergson asocia el nmero al espacio . En Kant, el tiempo es necesario para nuestra representacin del nmero, necesario en el acto de enumeracin, en la construccin de la magnitud; pero el nmero mismo en tanto que esquema de la magnitud, en tanto que pura determinacin de la magnitud, en suma, en tanto que concepto intelectual, no tiene necesidad del tiempo. La idea que los nmeros han sido derivados de la percepcin espacial es antigua y retomada de buena gana por quienes piensan que la aritmtica se deriva del continuo geomtrico. Para los pitagricos, los nmeros eran comparables a los tomos de materia. Concebidos como puntos geomtricos, o como pequeas esferas, los nmeros se clasificaban segn la forma en que podan ser ordenados: hay nmeros triangulares, cuadrados, etc. Se conoce la importancia de las nociones de sucesin y de igualdad en la definicin de los nmeros, recogida, por ejemplo, en los axiomas de Peano que permiten definir formalmente el conjunto N de los enteros naturales. Pues bien, todas estas nociones, segn Bergson, presuponen la localizacin espacial y la relacin espacial continente-contenido.(5) Cuando se observa que un nmero es mayor que otro, se trata de espacios desiguales; si se disponen los nmeros en orden creciente, es porque hay nmeros que contienen otros nmeros. El nmero presupone la imagen visual del espacio; el nmero, pluralidad hecha de unidades, implica el espacio. La concepcin del nmero de Bergson es resueltamente griega. El nmero era para los griegos una cantidad o una medida representada por un entero natural o por una relacin de dos enteros naturales. Los primeros nmeros de los cuales el hombre tuvo conciencia fueron probablemente pequeos. En la construccin de los enteros naturales, uno puede imaginar que el hombre comenz representando las unidades por rayas dibujadas sobre alguna superficie y agrupadas enseguida en paquetes, por ejemplo, de cinco o de diez, sistema de base seleccionado segn las necesidades. "Contar significa para Kant: ir a travs de cosas diferentes tem por tem, hacerlas reproductibles -en el acto de contar ordenndolas en series- reuniendo lo reproducido en un concepto para que pueda ser representado en tanto que idea integrada."(6) Estas breves notas sobre la manera en que los enteros naturales han sido descubiertos o construidos, atribuibles a los griegos, a Kant o a Bergson (entre muchos otros), tradicin que concibe el nmero como una coleccin de unidades, no satisfizo las exigencias de rigor y de abstraccin de los matemticos del siglo XIX. Preocupados por problemas de clarificacin conceptual y de fundamentos, los matemticos del siglo pasado, teniendo como tema de reflexin no solamente los enteros naturales sino casi todas las clases de nmeros que conocemos hoy, subieron en la escala de la abstraccin en bsqueda de una definicin general del nmero. Como era de esperar, la crtica ms corriente hecha a la concepcin del nmero, compartida por Bergson, que acabo de describir a grandes rasgos, es que tal concepcin no es suficientemente abstracta.

M. Espinoza, Bergson, las matemticas y el devenir

3 . LA CONCEPCIN LOGICISTA Segn Russell, los 12 apstoles y los 12 meses del ao son colecciones que tienen en comn el hecho de ser 12, propiedad ausente en los 10 dedos de las manos y en una mediadocena de notas musicales. Por eso el nmero no es un grupo de objetos ni algo substantivo que todos los grupos tengan en comn. Russell critica a todos los que se han extraviado definiendo la pluralidad ms bien que el nmero. "El nmero de una clase es la clase de clases equivalentes".(7) Los elementos que componen las clases equivalentes tienen entre ellos una correspondencia unvoca y recproca. Esta definicin es extensible a todo tipo de nmero. Russell no mostr nunca ninguna simpata por la filosofa bergsoniana, y en lo concerniente al problema de la naturaleza de los nmeros, el co-autor de Principia Mathematica afirma que el filsofo francs no sabe lo que son los nmeros y que confunde (i) el concepto general de nmero, (ii) los diversos nmeros particulares, y (iii) los diversos grupos a los cuales se aplican los nmeros particulares.(8) (Veremos luego que algunas de estas crticas son injustas). Tiene Russell derecho de sentirse tan seguro de saber lo que son los nmeros? Lo que Russell se propuso con su definicin en trminos de clases fue, en un primer momento, dar a los nmeros una referencia objetiva independiente de nuestro aparato psicolgico, referencia que el mismo Russell intent despus reducir a una serie de relaciones lgicas, lo que hizo en una perspectiva cercana al positivismo y al formalismo. De hecho, termin definiendo los nmeros como ficciones lgicas. Los nmeros son clases de clases, y como las clases son ficciones lgicas, los nmeros son ficciones de segundo grado, ficciones de ficciones. La evolucin de la lgica y de las matemticas desde 1920 hasta nuestros das no ha hecho sino sacar a plena luz la distancia que existe entre la lgica y las matemticas. Russell saba que no tena criterios para reconocer los axiomas que permitiran la deduccin de todas las proposiciones matemticas. Luego, y contrario a lo que l supona, la lgica y las matemticas no participan del mismo tipo de necesidad. Por lo dems, incluso la pertinencia matemtica de los teoremas de Gdel no es fcil de establecer: el hecho que haya que codificar los enunciados para introducirlos en el dominio de influencia de esos teoremas es tal vez una prueba del carcter extra-matemtico de esos teoremas. Su inters sera ms bien indicar, como un panel de sealizacin, las vas que hay que evitar. Poincar quera que nos diramos cuenta que si las matemticas eran, en el fondo, lgica, se veran reducidas a una enorma tautologa. Comentando la definicin del nmero 1 expuesta en los Principia Mathematica , Poincar se burlaba diciendo que era una definicin maravillosa para todos aqullos que nunca haban odo hablar del nmero 1.

4 . LA CONCEPCIN INTUICIONISTA La opinin de varios intuicionistas o pre-intuicionistas (Kronecker, Poincar, Borel y otros) es que para el ser humano, el acto de contar, la construccin de los enteros naturales, es

M. Espinoza, Bergson, las matemticas y el devenir

un proceso evidente. El entero natural es tal vez nuestro concepto ms evidente por lo que est presupuesto en las definiciones sofisticadas. Por eso en la tradicin intuicionista se reconoce un estatuto priviligiado a los enteros naturales en la construccin de todos los tipos de nmeros as como en la construccin de las matemticas en general. Segn Brouwer, la intuicin fundamental es el desarrollo de percepciones en una secuencia temporal. El sujeto divide un instante de vida en dos objetos distintos "de los cuales uno da nacimiento al otro mientras es conservado en el recuerdo. Si se despoja de toda cualidad la bi-unidad as engendrada, queda la forma vaca del substrato comn a toda biunidad. Este substrato comn, esta forma vaca, [la relacin de n a n + 1] es la intuicin fundamental de las matemticas."(9) La formacin de los nmeros resulta de la intuicin del tiempo; la idea tiene al menos un antecedente: Kant. Por ahora, si hago alusin a algunos no-logicistas, es sencillamente para no perder de vista que ni la definicin russelliana del nmero ni su concepcin global de la naturaleza de las matemticas deben imponerse como las nicas ideas razonables. Hay otras maneras de ver tal vez mejor adaptadas a nuestras intuiciones naturales. Retengamos por los menos que la afirmacin tajante de Russell que Bergson ni saba lo que son los nmeros, no tiene nada de evidente. Veremos que resulta interesante, para entender correctamente la concepcin bergsoniana del nmero, averiguar hasta qu punto su idea se asemeja a la de los intuicionistas.

5 . EL NMERO, EL ESPACIO Y EL TIEMPO Los matemticos intuicionistas han atado el nmero a la intuicin del tiempo, Bergson, a la intuicin del espacio. Hemos recordado que los antiguos, luego Bergson y otros, definen el nmero como una coleccin de unidades. Para que esta idea pueda surgir, se requiere que el espritu haga abstraccin de las particularidades de los objetos contados o medidos. Por ejemplo, si se hace la lista -la suma- de las unidades del equipaje que se lleva durante un viaje en familia, no se toma en cuenta que tal o cual elemento sea maleta, mochila, bolso, etc. Pero si, al contrario, se pone atencin a las particularidades de cada objeto, Bergson dira que se los puede enumerar, pero que no se puede hacer una adicin. As, "la idea de nmero implica la intuicin simple de una multiplicidad de partes o de unidades, absolutamente semejantes unas de otras."(10) (La exigencia de homogeneidad de unidades hecha por Kant es conservada por Bergson). Esta afirmacin de Bergson neutraliza la crtica de Russell quien le reprocha de confundir el nmero y los diversos grupos a los cuales se aplican los nmeros. Imaginemos un pastor que cuenta cincuenta ovejas. Segn Bergson, o bien (i) las rene todas en la misma imagen, y en ese caso de las yuxtapone en un espacio ideal de donde se han eliminado las particularidades de las ovejas, o bien (ii) repite cincuenta veces la imagen de una sola oveja, y en ese caso parecera que la serie ocurre en el tiempo. Pero para que el nmero vaya creciendo, se requiere retener las imgenes sucesivas y yuxtaponerlas. Esta yuxtaposicin ocurre en el espacio y no en el tiempo; la creencia contraria vendra de un error referente a la naturaleza del tiempo.

M. Espinoza, Bergson, las matemticas y el devenir

Antes de Bergson, Kant haba visto claramente la necesidad del espacio para concebir la unidad en la multiplicidad. Se puede analizar la idea de Kant de la manera siguiente: (i) nuestra representacin del nmero requiere un recuento sucesivo en el tiempo, (ii) procedimiento que se termina en la sntesis de una multiplicidad en la unidad de un nmero, (iii) pero la sntesis puede existir solamente si la multiplicidad se despliega simultneamente en el espacio. Resulta que no podemos coger la multiplicidad a menos que se la pueda recorrer, por decirlo as, de adelante hacia atrs y vice-versa. Por eso, segn Kant, el espacio es tan necesario como el tiempo en la actualizacin concreta del nmero. Un tiempo que permita la yuxtaposicin de unidades idnticas, una repeticin montona y homognea, no puede ser sino un tiempo exterior a la cosa, geometrizado, traducido en imgenes espaciales, til para la ciencia, en particular para la fsica matemtica, y para la comunicacin. No es en ningn caso la duracin (dure) bergsoniana, lo que hace que una sucesin sea tal, lo que es inmediatamente sentido en la vida del espritu, el tiempo vivido, aquel que se conoce desde el interior del objeto.(11) Cuando se suma algo, digamos, hasta cincuenta, es necesario que todas las unidades estn presentes simultneamente, que coexistan, y eso no es posible, dice Bergson, a menos que se ubiquen las unidades en un espacio puesto que la sucesin pura permite contar pero no sumar. La sucesin pura imposibilita la coexistencia de unidades, e incluso cuando se cuentan unidades, la abstraccin nos obliga a hacerlo fuera de la verdadera duracin, y la conclusin del filsofo es que contamos los momentos de la duracin con puntos del espacio. Bergson parece entonces reconocer que la intuicin pura del tiempo permitira la formacin de los enteros naturales, pero que si se dejaran las cosas all, estas entidades no tendran ningn poder generador, no serviran para la descripcin de objetos. (Bergson no emplea el concepto de "poder generador", pero estas palabras expresan bien lo que quiere decir). La descripcin y la explicacin son posibles slo si las unidades estn fijas en un espacio de manera que uno pueda volver a ellas para hacer algo con ellas. La distincin hecha por Bergson entre el acto de contar que puede efectuarse sin presuponer el espacio, y el poder generador de los nmeros que presupone el espacio, muestra la impertinencia de la crtica de Russell que se puede contar sin presuponer el espacio. Pero acabamos de ver que Bergson no niega eso; lo que niega, es que la actividad matemtica, por ejemplo el acto de sumar, pueda efectuarse teniendo en cuenta solamente la sucesin temporal.

6 . BERGSON Y LOS INTUICIONISTAS Aunque no intencionalmente, Bergson y Brouwer se ignoraron mutuamente. Sin embargo, salta a la vista que pertenecen a una misma tradicin, aqulla que basa el conocimiento en la inmediatez de la intuicin y no en la experimentacin ni en la deduccin. La idea bergsoniana que la intuicin del espacio es indispensable en la actividad matemtica es interesante y til pare entender la nocin de tiempo que participa en la construccin de los

M. Espinoza, Bergson, las matemticas y el devenir

nmeros segn Brouwer. El tiempo brouweriano permite la percepcin de la dos-idad, la forma sin contenido, un tiempo comn a todas las dos-idades, base de las matemticas. Ahora bien, es este tiempo un dominio realmente diferente del espacio, o se trata ms bien de un producto del espacio? (Se puede pensar aqu en un espacio substrato donde sera posible medir algo porque tendra que permitir la distincin de magnitud entre nmeros.) No es difcil imaginar la respuesta de Bergson: hara notar que el tiempo brouweriano refleja efectivamente las categoras del espacio al menos en la medida en que las estructuras de base de las matemticas se desarrollan generando un conocimiento. Tendramos aqu que darle la razn a Bergson. Los nmeros son entidades discretas, y el poder generador de la aritmtica, expresado en sus operaciones, exige o presupone un tiempo diferente de la duracin continua. Esto obligara a Brouwer a concebir un doble origen de las matemticas, temporal y espacial. Bergson dira que la dos-idad es posible en el espacio y de ninguna manera en el tiempo concebido como duracin continua (la dure bergsoniana). Mi interpretacin es que para Bergson, es el espacio, y no el tiempo, lo que permite distinguir dos objetos solo numero ; es solamente en el espacio que uno puede imaginar dos objetos indiscernibles con respecto a todo atributo o propiedad. Bergson podra haber aplicado a Brouwer la crtica que haba hecho a Kant: el tiempo kantiano, la forma pura de la intuicin interna, no es verdaderamente separable del espacio. El tiempo kantiano est derivado de la utilizacin cientfica o intelectual que lo transforma en una medida externa a la evolucin de los sistemas. Pero resulta que la verdadera intuicin de la duracin es vivida en el interior, desde el interior, y escapa a toda actividad cientfica o intelectual cuyo fin es siempre utilitario. (Esta visin de la ciencia, reflejo tal vez de la precariedad humana, es hoy por hoy menos plausible, al menos en las sociedades ricas). Bergson observa que el hombre prctico habra substituido el tiempo-longitud al tiempoinvencin . La homogeneidad del tiempo y del espacio cientficos no es una dato inmediato de la conciencia sino una deformacin sistemtica de la verdadera duracin continua introducida por nuestros sistemas de smbolos (los formalismos del lenguaje natural o de las matemticas). Brouwer reconoce, como es normal hacerlo, que las geometras no-euclidianas disminuyen fuertemente la verosimilitud de la filosofa de la geometra de Kant, pero le parece que el intuicionismo queda sin embargo a salvo porque la intuicin del tiempo, el esquema de la diada al origen de los nmeros, es una intuicin natural y originaria de todas las matemticas, primero de la aritmtica, luego de la geometra en la medida en que esta ltima puede ser reducida a la aritmtica. "Finalmente esta intuicin originaria de las matemticas, donde se une lo conectado y lo separado, lo continuo y lo discreto, da lugar inmediatamente a la intuicin del continuo lineal, es decir del "entre" que no se deja agotar por la intercalacin de nuevas entidades, y que por lo tanto no puede nunca ser pensado como una simple coleccin de unidades. As el carcter a priori del tiempo confiere la cualidad de juicio sinttico a priori no slo a las propiedades de la aritmtica sino tambin a las de la geometra; y eso ocurre no slo en el caso de la geometra elemental de dos o tres dimensiones sino tambin en el caso de las geometras no-euclidianas de n dimensiones. De hecho Descartes nos ense a reducir estos espacios a la aritmtica por medio del clculo sobre las coordenadas."(12)

M. Espinoza, Bergson, las matemticas y el devenir

Una vez ms, Bergson dira que la intuicin originaria de Brouwer no es todava la verdadera intuicin del tiempo. Segn el filsofo francs la intuicin del tiempo, contrario a lo expuesto por el matemtico holands, no une lo conectado y lo separado porque la dure, el verdadero tiempo, es continuo. La continuidad de la duracin hace que los elementos separables que uno pueda discernir no pueden ser sino el resultado de un extravo que surge del pensamiento espacial dominado por la visin de slidos separados y estables. Claro est que slo un tiempo en el sentido de Brouwer, capaz de expresar lo continuo y lo discreto, puede servir de base a la construccin matemtica, mientras que a partir de un tiempo continuo en el sentido de Bergson nada intelectual ni inteligible se puede sacar -el continuo es, en sentido estricto, inefable. Es la intuicin originaria del tiempo una experiencia continua exclusivamente (Bergson), o se unen en ella lo continuo y lo discreto (Brouwer)? No es fcil saber quin tiene razn. Cierro los ojos y dejo que mi conciencia siga su curso espontneamente, como por inercia. Luego me pongo a contar: 1, 2, 3... a intervalos regulares, como sucede cuando me tomo el pulso. Bergson dira que el carcter discreto de la serie ha sido derivado del espacio. Se puede insistir para afirmar lo contrario haciendo ver que mi conciencia puede distinguir elementos discretos, conceptos y proposiciones, cuando pienso de manera analtica, lingstica o lgica. Eso sucede, por ejemplo, cuando recito un poema o cuando doy una lista de razones para aceptar algo. Puedo pensar analticamente fuera de un contexto matemtico, aparentemente sin tener necesidad del espacio. "Aparentemente" porque queda por verse si el lenguaje pudo nacer sin nuestra experiencia espacial. Resulta que Bergson no da cabida en su ontologa a un pensamiento discreto. Lo discreto, dira l, son los smbolos pero de ninguna manera el pensamiento subyacente y que les da sentido -aunque queda por verse si se puede distinguer tan ntidamente el pensamiento de la sucesin de smbolos. Yo quisiera empujar la intencin de Bergson ms all del lugar donde l la dej diciendo que Bergson podra argumentar, adems, que el aprendizaje de la sintaxis presupone el recurso al espacio. Me parece que la pregunta: puede haber una relacin sintctica fuera de toda geometra? debe responderse negativamente. No slo la geometra, sino tambin el lenguaje natural y la lgica inscrita en l, entierran sus races en la estabilidad de los objetos y de los fenmenos fsicos que percibimos. A la objecin que el ciego de nacimiento habla y sabe contar, Bergson podra responder que posee al menos el espacio de la motricidad y que, de todas maneras, la presencia indispensable del espacio en el aprendizaje de una lengua no es una necesidad individual (de cada nio), sino que parece haber sido una necesidad al origen de la adquisicin del lenguaje por el hombre. Luego la transmisin del lenguaje a las generaciones posteriores puede, tal vez, dispensarse de la intuicin espacial. Mientras estos problemas fundamentales queden sin solucin, no ser fcil elegir entre Brouwer y Bergson.

M. Espinoza, Bergson, las matemticas y el devenir

7 . INTUICIONISMO Y RELATIVIDAD Si fuera verdad que el tiempo es una realidad continua exclusivamente como lo afirma Bergson, se sigue que tanto el intuicionismo de Kant como el de Brouwer seran insatisfactorios en tanto que filosofas de las matemticas porque stas necesitan lo continuo y lo discreto. Lo discreto es indispensable al menos para la aritmtica, el lgebra y el anlisis en la medida en que hay nmeros, entidades discretas, externas las unas con respecto a las otras y con las cuales se intenta, en vano, de reproducir un continuo. Luego quisiera hacer notar que tanto la filosofa de Kant como la de Bergson y la de Brouwer son incompatibles con la nocin de espacio-tiempo de las dos teoras de la relatividad de Einstein. La velocidad de un sistema es funcin del espacio y del tiempo. Segn un principio emprico de la teora especial de la relatividad, la velocidad de la luz en el vaco es una constante, no depende del estado de movimiento de la fuente que la emite. Se sigue que el desplazamiento del observador con sus instrumentos de medida modifica o bien la medida del espacio, o bien la medida del tiempo, o las dos. De hecho tanto el espacio como el tiempo llegan a ser relativos al referencial. El "ahora", el presente queda sin sentido fsico. A causa de las diferencias de velocidades y de movimientos de los observadores, y dado que la comunicacin depende de la velocidad de la luz, la cual no es infinita, resulta imposible ajustar los relojes para que den el mismo tiempo: la simultaneidad es operacionalmente imposible. Adems la diferencia en la definicin del tiempo implica una diferencia en la definicin del espacio: cuando se mide la distancia entre dos puntos, se supone que se trata de la distancia entre las posiciones ocupadas por dos sistemas en el mismo instante, pero si esta ltima nocin no tiene contenido real (la simultaneidad no es un concepto operacional), se obtiene que la distancia ser relativa al movimiento y a la velocidad de los cuerpos en accin. Con respecto al espacio, la filosofa de Kant es incompatible con la teora general de la relatividad, entre otras cosas, porque la estructura geomtrica de esta teora es no-euclidiana, mientras que Kant pensaba que la geometra vlida a priori era euclidiana. Con respecto al tiempo, segn Kant, hay una intuicin pura de l; existe un tiempo nico donde la simultaneidad tiene una funcin importante, idea rechazada por la teora especial de la relatividad. (Algunos neokantianos como Cassirer ven en las teoras de Einstein la confirmacin del kantismo en tanto que teora del conocimiento de la realidad fsica, pero como este vasto y difcil tema no coincide con nuestro problema, me limito a mencionar la opinin de Cassirer). La nocin kantiana del tiempo, retomada por Brouwer, hace que la filosofa del matemtico sea incompatible con la teora especial de la relatividad. Sucede que, en la teora de Einstein, es ms bien el tiempo el que pierde sus notas caractersticas en favor de aqullas del espacio, ilustrando la opinin de Bergson, mientras que Brouwer propone reducir la geometra a la aritmtica, lo que significa, en el caso de Brouwer, que hay una supremaca del tiempo con respecto al espacio en tanto que fuente de las matemticas. En lo concerniente a Bergson, salta a la vista que tanto la duracin como la intuicin de la simultaneidad son propiedades incompatibles con las teoras de Einstein.

M. Espinoza, Bergson, las matemticas y el devenir

10

Despus de haber tomado nota de estas incompatibilidades, los intuicionistas podran, como lo hizo Bergson, no sentirse obligados a aceptar un tiempo nico, el tiempo fsico, objetivo y reversible, hecho de instantes representados por un ser matemtico analizable. Los intuicionistas podran insistir en el carcter interno, irreversible, perfectamente continuo, psicolgico y personal del tiempo-duracin, abierto a la psicologa y a la metafsica. Uno se queda con la impresin que la estrategia que consiste en reconocer dos nociones de tiempo, el tiempo cientfico y la duracin, se acomoda ms fcilmente en el cuadro del intuicionismo bergsoniano o brouweriano que en el de Kant porque el idealismo a priori de este ltimo es ontolgicamente ms fuerte, menos flexible. La respuesta de Einstein a la demanda de distinguir dos tiempos es negativa: habra uno solo, el tiempo fsico descrito por sus teoras. Esta situacin es a todas luces insatisfactoria, y es uno de los responsables del abandono de la filosofa natural que busca, entre otras cosas, la coherencia de la naturaleza animada e inanimada. Hay que unirse a la protesta de Bergson y de los intuicionistas: no se puede tratar de ilusoria nuestra intuicin de un tiempo irreversible, aunque no sea matemticamente representable. Vemos seres que nacen, se desarrollan y mueren, y nunca lo inverso. Se ha hecho notar que si el tiempo fsico es reversible, hay una razn matemtica, aunque no sea la nica: las leyes analticas utilizan el infinito, y en este dominio ya no hay una manera simblica de representar la sucesin, lo antes y lo despus. Si n es un cardinal transfinito, entonces n = n + 1. Bergson vera con buenos ojos esta observacin porque as se ilustra una vez ms la incapacidad de algunos formalismos de representar adecuadamente las cosas.

8 . INTELIGENCIA Y MATERIA La experiencia ensea a las ciencias biolgicas que el cerebro es un rgano que permite la representacin y la orientacin en el espacio fsico para efectuar las tareas vitales de alimentacin, de reproduccin y de proteccin. Luego la geometra, ciencia del espacio, fue al origen, y contina sindolo en manos de los gemetras creadores, una ciencia de observacin que se inspira en la estabilidad de los fenmenos fsicos, en el juego de luz y sombras, en el movimiento de la materia en sus diferentes fases. "La manera en que una estructura tan ideal como la geometra puede ser codificada en nuestro patrimonio gentico, y llegar a realizarse a la vez orgnicamente -como en la morfognesis del ojo- y mentalmente, es sin duda uno de los misterios ms profundos de la biologa."(13) Sera difcil exagerar la importancia del espacio fsico para la formacin de la inteligencia y para el crecimiento de la inteligibilidad. Por eso, con respecto a nuestro conocimiento intelectual de objetos materiales, no se puede sino mirar con simpata la funcin reconocida al espacio fsico por Bergson. Pero no hay que olvidar que para este filsofo el conocimiento espacial no nos da lo esencial de las cosas, su duracin, la cual es accesible solamante a la psicologa y a la metafsica (en sentido bergsoniano). Por razones intrnsecas a las matemticas y diferentes de las de Bergson, los algebristas y

M. Espinoza, Bergson, las matemticas y el devenir

11

los formalistas ven en la negacin del espacio fsico -concepto con referente real e independiente de nuestras facultades- una condicin, o la condicin ms importante segn los casos, del progreso del conocimiento. Resulta que para ellos el objetivo principal de la ciencia no es la bsqueda de la inteligibilidad natural y consideran el espacio fsico como un obstculo a la bsqueda de rigor y de exactitud simblica. Desde un punto de vista analtico o formal, el espacio fsico es una barrera al desarrollo de la aritmtica, del lgebra y del anlisis. (A qu conjunto de objetos de un espacio real puede corresponder un smbolo como (999999)999 ?). Podemos sin embargo continuar a definir la geometra como la ciencia del espacio. Concepto multvoco, el referente del espacio puede ser el espacio fsico o el espacio matemtico donde designa conjuntos dotados de estructuras (espacio vectorial, espacio topolgico, etc.). Esta ambigedad es esencial al conocimiento del mundo fsico porque sirve de puente entre el pensamiento y las cosas. Los conceptos de geometra y de espacio se han desarrollado en estrecha colaboracin mutua. De hecho las construcciones matemticas se entienden, o se entienden mejor, cuando podemos asimilarlas o asociarlas a fenmenos espaciales como nuestra actividad visual o motriz. Luego como Einstein lo hizo, y Descartes antes que l, cabe preguntarse cul puede ser el valor o el inters de un formalismo inconmensurable con nuestra percepcin del mundo sensible. Debe clasificarse entre las ideas mejor inspiradas de Bergson aqulla que estipula que la inteligencia y que la materia extensa han crecido juntas por resonancia o reaccin mutua. La inteligencia, segn Bergson, no equivale al espritu sino que es una de sus funciones especiales orientada hacia la materia inerte. La materia no determina la forma de la inteligencia como lo pretende el materialismo, ni la inteligencia impone su forma a la materia como lo pretende el apriorismo; tampoco puede afirmarse que una y otra hayan sido sincronizadas como lo estipula la doctrina de la armona preestablecida. Lo que ocurre, dice Bergson, echando mano a una estrategia de la biologa moderna, es que la inteligencia y la materia se han acomodado mutuamente para descansar finalmente en una forma comn. "Esta adaptacin se habra efectuado de manera natural porque es la misma inversin del mismo movimiento que crea a la vez lo intelectual del espritu y lo material de las cosas."(14) La inteligencia numrica basada en el acto de medida aplica nmeros, multiplicidades de unidades separables, a la descripcin de la materia concebida como extensin abstracta, la materia en sentido cartesiano. Este mtodo marca el origen del pensamiento mecanicista y materialista. Reflejo del dualismo espritu-cuerpo cartesiano, la conciencia es para Bergson una actividad interna, una duracin concreta y continua basada en la memoria. Puesto que la conciencia posee las propiedades opuestas a las de los nmeros, es definitivamente inaccesible al pensamiento mecanicista. Bergson insiste sobre el carcter interno de la duracin de los sistemas, animados e inanimados, pero la descripcin de este punto capital de su filosofa queda en la oscuridad. Por qu lo interno sera tan diferente de lo externo? Es verdad que en la comprensin del comportamiento del ser vivo la distincin interno / externo es indispensable puesto que est determinado por el nimo de satisfacer las necesidades internas. La funcin de los mecanismos de regulacin interna es la mantencin de la estabilidad del organismo en un

M. Espinoza, Bergson, las matemticas y el devenir

12

medio externo ms o menos favorable a este fin. Tambin es cierto que tenemos una intuicin, un conocimiento ntimo (desde adentro) de nuestra conciencia individual: no necesito mirarme en el espejo para darme cuenta que mi conciencia es una existencia temporal, ni para saber si estoy tranquilo o triste. Pero en qu consiste el carcter interno de la duracin de las cosas ? Por otra parte, no hay que desconocer que tenemos algunas ideas, fruto de las categoras mecanicistas, acerca de la formacin de todos los objetos tanto inanimados como animados. Bergson se sentira reconfortado de enterarse hoy que los cientficos reconocen que sus ciencias positivas no dan una cuenta completa del devenir de las cosas. Por ejemplo, en cristalografa se necesitan ideas metafsicas (platonismo, aristotelismo, atomismo, etc.) para explicar la formacin de los cristales, como si la informacin dada por las ciencias de la materia fuera insuficiente. Por otro lado, es interesante saber que se puede ir bastante lejos en la comprensin de la formacin de los organismos con la hiptesis que la formacin biolgica est regida por exigencias geomtricas, espaciotemporales, energticas, fsico-qumicas, y cada pgina del libro de D'Arcy Thompson On Growth and Form constituye una prueba en apoyo de esta afirmacin. Ah se puede ver de qu manera la causa eficiente, el poder fsico, y la causa formal, el poder matemtico, colaboran para formar los rganos. "No hay razn para que las formas materiales de la materia viva escapen a los conceptos [del sistema material de fuerzas mecnicas]... Las clulas y los tejidos, las conchas y los huesos, las hojas y las flores son parcelas de materia; es conforme a las leyes de la fsica que sus partculas constitutivas se ubican, se amoldan y adoptan la forma adecuada... Los problemas de forma de la materia viva son ante todo problemas matemticos y sus problemas de crecimiento son problemas de fsica."(15) Hay que considerar el crecimiento biolgico como una sucesin de adaptaciones mecnicas con vistas a lo que se espera de un rgano o de una estructura. Por ejemplo, el principio que los huesos de los miembros tienden a acortarse para soportar el peso de un animal muy pesado cumple la ley de Euler que estipula que el peso sostenido por una columna susceptible de doblarse vara en sentido inverso del cuadrado de su longitud. Y la analoga existe: no es por azar que hay formas y mecanismos naturales que se repiten en el mundo inanimado y animado. Cmo aumentar el conocimientio y la comprensin sin presuponer la analoga, sin la hiptesis que ciertas formas a primera vista diferentes manifiestan un gnero nico? "Es un sentimiento maravilloso reconocer la unidad de una multiplicidad de fenmenos que parecen ser cosas completamente separadas a la observacin fsica directa."(Einstein). Observaciones como las que acabo de hacer concernientes a la utilizacin de categoras mecanicistas (la figura, le fuerza, el nmero, etc.), as como la alusin a la analoga, permiten quitarle al menos una parte de misterio al mundo vivo y psicolgico. Cuando Bergson dice que la interioridad queda ms all de los lmites del pensamiento mecanicista, hay que reconocer que tenemos dificultad en saber a qu se refiere exactamente, salvo, tal vez, cuando se trata de la interioridad de nuestra propia conciencia. La investigacin hecha por D'Arcy Thompson, y retomada recientemente por Ren Thom en su Teora de Catstrofes, no encuentra el lugar

M. Espinoza, Bergson, las matemticas y el devenir

13

que merece en el pensamiento de Bergson. La razn principal de este desajuste es el dogma de Bergson que la esencia de las cosas, la duracin, puede ser sentida en una experiencia de empata, de simbiosis o de simpata, pero no puede, en ningn caso, ser objeto de conocimiento intelectual. Desde los aos de Bergson, la tarea de entender la conciencia no ha conocido progreso significativo, aunque hay excepciones. Por ejemplo, hoy se tiene conciencia que todo pensamiento no es algortmico, no es un clculo, no transcurre como un proceso mecnico en etapas finitas perfectamente definidas. Una de las consecuencias de los teoremas de Gdel es que podemos ver (con los ojos del espritu) que una proposicin de un sistema formal dado es verdadera mientras que su demostracin no es formulable al interior del mismo sistema, lo que est de acuerdo con nuestra experiencia mental intuitiva. Pensamos a menudo mediante formas sintticas y no de manera analtica y lgica, y eso explica tal vez por qu el pensamiento va ms all del poder mecnico de la deduccin sintctica. Esta observacin anti-formalista nos obliga a reconsiderar el valor de la intuicin y va en el sentido de la concepcin bergsoniana del pensamiento mientras le quita verosimilitud a las doctrinas mecanicistas o materialistas como aqulla de la inteligencia artificial.

9 . ES LA FORMA UNA INVENCIN HUMANA ? Bergson quisiera que nos diramos cuenta que no solamente el nmero y la ciencia del nmero, sino que toda ciencia matemtica que emerge de la extensin es incapaz de describir y de explicar la duracin continua. La geometra y el mecanicismo (cuya columna vertebral es geomtrica) estudian las figuras del espacio y su movimiento local. Ahora bien, Bergson, renovando la tradicin dinamicista que pone a la cabeza de la ontologa la fuerza y el movimiento, desprecia el valor de la forma y con ella el valor de la geometra como actividad reveladora de inteligibilidad. Quisiera ahora hacer ver la siguiente incoherencia en Bergson: la supuesta impotencia de las matemticas para describir y explicar el fondo de las cosas -la duracin continua-, contradice la idea que la inteligencia (que incluye las matemticas) y la concepcin de la materia han crecido juntas. Si la inteligencia y el concepto de materia se desarrollan adaptndose mutuamente, se esperara una adecuacin entre ellas y Bergson, como Descartes, debera creer en la verdad de la inteligencia matemtica. Recordemos que Descartes, habiendo separado el pensamiento y la materia-extensin, cree que el primero es capaz en principio de obtener una imagen exacta y completa de la segunda. Qu es una forma? Un principio que unifica la materia. El escultor toma una materia homognea amorfa y da unidad a una parte de este material haciendo una figura. Esta idea filosfica es compatible con la visin cientfica que recurre a conceptos de la dinmica o de la topologa. Paul Valry escribe que "la forma es por una parte el orden de los contactos, y por otra (en las formas naturales), el lugar de los puntos de las discontinuidades de las leyes, cuando este lugar es continuo".(16) Ren Thom observa que una forma presupone siempre

M. Espinoza, Bergson, las matemticas y el devenir

14

una discontinuidad cualitativa que separa los puntos del espacio contenidos en la forma de aqullos que quedan fuera de ella, lo que permita caracterizar topolgicamente la forma como un cerrado del espacio ambiente: toda serie de puntos limitada de la forma F admite un punto lmite en F . Segn Bergson, la percepcin inmediata no es aqulla de los slidos, cuerpos estables, sino la percepcin de la continuidad de las cualidades sensibles, y es a partir de ellas que podemos delimitar los cuerpos. Todo cuerpo, dice Bergson, es un grupo de cualidades que cambia en todo momento, y toda cualidad consiste en una sucesin de movimientos elementales. La mobilidad universal es uno de los argumentos recurrentes de Bergson contra la posibilidad legtima de analizar y explicar cientficamente la realidad. Aunque la cualidad fuera estable, el cuerpo no lo sera porque cambia incesantemente de cualidades, cambia de forma en todo instante. En una palabra -la opinin de Bergson no deja lugar a dudas- "no hay forma porque la forma sera algo inmvil y la realidad es movimiento."(17) La ontologa trunca de Bergson admite el movimiento sin que haya algo que se mueva. Existe la carrera, pero sin tortuga ni atleta; existe el vuelo pero sin la flecha. Bergson afirma que las palabras pueden estar fijas, pero el pensamiento se mueve sin cesar. Luego distingue el pensamiento y su expresin. El pensamiento es un sentido mvil que atraviesa las palabras. Las palabras y los gestos no son sino los acompaantes perceptibles del pensamiento. Las ciencias que estudian el pensamiento como la psicologa y la lgica, tienden a reducirlo a imgines o a ideas fijas, pero con posiciones inmutables no se puede producir pensamiento porque el pensamiento es un movimiento continuo y por ende indivisible, como la trayectoria de una flecha. El pensamiento es menos un asunto de estados que de direcciones.(18) No es evidente que haya que distinguir tan ntidamente el pensamiento de su expresin. El grado de independencia del pensamiento con respecto a los smbolos es un problema complejo sin solucin satisfactoria. Dada una serie de smbolos, habra que saber, por ejemplo, (i) si representa algo que se puede percibir de manera sinttica. Eso sucede cuando una metfora nos pide ver dos cosas como si formaran una sola ("Nuestras vidas son los ros que van a dar a la mar, que es el morir.") Pero tambin es posible (ii) que una proposicin nos pida abstraer y considerar separadamente dos aspectos unidos en una sola cosa (p.ej. el color de la luna y su forma esfrica). Luego habra que saber (iii) si el referente de una proposicin existe en el mundo real (podemos llamar eso "la funcin transparente del lenguaje"), o bien (iv) si, opaca, la proposicin tiene un contenido imperceptible, en principio o en la prctica. En suma, la naturaleza del pensamiento est ligada, aunque no exclusivamente, a la de su contenido, el que puede ser discreto. Se sigue que el pensamiento no sera exclusivamente continuo, como lo pretende Bergson. La tendencia constructivista de Bergson salta a la vista: exige a los modelos no solamente la representacin de algunas propiedades notables de los sistemas estudiados, sino que quisiera sobre todo que fueran capaces de construir tales propiedades. Ahora bien, el filsofo no se cansa de afirmar que la realidad dinmica y continua no puede salir de modelos matemticos inmutables y discretos.

M. Espinoza, Bergson, las matemticas y el devenir

15

Si la realidad es dinmica y continua, de dnde viene entonces la estabilidad de la forma? No puede venir sino de nuestro organismo, dice Bergson, de la inteligencia y de la percepcin. Nuestra visin produce formas estables, y la estabilidad viene, en este caso, de la inercia de la percepcin; luego proyectamos la estabilidad de la percepcin sobre las cosas. Slo un cambio suficientemente importante es capaz de interrumpir la inercia de la percepcin. Obviamente Bergson no es solidario del materialismo esttico del siglo XVII, pero su visin dinmica de la materia y su evaluacin de las posibilidades de las matemticas encuentran un eco favorable en algunos materialistas. El objeto material, escribe Mario Bunge, "puede caracterizarse como aqul que puede estar al menos en dos estados diferentes para que pueda saltar del uno al otro", haciendo as del cambio incesante el criterio de existencia.(19) Por otra parte, Mario Bunge no dira, como Bergson, que toda forma, material o matemtica, es pura invencin humana; la fsica nos permite entender la estabilidad (no la inmutabilidad) de las formas materiales, podemos describir los sistemas peridicos, etc. Pero Mario Bunge asentira a la idea de Bergson que las formas matemticas son invenciones sin correlato real. Para Bergson, la forma no es sino una instantnea sacada sobre una transicin. El intelecto materializante del hombre es hbil para fijar o solidificar en imgenes discontinuas la continuidad fluida de lo real. Si el mundo descrito por la geometra es ficticio, se sigue que toda teora que explota ontolgica y epistemgicamente los recursos de esta ciencia, como las teoras de la fsica clsica, no pueden dar cuenta fiel de las cosas, y tal es precisamente la opinin de Bergson. Las matemticas hacen que los fenmenos sean descritos como procesos reversibles o intemporales, sin autntica duracin. Mario Bunge, ficcionista en filosofa de las matemticas, ha criticado recientemente la Teora de catstrofes (TC) aproximadamente en los mismos trminos. Los objetos topolgicos empleados en la TC son imaginarios y no tienen nada que ver con los procesos reales que pretende explicar. Una de las ideas bsicas de la TC es el conflicto, pero, dice Mario Bunge, se trata de un conflicto de atractores, de objetos geomtricos inmateriales incapaces de tener relaciones causales con los objetos reales (materiales).

10 . LOS PODERES DE LA FORMA El movimiento es omnipresente, las ecuaciones de las teoras fsicas incluyen un parmetro de evolucin. Tambin es cierto que cada especie animal "recorta" lo real segn las caractersticas de sus rganos de percepcin, lo que introduce un grado de subjectividad colectiva en la deteccin o en la invencin de formas. Pero existen formas estables universales y objetivas que no resultan de la inercia de los rganos de la percepcin. Eso ocurre con las formas materiales, es decir, con las formas trazadas por las diferentes fases de la materia: la manzana slida est rodeada de gas, la forma de un ro es la interfaz lquido/slido. Bergson debera apreciar que las formas fsicas o biolgicas tengan efectos prcticos

M. Espinoza, Bergson, las matemticas y el devenir

16

que no dependen para nada del observador. Si las formas son eficaces, es porque interactan con un flujo energtico. La mejor prueba de la objetivad de la forma es que podemos verificar su poder director sobre la materia o la energa. Sin espejos paraboloidales, Arqumides no habra podido defender Siracusa concentrando los rayos solares sobre las naves romanas para quemarlas. Otro ejemplo: la forma de la hlice transforma la velocidad del viento en velocidad de rotacin sobre un eje. En el campo de la biologa y de la psicologa se puede mencionar el poder de los alimentos o de la pareja en las condiciones apropiadas. Vista as, la forma material no depende de la percepcin o del sujeto en ninguno de los sentidos de "depender". (Podemos distinguir al menos tres sentidos: b depende de a si (i) a contiene b, si (ii) a es una de las causas de b, o si (iii) a implica b). Estos hechos nos impiden estar de acuerdo con Bergson cuando afirma que toda forma es una invencin de nuestra manera de ver o de pensar. Por la misma razn no se puede aceptar la opinin de los idealistas o de Kant que la forma es una ley de nuestro espritu que le permite coordinar las sensaciones emergentes de la presencia de los objetos. Kant es explcito en su afirmacin que los objetos no afectan a los sentidos mediante una forma que les sea propia. Una vez que se ha reconocido la objetividad de la forma, se ha preparado el camino para su estudio dinmico y geomtrico. Tanto en la naturaleza inanimada como en la animada, las formas se repiten, hay tipos, la analoga permite el progreso del conocimiento. Podemos clasificar los minerales, los vegetales y los animales en especies dotadas de propiedades que las separan. Pero como es de esperar, no hay en Bergson lugar para la analoga, "el devenir es infinitamente variado."(20) Separa tres gneros de movimiento: el cualitativo, como el paso de un color a otro; el evolutivo, por ejemplo, el paso de la flor al fruto, y el extensivo como el acto de comer. Luego Bergson echa en cara a los intelectualistas (o racionalistas) el no reconocer la variedad de gneros del devenir, de borrar las diferencias concretas con abstracciones y de terminar estudiando algo ideal e inexistente. Retomemos la pregunta: depende toda forma de la percepcin? Hemos visto que las formas materiales existen, que tienen un poder y que son independientes de la percepcin. Pero las cualidades primeras del mecanicismo son, segn Bergson, ficciones que ocultan la duracin del tiempo y la mobilidad del movimiento. Reconocer la realidad independiente de las formas materiales no impide que haya formas que resulten de una colaboracin entre el mundo externo y nuestra manera de percibir y de pensar, como las cualidades segundas (colores, sabores, etc.), mientras que hay todava otras formas menos objetivas como las cualidades terceras (la forma de una angustia, de una esperanza, de una emocin esttica). Intil agregar que Bergson tiene una predileccin por las cualidades segundas y terceras. El quiere saber slo de las cualidades significativas, y es verdad que la significacin depende del estado del sujeto, aunque no exclusivamente. Habra que distinguir la significacin fsica de la biolgica y psicolgica, y notar que slo la primera es independiente de la percepcin. Si creyramos a Bergson, no habra ni forma independiente ni analoga; sin embargo la existencia de ellas es evidente: un mundo donde todo fluye sin cesar, sin propiedades universales, sin repeticin de formas, no es el nuestro. Lo que acabo de decir deja un sabor

M. Espinoza, Bergson, las matemticas y el devenir

17

amargo: cmo es posible que lo evidente para unos no lo sea para todos? Hasta qu punto es til discutir de problemas de ontologa, si la existencia de algo no se impone a todos con la misma fuerza de impresin? "La forma es una invencin de nuestra percepcin", dice Bergson. Su filosofa, como toda idea llevada al extremo, termina secretando su propia especie de absurdo.

11 . LAS MATEMTICAS Y EL DEVENIR Gracias a la ayuda de modelos estticos sacados sobre todo de la geometra, los antiguos, hace 6000 aos, ya eran capaces de describir los movimientos circulares. Hace casi 400 aos los modernos, encabezados por Galileo, pudieron concebir modelos dinmicos para representar los movimientos de los planetas, esfuerzo prolongado por la fsica matemtica ntimamente ligada al desarrollo del anlisis. El siglo XX ha visto la produccin de herramientas que surgen del estudio de las singularidades estructuralmente estables (H. Whitney, R. Thom, J. Mather y otros) como las empleadas en la Teora de catstrofes (modelos topolgicos combinados con la teora de los sistemas dinmicos), que permiten matematizar la evolucin de los sistemas biolgicos. Los historiadores ensean que la ciencia antigua era esttica y capaz de representar una variedad limitada de movimientos. Eso se debi al hecho que para los antiguos el ser matemtico por excelencia era el nmero y la figura geomtrica estudiada por la geometra euclidiana. La ciencia moderna, donde predomina el clculo infinitesimal y la nocin matemtica de funcin, parece apta para representar lo que el movimiento tiene precisamente de dinmico; pero veremos que Bergson no comparte esta opinin general. El filsofo reconoce el esfuerzo de los matemticos que han participado al desarrollo del clculo, pero en su opinin slo consiguieron substituir el movimiento ya hecho a lo que se hace, las posiciones espaciales a la duracin: "La inteligencia se las arregla para que la mobilidad, arrinconada en intervalos cada vez ms estrechos a medida que aumenta el nmero de las posiciones consideradas, retrocede, se aleja y desaparece en lo infinitamente pequeo."(21) El clculo, la nocin de funcin, la extensin analtica son tiles para la prediccin y la accin eficaz, pero, dice Bergson, no hay que desorientarse y concluir que esta evolucin en la descripcin del ser y del devenir significan que las frmulas sean ahora capaces de darnos la evolucin interior de las cosas, la duracin. La matemtica moderna no es una excepcin al "pensamiento cinematogrfico" y entretiene la ilusin que consiste en imitar el movimiento con lo inmvil. El intelecto se las arregla para dar la ilusin de movimiento utilizando entidades rgidas, palabras, imgenes, formas y nmeros, como el cinematgrafo engaa al ojo hacindonos creer que hay movimiento continuo mientras desfilan las imgenes rgidas. La intuicin de los matemticos es una cosa, otra cosa es convertirla en algo til. Ni el matemtico ni nadie puede hacer ciencia sin formalismos. Sin smbolos no hay algoritmo ni combinatoria posible, y sin combinatoria, sin algoritmos, no hay previsin ni control. Recordemos que Bergson comparte la visin positivista de la ciencia. Aunque por momentos

M. Espinoza, Bergson, las matemticas y el devenir

18

la ciencia tenga un inters filosfico y terico, debe finalmente, segn Bergson, mostrar en la prctica que vale la pena de ser desarrollada. (Aplicando este criterio al estado actual de la ciencia -actividad sumamente cara econmicanmente- es urgente decidir cules son realmente los proyectos que tienen un inters prctico para la humanidad). En mecnica, la evolucin de un sistema est representada por la trayectoria de un punto en un espacio descrito por una geometra. Todo ha sido reducido al espacio, al tiempo y al movimiento. El tiempo aparece como una cantidad uniforme y constituido de instantes separables mientras se supone que participa en un movimiento cualitativo y continuo. En la representacin matemtica el tiempo que fluye se compone de segmentos de una curva. Se identifica el movimiento a una curva, a un smbolo analizable, pero de hecho el movimiento queda ms all. El mecanicista trabaja con las propiedades matemticas de la curva. Se trata, segn Bergson, de una abstraccin y de una reduccin metafsicamente ilegtimas. El filsofo advierte que la identificacin del movimiento a las propiedades de una curva conduce necesariamente a errores y a confusiones. La observacin siguiente va en el sentido de lo que quiere decir Bergson: ocurre a menudo, sobre todo en las teoras matematizadas, que no se sepa con claridad si el referente de lo que se afirma es la realidad o el modelo. As cuando se habla de entropa, de orden y de desorden, no es siempre claro si las propiedades descritas pertenecen a un objeto fsico, o al modelo probabilista, o a los dos. Bergson recurre a las paradojas de Zenn. Hay que distinguir dos niveles, el matemtico y el fsico. (Por mi parte, pienso que hay que agregar un tercer nivel, el metafsico, la hiptesis sobre el carcter ltimo de la naturaleza, discreto o continuo). El movimiento de la flecha, como todo desplazamiento, siendo simple y continuo, no se puede descomponer, mientras que la representacin matemtica posee las propiedades opuestas. El movimiento se despliega de un tirn, aunque dure, y como un elstico, no puede cortarse y conservar sus propiedades.(22) Eso explica que ni la flecha ni Aquiles ni la tortuga, ni nada que se mueva, no est en ningn momento en un punto del trayecto. Si lo que dice Bergson fuera cierto ms all de toda duda razonable, la ciencia, en tanto que instrumento de explicacin y de comprensin, sera nula. Sucede que todo sistema natural, para llegar a ser objeto de ciencia, debe ser representado en y por un formalismo. Eso implica una reduccin parcial necesaria del objeto a su representacin simblica. El problema interesante y difcil es encontrar el modelo simblico que explique (que permita deducir) ciertas propiedades importantes de un sistema sin desnaturalizarlas. Una abstraccin exagerada o una reduccin exagerada conducen a lo insignificante; y al contrario, un formalismo demasiado pegado a la complejidad de un fenmeno conduce a la incomprensin por lo intil. Un plano tan detallado como la ciudad ya no es un plano, como una regla para la construccin de una serie de nmeros ya no es una regla si es tan larga como la serie misma. Pero al decir esto nos estamos apartando del punto especfico de Bergson, porque la incapacidad de las matemticas de representar la duracin, el verdadero movimiento, no es asunto de aproximacin, de ms o de menos: por su naturaleza discreta y espacial los smbolos de un formalismo no pueden captar lo esencial del movimiento, la duracin continua.

M. Espinoza, Bergson, las matemticas y el devenir

19

12 . CONOCIMIENTO INTUITIVO Y CONOCIMIENTO GENERADO Conviene distinguir la explicacin de la comprensin. La explicacin, lo que en ciencias es una deduccin, un argumento vlido o razonable, no puede dispensarse del formalismo. El rol del formalismo en la comprensin es menos evidente. La comprensin es un proceso psquico que depende del aparato cognitivo de la persona, de su preparacin y de su talento. La captacin intuitiva de un objeto o de una idea, directa, inmediata, no transita necesariamente por smbolos lingsticos o matemticos. "El lenguaje y las palabras, escritas o habladas, dice Einstein, no parecen tener ninguna importancia en el mecanismo de mi pensamiento." Los animales comprenden sin formalismo. Pero si se quiere transformar una intuicin (como la imaginacin que condujo a Einstein a "ver" la equivalencia masa inercial = masa gravitacional) en conocimiento cientfico, es decir, en proposiciones comunicables que generen otras proposiciones, entonces no queda otra opcin sino trazar la intuicin en el interior de las figuras del lenguaje, natural o matemtico. Bergson hereda y prolonga la tradicin que privilegia la intuicin contra el lenguaje. La intuicin debe controlar las deducciones permitidas por los formalismos. Sin contenido intuitivo, la cascada de la deduccin es vaca, sin sentido, y no puede ser conocimiento. La intuicin es un contacto inmediato entre el organismo y la cosa. El organismo llega a ser la cosa conocida. Estas observaciones sobre la intuicin son justas, aunque habra que reconocer tambin el valor cientfico de los formalismos: en una palabra, permiten controlar, a su vez, la intuicin, fijar lo conocido y generar nuevas proposiciones. Slo la intuicin puede darnos la duracin continua, dice Bergson. Esta afirmacin es plausible cuando se trata de seres matemticos concebidos como seres de razn, o cuando alguien habla de s mismo ("Pienso, luego existo"). Pero la afirmacin es menos admisible o comprensible cuando se trata de la intuicin de cosas materiales externas, salvo si se cree que "ser, es ser percibido". Pero Bergson es realista: la intuicin nos da lo otro, las cosas tal como son, parcial y gradualmente, por supuesto, pero la cosa en s es cognoscible. Hemos tocado un punto oscuro: cmo entender que un organismo espiritual pueda tener un conocimiento sin intermediario de las cosas materiales externas? Descartado el intelecto, queda la posibilidad de buscar por el lado de la actividad biolgica y psicolgica. La simbiosis, la empata y la simpata son procesos sugerentes de lo que Bergson tiene en mente: hay una colaboracin ntima, una influencia de interior a interior, una imitacin, un acompaamiento, se vive la misma cosa. Claro que ms tarde en su desarrollo intelectual Bergson modific su idea de la intuicin quitndole inmediatez, calificndola incluso de modo de pensamiento. Llega a reconocer la atencin y el esfuerzo consciente como ingredientes de la intuicin. El conocimiento intuitivo llega a ser menos absoluto porque puede mejorarse y progresar. Podra imaginarse un puente entre la intuicin y el conocimiento discursivo puesto que Bergson dice que podemos acercarnos al contenido de la intuicin mediante metforas y comparaciones. La intuicin es finalmente menos inefable. Una de las tesis del bergsonismo es que el pensamiento y el conocimiento son fenmenos biolgicos. (Por eso, los modelos de la inteligencia artificial, aqullos donde est

M. Espinoza, Bergson, las matemticas y el devenir

20

ausente lo biolgico del cerebro y del comportamiento humano, estn tan lejos de decir algo pertinente sobre el pensamiento). Mostrndose un tanto ingenuos, los intuicionistas creen que la intuicin muestra que la certeza existe: si hay una apropiacin inmediata, por ejemplo, de la duracin de un sistema, la duda es imposible, ya no hay necesidad de verificacin, de buscar una correspondencia entre el discurso y los hechos. La verificacin supone comparar dos cosas separadas, pero la intuicin es una asimilacin: hay finalmente una sola cosa. Lo indudable de la intuicin la convierte en punto de partida satisfactorio del conocimiento. Conviene entonces recordar a los intuicionstas que una de las funciones del formalismo es precisamente verificar la intuicin para distinguir el conocimiento de la ilusin. Adems el punto de partida no es todo; el hombre quiere hacer algo con lo asimilado, y para eso necesita un formalismo que le permita registrarlo, representarlo, hacerlo presente a voluntad y comunicarlo. Sin formalismo no hay distancia con respecto a la cosa, y sin distancia no hay reflexin ni verificacin; el sujeto sera posedo por la cosa, arrastrado por ella. Einstein pensaba que el tiempo vivido no tena ninguna pertinencia ms all de lo visto por cada uno de nosotros y que nada autoriza entonces a aplicar al mundo entero nuestra nocin intuitiva de la simultaneidad. Esta observacin del fsico ilustra la incapacidad del anti-intelectualismo de generar un conocimiento. El conocimiento humano comporta estos dos momentos, por una parte, la unin fsica, biolgica, pre-predicativa con la cosa, y por otra parte, la toma de distancia. Sin la colaboracin entre la intuicin y el formalismo, sin la distancia que el formalismo permite tomar, no hay generacin o produccin de conocimiento cientfico . Es lamentable que en vez de seguir la pista de la colaboracin entre intuicin y formalismo, Bergson haya pasado su vida a buscar entre ellos el conflicto. Segn las tradiciones romntica y pragmtica con las cuales el bergsonismo tiene ms de un parentesco, el mundo recortado y reconstruido por las ciencias matemticas es ficticio. Los seres postulados, constituidos por concepts tericos o matemticos, no existen. Contra esta actitud, propongo las siguientes observaciones:(23) (i) Si la ciencia mecanicista se desarrolla, si se formulan teoras cada vez ms abstractas y matematizadas, es precisamente porque se busca la necesidad, y en la medida en que la necesidad natural es recogida por las ciencias, los elementos ficticios disminuyen. (ii) Las estructuras fundamentales de nuestros sistemas simblicos no se han desarrollado por azar sino que se deben a la accin de exigencias matemticas, fsicas y biolgicas subyacentes a nuestra actividad mental consciente. "Creo que lo arbitrario se encuentra solamente en las palabras y de ninguna manera en las ideas."(Leibniz). El origen natural de nuestras categoras explica su utilidad vital. (iii) Es precisamente porque se reconoce la existencia del movimiento que los seres imaginarios, tericos o virtuales de la ciencia son postulados. Si el universo fuera rgido, sin devenir, bastara con describirlo, mientras que un universo en devenir exige una explicacin de lo aparicin de lo nuevo, del paso de la potencia al acto. De ah la necesidad de imaginar un mundo virtual subyacente de donde proviene lo actual y de recurrir a las razones suficientes

M. Espinoza, Bergson, las matemticas y el devenir

21

que puedan explicar el paso de la posibilidad a los hechos. (iv) Otra categora mecanicista que permite luchar contra lo ficticio es la verificacin mltiple. La corroboracin de una hiptesis, el hecho que un aparato construido segn ciertas presuposiciones tericas, por ejemplo, un microscopio, funcione de manera satisfactoria, inyecta verdad a las entidades tericas presupuestas. (v) Si se considera que la fsica matemtica es una ciencia de la naturaleza, entonces habra que reconocer el carcter natural de los componentes matemticamente constituidos. (vi) El mecanicismo es ms que una teora entre otras, es un movimiento de ideas capaz de progresar y de corregirse gracias a las crticas que vienen de las tradiciones instrumentalistas, romnticas o existencialistas. Sus posibilidades son, en gran parte, aqullas de las matemticas. (vii) Sera interesante ver si, y en qu medida, el estudio cualitativo del espacio como se hace en topologa, deja al menos algunas de las crticas de Bergson sin pertinencia. El lenguaje natural, la lgica elemental y la aritmtica son modelos discretos que no pueden hacer justicia al continuo intuitivo. La crtica de Bergson es entonces pertinente con respecto a esos dominios. Pero el continuo topolgico no es idntico al continuo aritmtico, no es atomstico, aunque no est exento de desafos al continuo como las variedades con una multiplicidad de ramas portadoras de singularidades. Bergson podra retomar sus crticas. Aunque el continuo topolgico est menos alejado del continuo intuitivo que el continuo aritmtico, la topologa sigue trabajando con las categoras del espacio. La continuidad intuitiva de la duracin, dira Bergson, no es exactamente la continuidad del espacio topolgico porque la primera es creadora. Queda por verse si la teora del continuo topolgico y de las singularidades puede continuar acercndose al continuo intuitivo. En este contexto, la filosofa de Bergson se muestra como un gran desafo a la capacidad imaginativa y creadora de los matemticos en el intento de reducir la distancia entre el continuo intuitivo y las diferentes formas del continuo matemtico, el continuo aritmtico de los reales y el continuo topolgico. Luego el toplogo corre todava el peligro de la hipstasis: puede confundirse y tomar como reales las propiedades del formalismo. Es hora de concluir. Bergson cree que el intelecto y el concepto de materia que consigue fabricar resultan de nuestra necesidad de actuar, de nuestra actitud utilitarista. Pues bien, el hecho que las ideas meanicistas matemticamente estructuradas funcionen, no prueba su adecuacin metafsica. Se puede estar de acuerdo con eso: actuar es una cosa, comprender es otra. La influencia de Bergson puede ser sumamente benfica para no desorientarse cuando se quiere prolongar filosficamente la ciencia. Bergson nos advierte: las ciencias matemticas, que han formado el concepto de materia, pueden conducir al materialismo, a erradicar los valores de un mundo que consistira slo de hechos. Acabamos de aludira otra advertencia importante: cuidado con la hipstasis. Cuando uno se da cuenta de tanta cosa curiosa e inverosmil que viene, de cerca o de lejos, de la ciencia de nuestros das y sobre todo del cientificismo, ya se tiene una entrada personal y favorable al pensamiento de Bergson.

M. Espinoza, Bergson, las matemticas y el devenir

22

La verdad de Bergson es a medias, como ocurre con toda filosofa. La otra parte de la verdad es que las matemticas, la fsica matemtica y el conjunto de disciplinas mecanicistas constituyen el nico conocimiento cientfico que tengamos. No existe una ciencia bergsoniana rival de la ciencia. Por eso, lo razonable, una vez asimilado el espritu del bergsonismo, es tratar de mejorar nuestro conocimiento matemtico y mecanicista. Tengo la impresin que Bergson estara, en el fondo, de acuerdo con esta conclusin, porque de otra manera no me explico que este filsofo haya pasado tanto tiempo estudiando las ciencias.

NOTAS Y REFERENCIAS

1. Henri Bergson, Essai sur les donnes immdiates de la conscience, in uvres, Pars, P.U.F., edicin 1984, p. 56. 2. Aristteles, Metafsica, XIII,2,1088a 4-6. 3. Euclides, Los Elementos, VII, def. 1 y 2. 4. E. Kant, Crtica de la razn pura, A 143; B 182. 5. H. Bergson, Essai sur les donnes immdiates de la conscience, op.cit., pp. 1,26. 6. G. Martin, Arithmetic and Combinatorics, S.I.U. Press, Carbondale, Ill., 1985, p. 189. 7. B. Russell, Introduction to Mathematical Philosophy, Allen & Unwin Ltd., Londres, 1921, Cap. 2, "The notion of number". 8. B. Russell, History of Western Philosophy, Allen & Unwin, Londres, 1946, p. 829. 9. L.E.J. Brouwer, "Base historique, principes et mthodes de l'intuitionisme" in Intuitionisme et thorie de la dmonstration, textos reunidos por J. Largeault, Vrin, 1992, p.449. 10. H. Bergson, Essai sur les donnes immdiates de la conscience, op.cit., p. 57. 11. Ibid., pp. 57-58. 12. L.E.J. Brouwer, "Intuitionisme et formalisme" in Intuitionisme et thorie de la dmonstration, op.cit., pp. 43-44. 13. R. Thom, Apologie du logos, Pars, Hachette, 1990, p. 324. 14. H. Bergson, L'volution cratrice, Pars, edicin Flix Alcan, 1939, pp. 224-225. 15. D'A. Thompson, On Growth and Form, Cambridge University Press, edicin 1961, pp. 7-8. 16. P. Valry, Cahiers, Pars, Gallimard, 1973, tomo 1, p. 740. 17. H. Bergson, L'volution cratrice, op.cit., p. 326. 18. H. Bergson, L'nergie spirituelle, Pars, P.U.F., edicin 1990, p. 45. 19. M. Bunge, Scientific Materialism, Reidel, 1981, p. 21.

M. Espinoza, Bergson, las matemticas y el devenir

23

20. H. Bergson, L'volution cratrice, op.cit., p. 329. 21. H. Bergson, La pense et le mouvant, in ?uvres, op.cit., p. 1257. 22. H. Bergson, L'volution cratrice, op.cit., p. 334. 23. Estas observaciones estn desarrolladas en mi libro Thorie de l'intelligibilit, Toulouse, Editions Universitaires du Sud, 1994. 24. Sobre lo continuo y lo discreto vase, por ejemplo, H. Weyl, El Continuo, 1918; R. Thom, Stabilit structurelle et morphogense, 1972.

* * *