Resea comentada del libro: Lgica, matemticas y realidad. Anastasio Alemn. Ed. Tecnos.

Madrid 2001
Juan Manuel Gasulla Roso Dentro del espacio a-NUDAMIENTOS, me pareci interesante resear este libro porque atae directamente a nuestro inters. Anastasio Alemn, profesor de Lgica y Filosofa en la Universidad Autnoma de Madrid, es autor de diferentes artculos de filosofa y del libro Teora de las categoras en la filosofa analtica. El tema central del libro se muestra en la contraportada: Cul ha de ser la naturaleza de la lgica y de la matemtica, dado que su empleo resulta indispensable en teoras que permiten predecir con xito la ocurrencia de multitud de fenmenos en la naturaleza? Ms enfocado, en apariencia, a pensar sobre las ciencias fsicas, la cuestin que plantea el libro, y su modo de resolverla, afecta por igual, en mi opinin, a cualquier ciencia emprica o experimental que pretenda rigor en sus enunciados. Con Freud y Lacan, es el caso para el psicoanlisis. 1

Con Freud, podra decirse que dos clases mayores de enunciados se prestaban a dar cuenta de los hallazgos del psicoanlisis: la biologa y la psicologa. Sin embargo, la necesidad de sostener el campo del inconsciente como propio del psicoanlisis, exiga de los tericos la posibilidad de generar un discurso con enunciados que no estuvieran tomados prestados de otras ciencias, ms all de un bagaje conceptual cuya funcin habra que tomar como la de intercambiadores que posibiliten la conexin con los diversos campos del saber. En ese esfuerzo de emprender el diseo de un lenguaje riguroso para la transmisin del psicoanlisis, Lacan recurri al aparato formalizador por excelencia, que son la lgica y la matemtica. Ahora bien, podemos preguntarnos con Alemn qu tipo de relacin hay entre la lgica y la matemtica, de una parte, y la realidad que nos circunda, de otra? (p1: 151; aqu entenderemos que nuestra realidad, en tanto que psicoanalistas, no es otra que la realidad
1

La notacin (p1, p2...pn), seguida de dos puntos y un nmero, que aparece a continuacin de cada pregunta, es una forma de numerar las preguntas del libro que considero bsicas y la pgina en la que se encuentra, en la edicin de referencia. Esta notacin se leer: Pregunta 1, situada en la pgina 15; etc.

inconsciente). O, de otro modo, de qu forma y hasta qu punto la lgica y la matemtica son dispositivos que puedan dar cuenta de la realidad del inconsciente, tal como se contempla desde la experiencia psicoanaltica? En este libro de Alemn se encuentran algunas respuestas necesarias para proseguir la reflexin. Considero que Alemn divide su libro en dos partes: la Introduccin, en la que, tras una exposicin panormica del estado de la cuestin, da a conocer su toma de partido frente al problema, y el resto del libro, dividido en nueve captulos, en los que va a demostrar con elegancia y sencillez lo que afirma en la introduccin. En consecuencia, el plato fuerte est ya en la introduccin y a ella me voy a limitar en este comentario. Para abordar la pregunta p1, nombra y describe las distintas y contrapuestas concepciones sobre la naturaleza de la lgica, la matemtica y la realidad. Sin embargo, dos grandes grupos de concepciones pueden reunirse, segn Alemn: las descriptivistas y las no-descriptivistas o constructivistas2.

Constructivismo es el nombre que Alemn propone para este grupo de concepciones no descriptivistas.

Platonismo

Descriptivismo Concepcionessobre la Naturaleza de la lgica y de la matemtica

Empirismo

Intuicionismo constructivismo Convencionalismo

