Filosofa y lgica simblica

HORACIO SCHINDLER Universidad de Buenos Aires

A partir de 1847, ao en que se publica la monografa de Boole sobre The mathematical Analysis of Logic y la Formal Logic de De Morgan, la lgica adquiere un ropaje nuevo: se generaliza el empleo de smbolos para designar, no slo trminos o proposiciones, sino tambin relaciones formales. Esto permite esquematizar largos y complejos razonamientos en rigurosas frmulas de tipo algebraico. No por ello ha cambiado el objeto de la vieja ciencia, pero se confa en que el uso del nuevo mtodo ha de ampliar su ya dilatado campo. Se espera que, as como en el siglo XVll la introduccin del simbolismo algebraico seal una verdadera revolucin en las matemticas, la utilizacin de smbolos anlogos ha de convertir a la lgica en ciencia exacta. De hecho, para Boole, la lgica slo se transform en un captulo de las matemticas. Recin a fines del siglo pasado Peano y Frege difundieron la conviccin de que la relacin entre ambas disciplinas era precisamente la inversa: la lgica simblica proporciona las nociones indispensables para fundar las matemticas. En 1911 esta idea se concreta en la gran obra de Whitehead y Rtissell, los Principia Mathenuuica, en la cual los clculos lgicos toman por base ideas primitivas y axiomas que permiten formalizar no slo a la lgica, sino tambin a todo el conjunto de las matemticas. Rpidamente se multiplicaron los trabajos de lgica matemtica y se fueron manifestando con mayor claridad las ventajas que del nuevo mtodo esperaban obtener sus propulsores. No se trataba simplemente de aliviar el trabajo intelectual mediante smbolos que condensen mecnicamente los razonamientos. Se intentaba poner en claro los fundamentos de las disciplinas en cuestin sin recurrir a la experiencia ni a la intuicin, esto es, evitando todo paso dudoso. Como lo expresa David Hilbert, esto permite que "la derivacin de
1233

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 2

1234

HORACIO SCHINDLES

frmulas partiendo de axiomas se efecte por caminos rigurosamente formales, de manera tal que no sea necesario ocuparse de los enunciados representados en las proposiciones". Este formalismo ha dejado su huella en casi toda la lgica contempornea. Su radical desconfianza frente a todo mtodo intuitivo desconfianza provocada, en primer trmino, por la aparicin de las geometras no-euclidianas obliga a colocar al frente de los clculos axiomas slo revestidos del carcter de proposiciones hipotticas, y a reemplazar a las nociones ms simples por elaboradas definiciones. Baste mencionar el hecho de que los principios de la lgica clsica considerados siempre como el paradigma de las nociones evidentes slo aparecen en estos sistemas como simples teoremas deducidos, tras larga cadena de frmulas, de otros principios ms frtiles en consecuencias. Al dejar de lado la consideracin del significado de los smbolos ya no es posible pretender exponer en la lgica una imagen real de la marcha del pensamiento. Los lmites fijados a la intuicin son demasiado estrechos. Husserl, con razn, protesta contra el excesivo formalismo que conduce a realizar "esfuerzos intiles para definir aun los conceptos que, en virtud de su carcter de elementos, no son suceptibles de ser definidos ni requieren serlo". La elaboracin de sistemas axiomticos presenta, desde luego, un inters puramente matemtico fuera de toda interpretacin. Pero la dificultad de estructurar lgicas de acuerdo con estos cnones ha inducido a sus principales creadores a proporcionar una interpretacin coherente de sus trabajos. Y esta tarea ha sido realizada sin contacto casi con la filosofa tradicional. Deliberadamente los lgicos se han limitado, en la medida de lo posible, a hablar slo de las propiedades sintcticas del lenguaje lgico. Para evitar toda asociacin incmoda han creado, inclusive, una nueva terminologa. Pero esta prudencia excesiva ha tenido en la mayora de los casos su raz en una concepcin filosfica, en un empirismo que ha pretendido por momentos ser radical. Los enunciados sintticos caen fuera del campo de la lgica que se limita a formular las reglas del lenguaje con el cual hablamos acerca de lo real. Estas reglas constituyen, segn Wittgenstein, las nicas verdades necesarias que conocemos: los principios lgicos son tautologas. No tiene sentido hablar de verdades ontolgicas. La metafsica afirma pintorescamente en su Tractatus es una enfermedad del lenguaje.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 2

FILOSOFA Y LGICA SIMBLICA

1235

