LA LGICA ARISTOTLICA

1. Aristteles ha pasado a la historia, entre otras cosas, como el primer sistematizador de la lgica. De hecho, sus propuestas en este campo, junto a las aportaciones de los estoicos, han constituido prcticamente toda la lgica hasta el siglo XIX. El mismo Kant, quien toma la clasificacin aristotlica de los juicios como base para realizar la deduccin trascendental de las categoras del entendimiento, aspecto fundamental de su obra, se extraa del mnimo avance de la lgica, desde Aristteles, contrastndolo con el arrollador avance de la ciencia a partir del Renacimiento, dado que ambas parecen ofrecernos una forma de conocimiento seguro.

2. Las obras de lgica de Aristteles (Categoras, Sobre la interpretacin, Primeros analticos, Analticos posteriores y Tpicos) fueron agrupadas en un conjunto llamado Organon, que los filsofos interpretaron tradicionalmente como una propedutica, una preparacin para la filosofa. Con ello pretendan recalcar que el conocimiento de las leyes del razonamiento era fundamental, un paso previo, para cualquier ulterior estudio, y que deba estar en posesin de tal conocimiento quienes quisiesen adentrarse en el terreno de la filosofa. A diferencia de la moderna lgica formal, la lgica aristotlica parte del supuesto de que las formas de pensamiento reproducen lo que ocurre en la realidad, o sea, que las cosas extramentales existen tal como son pensadas por la mente, por lo que las categoras de la mente son categoras objetivas, categoras de la realidad. De ese modo las categoras del pensamiento adquieren un sentido ontolgico y ese carcter propedutico que ha sealado la tradicin filosfica.

3. La lgica aristotlica se ocupa del estudio de los conceptos, dedicando especial atencin a los predicables, y de las categoras (o predicamentos), que se completa con el anlisis de los juicios y de las formas de razonamiento, prestando especial atencin a los razonamientos deductivos categricos o silogismos, como formas de demostracin especialmente adecuadas al conocimiento cientfico.

Los conceptos

1. El concepto es entendido como la representacin intelectual de un objeto, diferencindose, pues, de lo sentido, lo percibido, lo imaginado o lo recordado. Las propiedades de los conceptos son la comprensin y la extensin: la primera denota las caractersticas esenciales que contiene un concepto, y la segunda el nmero, la cantidad de sujetos a los que puede aplicarse, de los que se puede predicar. Cuanto mayor sea el nmero de caractersticas que contiene un concepto, menor ser el nmero de sujetos a los que pueda aplicarse, y viceversa. En funcin de estas caractersticas se pueden construir los conocidos rboles lgicos, como hizo Porfirio (siglo III d.c.), en los que se clasifican los conceptos estableciendo entre ellos una relacin de jerarqua y subordinacin, de mayor a menor extensin.

Jerarqua y subordinacin de los conceptos segn el rbol lgico de Porfirio

2. Por supuesto, hay muchas clases de conceptos. Atendiendo a su extensin pueden ser universales, particulares y singulares; atendiendo a su comprensin: simples y compuestos, segn expresen una sola esencia, o una esencia acompaada de una cualidad; tambin pueden ser, segn su comprensin, concretos y abstractos, compatibles o incompatibles, positivos o negativos, claros u oscuros. Los que ms interesaron a Aristteles fueron los conceptos universales y sus distintos tipos de atribucin o predicables. Los predicables son conceptos universales que pueden aplicarse, pues, a muchos sujetos. En los Analticos posteriores Aristteles se refiere a cinco predicables, o modos generales de atribucin: gnero, especie, diferencia, propio y accidente. El gnero representa la parte de la esencia que es comn a varias especies; la especie representa la esencia del ser; la diferencia expresa la parte de la esencia que no es comn, sino caracterstica de la especie; propio, o propiedad, expresa una cualidad que acompaa necesariamente a la especie, y el accidente expresa una cualidad contingente, que puede estar o no en el ser.