Las concepciones descriptivistas comparten la tesis de que la lgica y la matemtica son descriptivas de la realidad. A su vez, pueden identificarse dos grandes corrientes de pensamiento dentro de las concepciones decriptivistas: el platonismo y el empirismo. Para la concepcin descriptivista de tipo platnico, la realidad que describen la lgica y la matemtica es una realidad no material, que no se percibe mediante los sentidos, sino que, siendo ideal y abstracta, slo se percibe por una facultad de percepcin especial, llamada comnmente intuicin intelectual. Para la concepcin descriptivista del tipo empirista clsica, la realidad que describen los enunciados lgico-matemticos no es una realidad de otra naturaleza y superpuesta a la realidad espacio-temporal en la que nos encontramos inmersos: la realidad es una, pero 4

multifactica, y presenta rasgos o caractersticas que van desde las ms particulares y concretas, hasta las ms generales y abstractas. Frente a la realidad escindida en dos del platonismo, y que coloca a ste ante el problema de armonizarlas, el empirismo slo concibe una nica realidad a la que hay que describir mediante enunciados de diferente grado de generalidad. En un extremo, los enunciados empricos bsicos que registran los datos ms inmediatos procedentes del medio; en el otro, los enunciados mximamente generales de la lgica y la matemtica que describen los rasgos ms generales de la naturaleza. Frente al descriptivismo, el constructivismo niega directamente las tesis descriptivistas y sostiene que los enunciados lgico-matemticos no describen ningn tipo de realidad (ni ideal ni natural) preexistente a la propia actividad constructiva del matemtico. La funcin propia de los enunciados lgicomatemticos no es describir, sino construir formas que pueden ser empleadas en la construccin de la realidad. Aunque divergentes en cuanto a la naturaleza de los objetos matemticos, constructivismo y platonismo coinciden, frente al empirismo, en que la verdad, falsedad o justificacin de los enunciados matemticos, no depende, en modo alguno, de las observaciones empricas. 5

Platonismo y constructivismo coinciden en sealar la autonoma de la matemtica frente a la experiencia. Del mismo modo que el descriptivismo poda dividirse en dos grandes grupos, el constructivismo tambin puede adoptar dos formas diferentes: el intuicionismo, que sostiene que hay un nico tipo general de construcciones, que son las que siguen las restricciones especficas de la matemtica intuicionista (restricciones que excluyen el uso irrestricto del principio lgico del tercio excluido, o la regla de inferencia de la doble negacin, o la referencia a totalidades infinitas completadas); el convencionalismo, que tiene en el formalismo un antecedente histrico, y no encuentra razones suficientes para excluir aquellos sistemas formales que no se sujetan a este tipo de restricciones (a las que se somete el intuicionismo) El convencionalismo, en lgica y matemtica, viene a mantener que los sistemas lgicos y matemticos son autnomos y no descriptivos, en el sentido de que su validez, verdad o justificacin no depende de su ajuste descriptivo a ningn tipo de realidad exterior a los propios sistemas. Es decir, que desde el punto de vista convencionalista, no se puede decir que un sistema lgicomatemtico sea verdadero, ni an meramente 6

justificado, en razn de que describa adecuadamente los objetos lgico-matemticos ni en razn de que describa las caractersticas ms generales de la realidad emprica. La caracterstica esencial de los sistemas lgico-matemticos no es, pues, su carcter descriptivo, sino su carcter constructivo o constitutivo. Esto es, son las propias reglas del sistema las que determinan o constituyen sin residuos el significado de los signos lgicos y matemticos. Son los axiomas y reglas, para el uso de los signos del sistema, los que determinan o constituyen las tesis, teoremas o verdades del sistema. Con respecto a esto, Alemn trae una frase de S. MacLane, que me parece digna de reproducir: Una vez los axiomas del sistema son establecidos, todos los enunciados del sistema son o demostrables, o refutables, o (gracias a Gdel) indecidibles. Ninguna colusin, ninguna influencia poltica, ninguna intencin oculta, puede alterar el hecho de que el teorema puede ser probado [...] La matemtica no es verdadera, pero sus resultados correctos son ciertos (subrayado mo). Segn el prrafo destacado en negrita, la matemtica (y la lgica) es falsa, pero irrefutable. 7