Sin llegar a la posicin extrema de Wittgenstein, sus discpulos del llamado Crculo de Viena y los lgicos polacos han estructurado una jerarqua de lenguajes que trae aparejadas hondas consecuencias filosficas. La tarea de la filosofa, para ellos, es el anlisis semitico del lenguaje de la ciencia. En otras palabras, ya no se considera superfluo el anlisis del significado y se estudia asimismo el papel que desempea el sujeto en el conocimiento. Pero siempre la referencia a lo real debe necesariamente efectuarse mediante meta-lenguajes formalizados. Las propiedades del meta-lenguaje, a su vez, slo pueden establecerse plenamente mediante un meta-lenguaje de orden superior quedando de hecho establecida una jerarqua infinita de lenguajes. El carcter dialctico de las nuevas disciplinas establecidas por los empiristas lgicos, salta a la vista y parece hallarse en abierta contradiccin con las premisas realistas que toman por puntos de partida. La negacin de la metafsica no es consecuencia que pueda derivarse, como pretenden los positivistas, de los sistemas de lgica matemtica. La reaccin de la filosofa frente a la nueva lgica ha sido negativa desde los comienzos del siglo en que la voz autorizada de Poincar tranquiliz a los no especialistas afirmando los escasos alcances de las reformas lgicas. Todava en un reciente trabajo de A. Koyr encontramos un eco acentuado de esta actitud: califica a la lgica simblica de disciplina hbrida, tan aburrida como estril. Ocioso resultara detenerse a analizar los motivos que pueden haber inducido a los lgicos a calificar de tarea meramente descriptiva sus interpretaciones forzosamente normativas de los lenguajes y a inventar nombres nuevos para las disciplinas que integran la filosofa. Ms ocioso an sera buscar las causas del aburrimiento del seor Koyr. Pero cabe dar razn a este ltimo cuando afirma que la lgica es una disciplina hbrida. Slo que lo es porque no se puede perder de vista el hecho que la lgica, sea tradicional, sea simblica, es una rama de la filosofa que no debe permanecer aislada del tronco al cual pertenece. No siendo permitido dentro de los lmites de esta comunicacin explicar las posibilidades que surgiran de una colaboracin fructfera entre ambas disciplinas, me limitar a mencionar ventajas obtenidas en recientes trabajos que han encarado en forma explcita esta relacin necesaria entre lgica formal y filosofa.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 2

1235

HORACIO ScHiNDLEn

Thomas Greenwood, en su estudio sobre Les fondements de la logique symbolique, muestra desde el punto de vista aristotlico, cmo, a travs de los clculos lgicos adquieren relieve las nociones universales y se mantiene la unidad fundamental del pensamiento. Asimismo, Garca Bacca y J. W. Miller, han podido mostrar el perfecto acuerdo entre los principios de la lgica tradicional y los de la lgica moderna, acuerdo que justifica, a la vez, la expansin de su campo. Yendo ms lejos, Heinrich Scholz trata de mostrar que las modernas lgicas constituyen cuando se hallan sistemticamente formuladas ontologas en el sentido aristotlico de la palabra. Tan coherente como la exposicin de Greenwood desde el punto de vista conceptualista, es la realizada por Nelson Godman y W. V. Quine desde la posicin filosfica del nominalismo. En un reciente trabajo titulado Steps toward a constructive Nominalism (en The Journal of Symbolic Logic, vol. 12, N ' 4 ) , hacen resaltar los efectos de esta concepcin mediante ejemplos simples formalizando clculos corrientes. Estos autores atacan tambin de lleno el problema de los universales cuya persistencia en todos los sistemas inspirados en los Principia Mathematica es evidente, pues se manejan constantemente entidades abstractas: clases, relaciones, proposiciones, propiedades. El procedimiento propuesto para deshacerse de ellas es en extremo simple y consiste en no permitir que ninguna variable que entre en el sistema pueda tomar como valores entidades abstractas. Es, en efecto, suficiente para un nominalista restringir la limitacin a las variables, pues las constantes no presentan mayores dificultades ya que pueden construirse como trminos sincategoremticos. En otras palabras, se excluyen los predicados que no lo sean de individuos concretos. La formalizacin, tanto en este caso como en el anterior, hace resaltar interesantes e importantes diferencias que no hubieran podido captarse intuitivamente en la expresin corriente del pensamiento. Cabe sealar estas experiencias por el servicio directo que prestan al pensamiento filosfico aclarndolo y precisando su contenido.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 2