3. Los gneros supremos en los que se pueden clasificar los seres son las categoras, o predicamentos. En sus obras "Categoras" y "Tpicos" Aristteles fija en diez su nmero, estableciendo una distincin fundamental entre la sustancia y los accidentes. La sustancia es la categora fundamental, lo que existe en s mismo; los accidentes son categoras que existen en otro ser, en la sustancia. Aristteles clasifica los accidentes en 9 grupos: cualidad, cantidad,

relacin, accin, pasin, lugar, tiempo, situacin, hbito externo. (En los "Analticos posteriores" nos habla slo de ocho categoras accidentales, suprimiendo las dos ltimas, que son englobadas como aspectos de las restantes). En la medida en que las categoras remiten a las formas de ser extramentales adquieren un marcado contenido ontolgico, dando por supuesto que las cosas son captadas por la mente tal como son en realidad.

4. Los conceptos son actos mentales que expresamos mediante el lenguaje. A esa expresin lingstica del concepto le llamamos "trmino", y es objeto de la misma clasificacin atribuida a los conceptos. Los trminos pueden ser, adems, si atendemos al objeto expresado, unvoco, equvoco y anlogo. Son unvocos los trminos que remiten a un slo concepto, y se aplican siempre con el mismo sentido o significado. Equvocos son los trminos con los que podemos expresar distintos conceptos, aplicndose en cada caso con un sentido distinto (Len tiene una catedral, el len es el rey de la selva). El trmino que expresa conceptos diferentes pero que tienen un fondo comn se llama anlogo (Juan est sano, este clima es sano). El anlisis de los distintos tipos de analoga interes mucho a los filsofos medievales y algunos problemas de la relacin entre lo divino y lo humano fueron tratados con el desarrollo del anlisis de los distintos tipos de analoga.

LEIBNIZ PROPONE Una lgica como ciencia universal o fundamental, mathesis universalis. Es lo que llam logstica o lgica matemtica, se propona la posibilidad de representar la lgica con un lenguaje artificial (alguien dgame una mejor palabra), que solamente hiciera caso a la estructura lgica y no tanto al contenido especfico. Esto obviamente para facilitar la comprobacin de si las afirmaciones en la filosofa y la ciencia son verdaderas o falsas. Fue tan ambicioso lo que quera Leibniz, de la creacin de este lenguaje lgico universal, que tuvo que pasar un siglo a partir de su muerte para que otros matemticos y filsofos continuaran su proyecto (Boole, de Morgan, Frege). El filsofo y matemtico alemn Gottfried Wilhelm Leibnitz (Leipzig, 1646 - Hannover, 1716) - a quien cabe considerar el creador de la lgica matemtica - desarroll la idea de un calculus ratiocinator, mediante el cual se aplicara un sistema de reglas a algunos conceptos generales precisamente definidos, lo que habilitara a operar en el campo de las cuestiones filosficas con los mismos procedimientos del razonamiento matemtico. Esta idea tena implcito el concepto de crear un mtodo equivalente al de las ciencias exactas para alcanzar la certeza en cuanto a las cuestiones filosficas; pero precisamente por su estrecha vinculacin con especulaciones filosficas sobre numerosos temas como la metafsica y la teodicea, el concepto qued largo tiempo olvidado.

Fue as que la lgica matemtica - tambin llamada lgica simblica - se desarroll efectivamente en el siglo XIX, especialmente a partir de George Boole (Inglaterra, 1815 - 1864), autor de la obra Investigacin de las leyes del pensamiento en que se fundan la teoras matemticas de la lgica y la probabilidad, en que se originara la conocida como lgebra booleana; que conjuntamente con Frege consigui construir clculos lgicos rigurosamente formalizados, que permitieron aplicar a los problemas lgicos los procedimientos matemticos. Con ello sentaron los fundamentos operativos de la tecnologa de la moderna computacin, que fueran ulteriormente desarrollados por las teoras de Emil Post y el clebre matemtico ingls Allan Mathison Turing (Inglaterra, 19121954), creador de la Automatic Digital Machine que por primera vez permiti realizar clculos mecanizados mediante el empleo de algoritmos.