Esta idea de la autonoma de la lgica matemtica y, ms en general an, reglas del lenguaje frente a cualquier realidad ideal o emprica, es una grandes aportaciones de Wittgenstein.

y de la de las tipo de de las

Ahora bien: el problema ms importante al que tiene que enfrentarse cualquier Filosofa de la Lgica y de la Matemtica es el siguiente: dado que los clculos lgico-matemticos resultan indispensables en ciencias que, como la fsica, permiten predecir con xito la ocurrencia de multitud de diferentes tipos de fenmenos naturales, cul ha de ser la naturaleza de esos clculos? (p2: 30) y, desde el convencionalismo, cmo diablos entender que un puado de convenciones resulte independiente de la experiencia en cuanto a su validez y, al propio tiempo, indispensable para poder predecir su curso? (p3: 31) que es el endiablado problema al que el convencionalismo se enfrenta. Segn Alemn, el ncleo esencial de la respuesta correcta al problema convencionalista se encuentra en Popper: las reglas lgico-matemticas permiten transformar ciertos enunciados en otros, preservando siempre la verdad (si es que son verdaderos) de los enunciados de partida. O, dicho de otra forma, lo nico que garantizan las reglas lgico-matemticas es que, si la informacin 8

contenida en ciertos enunciados tomados como premisas en un razonamiento es verdadera, entonces tambin ser verdadera la informacin contenida en la conclusin obtenida a partir de aquellas premisas aplicando las reglas (salvo cuando hayamos cometido algn error en la aplicacin de las reglas). Se trata, siempre, de informacin condicionada a la veracidad de las premisas; esto es, la prediccin no est contenida en las reglas (stas son formales, vacas de todo contenido real), sino que est contenida en las premisas empricas cuyo valor veritativo se establece observando esta o aquella parcela de la realidad espacio-temporal. Las reglas lo nico que hacen es extraer y hacer explcita en la conclusin la informacin contenida implcitamente en las premisas, y sta es la caracterstica (la de preservar la verdad) que poseen las reglas lgico-matemticas. En suma: las reglas lgico-matemticas permiten deducir rectamente y garantizar que, salvo error, la verdad contenida en las premisas se mantiene en las conclusiones; esto es, que las deducciones son verdaderas en la medida en que lo son las premisas. Aplicando las conclusiones de S. MacLane al psicoanlisis, y pasando la transformacin de sus enunciados por el dispositivo adecuado de reglas lgico-matemticas (lgica del 9

fantasma, teora del nudo, etc.), concluir que el psicoanlisis es irrefutable.

podremos falso e

De la lectura del libro de Alemn no podemos deducir que el mejor sistema de reglas de transformacin sea, para el psicoanlisis, ste o aqul, la teora del nudo o la teora de superficies, etc., pero s en cambio se puede decir que, en la medida en que los enunciados psicoanalticos se sometan a las reglas lgico-matemticas ms adecuadas a sus caractersticas discursivas, la verdad de las deducciones estar garantizada siempre que las premisas utilizadas en la deduccin sean verdaderas. En suma, que es posible deducir rectamente en psicoanlisis sometiendo los enunciados psicoanalticos a determinado conjunto de reglas lgico-matemticas. Es importante poder demostrar esta afirmacin, porque con Lacan el psicoanlisis entra en la va de la deduccin y, si cabe, de la prediccin, de modo que tiene que estar garantizado el paso legtimo de los enunciados psicoanalticos a los enunciados topolgicos o del nudo. Entonces, haciendo una extrapolacin de lo que Alemn justifica para las ciencias empricas (la fsica), habr que demostrar que lo que es vlido hacer con la fsica es vlido hacerlo con el psicoanlisis, una vez establecida la naturaleza distinta de los objetos en cada ciencia, pero estableciendo, a 10

su vez, la legitimidad del paso de los enunciados psicoanalticos por las reglas de transformacin lgico-matemticas. 18 de Junio del 2000 SUMARIO

11