Tesis

3
La bsqueda filosfica de la verdad: necesidad, naturaleza y estructuracin de la lgica. Verdad y mtodo. Es la lgica una disciplina filosfica? Del Organon aristotlico a la lgica positiva y matemtica.

Esquema de la tesis A. Lgica: ciencia del logos B. El orden en el logos C. La estructura formal del entendimiento verdad y mtodo a. El Concepto b. El Juicio c. El Raciocinio D. La demostracin y la ciencia E. Del Organon Aristotlico a la lgica positiva y matemtica

A. Lgica: ciencia del logos El nombre Lgica es recibido por el latn del trmino griego logos, que entre muchas otras acepciones significa no slo palabra sino tambin, y principalmente, razn. Podemos delinear tres acepciones del trmino logos, en las que, en cada una, hay una nocin distinta, pero complementarias entre s, de la Ciencia del logos: 1. Nos centraremos, en este primer momento, en el significado del logos como razn, que es la palabra que mejor se identifica con la esencia misma de la lgica. En cada mnima expresin que observamos de la realidad, podemos percibir, si nos detenemos por un momento, al logos como razn universal del mundo. Somos, y descubrimos que somos, en el cosmos, no en el caos; el cosmos armnico y unitario. Segn Filolao de Crotona (finales del s. V a. C.) esta armona se traduce en la unidad de lo mltiple y en el acuerdo de los discordantes. El gran descubrimiento de Herclito (principios del s. V a. C.) es la ley universal del ser. () Herclito reconoci en la ley universal el corazn de todo lo que existe, que todo lo envuelve, a la que nada puede escapar, pues es el fundamento mismo de todo existir1. El contenido de esta ley universal es la unidad: la unidad es fuente del ser. Platn (ss. V-IV a.C.) () enuncia admirablemente esa armona de las esferas () en la que se muestra cmo esa ley universal del mundo ese logos- ser la que rija nuestra razn2. La realidad est impregnada de este logos; todo el cosmos tiene un profundo orden y sentido, todos los seres son y obran conforme a una razn que les es intrnseca y esencialmente constitutiva. Esta pluralidad de existencias remite necesaria e intuitivamente a una unidad esencial; sta es la integracin de todos los seres en una misma realidad, en una misma existencia en relacin integral y absoluta de unos con otros. Como conclusin de este primer apartado, la nocin de Lgica que se desprende de esta versin del logos es la de una Ciencia de la racionalidad de lo real o, dicho de otro modo, la Ciencia que describe y analiza la unidad y armona estructural del ser. El logos no es aqu, por tanto, un objeto unitario, sino la unidad que existe en la interdependencia de las cosas, y la expresin de la inseparabilidad radical de todo lo real entre s3. 2. Podemos hablar tambin del logos como una facultad del espritu humano por la que ste es capaz de alcanzar el conocimiento de lo universal. Tal es la nocin que se esconde

1 Dobradinsky y Dominguez, Lgica y Filosofa, Facultad de Teologa San Dmaso Studia Philosophica Matritensia, Madrid 2005. 2 Idem, p.198 3 Idem, p.200

tras ya la popular definicin del hombre como animal racional, dicho con ms propiedad, animal poseedor de logos4. El hombre posee la facultad de conocer la realidad. El hombre accede al cosmos, lo comprende, lo intelige (intus-legere). El hombre, poseedor de logos en su esencia al igual que cualquier ente, puede, adems, leer ese logos de la naturaleza, es decir, el hombre posee el logos de manera activa. Aunque todo ser posee logos, y en esa misma medida posee unidad, lo admirable es que el hombre adems de poseerla por ser ente- es capaz de obrar la unificacin (de lo real)5. El hombre es capaz de descifrar la unidad de la realidad, puede ver la unidad detrs de la pluralidad de seres que pueblan el cosmos. La nocin de lgica que cabe advertir tras esta segunda versin del logos sera la que nos habla de una ciencia que estudia los entresijos de ese arte de la unificacin operada por el entendimiento humano. () La Lgica para Aristteles no es, por tanto, un saber sobre algo, sino un saber sobre la forma o estructura racional que articula el discurso de la razn sobre todos los algos, esto es, sobre toda la realidad6. Podemos obtener una segunda acepcin de Lgica: la ciencia de los principios del pensamiento7. 3. Una tercera acepcin de logos es la que cabra traducir por palabra, expresin, discurso, argumentacin, etc. Esta versin, por tanto, hace referencia a la estructura de las expresiones lingsticas, que, en efecto, son el resultado del pensamiento humano acerca de las cosas conocidas8. Tras esta concepcin del logos emerge otra versin de la Lgica: la Ciencia de la estructura y correccin de todo discurso significativo9. Podemos deslindar, a lo largo de estas tres acepciones del logos, la presencia del unum; en efecto el unum es el objeto formal de la lgica. El objeto de la lgica, insisto, no es el pensamiento del hombre, sino el logos que el hombre descubre en s mismo, y que tiene conciencia de no poseer, sino de ser posedo por l. El logos que el hombre descubre en su pensamiento, y que es objeto de la lgica, le trasciende, abarca todo el ser10. De hecho as es: en la primera acepcin del trmino logos, descubrimos el logos como razn universal del mundo, como principio intrnseco y esencial de todo ente que le hace estar en relacin con toda la realidad; pluralidad de entes en una realidad. Si atendemos ahora a la segunda de las acepciones del logos como capacidad humana, habremos de sostener que dicha facultad puede ser definida como capacidad de unir. Todo el proceso lgico del hombre es resumible en esa operacin: dar unidad a lo mltiple. Cuando se juzga se estn uniendo dos conceptos; cuando se razona se estn uniendo dos juicios formando uno distinto y nuevo. Tambin en el plano del conocimiento sensible, los sentidos unifican sensaciones, y el sentido comn unifica las percepciones sensibles de los diversos sentidos. Igualmente la actividad humana busca siempre unidad: unidad entre las causas y los resultados, unidad entre los propsitos y las acciones. Cualquier filsofo, en el fondo, cuando ejerce su facultad de pensar, est unificando: los presocrticos, por ejemplo, buscan el arj, primer principio con el que todo quede explicado, el mismo paso del mito al logos se describe como el primer intento de solucin al problema de la unidad y la multiplicidad11. La tercera de las acepciones del logos palabra, discurso se emparienta con la unidad de modo claro. Una palabra es tal cuando dejando de ser un mero conjunto de sonidos, stos remiten a un concepto o a una imagen unitaria; una oracin es autntica cuando posee unidad; una mera agregacin de palabras no constituira una oracin, es necesario

Idem, p.200 Idem, p.201 6 Idem, p.201-202 7 Idem, p.204 8 Idem, p.204 9 Idem, p.205 10 Idem, p. 208 11 Idem, p. 206
4 5

que todas esas palabras guarden tal conexin entre s que formen un todo significativo. Por tanto, la unidad es caracterstica esencial de esta tercera acepcin del logos12. El logos, en el fondo, es nico, aunque manifestado de diversas maneras. En conclusin, si atendisemos a la primera de las acepciones del logos la Lgica sera la ciencia que se ocupara de la unidad estructural del ser; si partimos de la segunda la Lgica tendra que ser considerada como la ciencia que analiza el correcto proceder de la razn humana; si -por ltimo- atendemos a la tercera de las acepciones, habremos de considerar a sta como la ciencia que estudia la estructura del lenguaje. Tres acepciones distintas? No, sino tres modos de acercarnos a una nica realidad: la unidad, la armona, la coherencia del ser: la unidad del ser en s mismo, la unidad del ser pensado y la unidad del ser expresado. Por tal razn, podramos definir genricamente a la Lgica como la Ciencia de la unidad del ser en sus diversas manifestaciones13. B. El orden en el logos El logos en su acepcin de razn universal del mundo es la primera de las nociones, la principal, pues de ella se deriva la segunda, que no es sino la posesin de ese logos por el espritu humano. De la misma manera, el logos como palabra, como argumentacin es, a su vez, consecuencia de la segunda de las acepciones, pues es el resultado de esa capacidad lgica que posee el hombre14. Se distinguen, a lo largo de la historia dos caminos antagnicos de la comprensin de la lgica, influenciados, a su vez, por dos comprensiones de la realidad: Segn la concepcin de una lgica sustancialista o realista, la racionalidad lgica pertenece al ser en tanto que ser, y al logos humano en tanto que participa de ser15. El hombre puede acceder al logosrazn que sostiene toda la realidad, porque el mismo logos sostiene al hombre y su inteligencia. Sin embargo, si se considerara, equivocadamente, que el logos en su acepcin de facultad humana fuera el analogatum princeps de este trmino, nos encontraramos ante una concepcin racionalista de la Lgica: el logos del mundo estara sometido al logos humano. Esta concepcin acabara por considerar al espritu humano como fuente ltima de racionalidad y, en consecuencia, como fuente de realidad. De esta concepcin de la logicidad de la Lgica se derivarn las diversas manifestaciones del racionalismo. La logicidad la racionalidad sera el resultado de la razn humana. Este giro giro copernicano fue el ensayado por Kant en la Crtica de la Razn Pura. Se estaba intentando canonizar al logos humano, hacindolo fuente de racionalidad para el conjunto de los objetos presentes al conocimiento. Poco se tardara en llegar a un idealismo absoluto, en el que quedara subsumido el fenmeno con nomeno; es decir, poco se tardara en erigir al logos subjetivo no adecuadamente distinguido del divino en autntica fuente de racionalidad16. C. La estructura formal del entendimiento verdad y mtodo Las tres operaciones del intelecto, por las que ste capta lo real y lo conoce son: la abstraccin de la que se forma el concepto, el juicio del que se forma una determinada preposicin o juicio, y el razonamiento, del cual obtenemos preposiciones ms elaboradas y complejas acerca de lo real. Nuestra manera compleja de conocer en la que partimos de la sensibilidad a la integibilidad de la realidad, obteniendo conocimientos simples que constituyndose en material de nuestro razonamiento son la base de la adquisicin de verdades ms

Idem, p.209 Idem, p.209-210 14 Idem, p. 231 15 Idem, p.238 16 Idem, p.232-233
12 13

complejas, necesita de un mtodo que garantice el recto discurrir de nuestra facultad cognoscitiva-razonante. ste es el mtodo lgico, el cual es la ciencia que se ocupa del obrar de la razn en el conocimiento; es el artificio, que podemos llamar lgico, por el que las cosas se organizan y articulan en estructuras cientficas. Que ese artificio o dispositivo est bien establecido, rectamente logrado, es, por cierto, la finalidad de la lgica considerada como arte o tcnica de la razn. La estructura de la lgica como mtodo-arte-tcnica de la razn cognoscitiva tiene siempre, como ya hemos visto cuando hablamos de las tres dimensiones del logos, un fundamento in re. Veamos, pues, cada una de las operaciones del entendimiento que estructuran su forma, conformndola con la realidad. a. El Concepto 1. Concepto formal y concepto objetivo. El concepto es el factor ms sencillo de cuantos intervienen en el pensamiento y en la ciencia. La operacin de la mente por la cual obtenemos un concepto es la simple aprehensin o abstraccin. Aristteles le llama inteleccin de los indivisibles, porque el concepto supone siempre la aprehensin de una indivisible unidad. Para lo subjetivo del acto de concebir el concepto se reserva la denominacin de concepto formal, mientras que a lo que en ese acto resulta aprehendido obiectum se designa concepto objetivo. La lgica del concepto es la teora de las propiedades irreales que las cosas adquieren al ser objeto de la simple aprehensin. 2. El universal. Los trminos que llamamos universales no son, en s, universales; pero se universalizan en la mente al darles esta la propiedad irreal de la significacin por la que apuntan a una pluralidad de objetos; esta es una propiedad puramente lgica. - El trmino hombre es entitativamente singular pero significativamente universal (universal in significando). El trmino universal es un signo arbitrario al que se adscribe una relacin de razn con una pluralidad de objetos. - El concepto formal, que me hace presente un determinado concepto objetivo, slo es descubierto cuando reflexione sobre l: cuando pienso hombre, no pienso que estoy pensando a no ser que reflexione sobre ello. La universalidad del concepto formal no es entitativa, sino representativa (universal in representando); el concepto formal por el que pienso la naturaleza hombre es un universal representativo de esta naturaleza, pero considerado en s mismo, todo concepto formal es, sin embargo, singular y concreto. - Hay ahora que hablar de los universales que lo sean propiamente, es decir, en s mismos: son los universales entitativos (universales in essendo). El concepto formal (que constituye un universal por ser representativo de algo distributivamente predicable de una pluralidad de cosas) o acto de pensar por el que me represento lo que la palabra hombre significa, tiene como concepto objetivo una naturaleza hombre que es predicable de cualquiera de los hombres concretos y singulares, por la obvia razn que cada uno de ellos es justamente eso: un hombre. La atribucin de la naturaleza hombre a todo ser humano sera imposible y carecera de sentido, si no ocurriera que todo hombre realiza en s mismo esa naturaleza. Este comn denominador que es la naturaleza hombre para todos los hombres constituye, por tanto, algo universal, algo que conviene a una pluralidad de cosas; pero un universal muy distinto que los meros trminos o los puros conceptos formales, porque ni el trmino se predica como tal de una pluralidad de cosas significadas, ni el concepto formal se atribuye tampoco a cosa alguna, sino que se limita a ser lo subjetivo del acto de pensarla. La crtica nominalista y conceptualista dice que el hecho de que el universal se encuentre realizado en cada caso de un modo diferente, pudiera interpretarse como una cierta prueba de que el universal es tan slo una pura creacin del intelecto. Los universales en suma seran entes de razn. El nominalismo consiste en entender que los nicos universales son los trminos nomina universales. El conceptualismo admite tambin

conceptos formales universales, pero no conceptos objetivos universales. Segn esto, ninguna naturaleza real puede ser universal, porque en la realidad extramental todo es singular y concreto. La naturaleza universal, que est en la realidad, individualizada, se encuentra, en cambio, universalizada en la mente; es decir, que si se toma un concepto universal cualquiera, convendr distinguir en su estructura lo que es en l una naturaleza universal y lo que es la universalidad de esta naturaleza. No se trata de que una naturaleza universal sea capaz de existir en s misma, sino de que una naturaleza universal sea, en s misma, capaz de existir (con una concrecin). Capaz de existir en s misma significara: sin concrecin. Ser capaz en s misma de existir significa: por virtud de la esencia, aunque esta haya de concretarse, para existir de un modo actual y efectivo. Las naturalezas reales universales pueden ser consideradas bien en cuanto pura realidad y, en este caso, reciben la denominacin de universal metafsico o bien en cuanto consideradas sujeto de universalidad por lo cual denominan universal lgico. 3. Los predicables. De los universales entitativos se desprende una caracterstica lgica fundamental que es la predicabilidad. La predicabilidad no es otra cosa que la propiedad del universal entitativo, por virtud de la cual este es aplicable a una pluralidad de objetos. El universal hombre no slo puede concebirse como una naturaleza realizada en todos los hombres, sino tambin, y justamente por esto mismo, como un atributo predicable de ellos. La universalidad es el fundamento de la predicabilidad unum in multis et de multis: in multis considera el universal pura y exclusivamente como universal, de multis considera el universal en tanto que predicable. Toda naturaleza universal tiene materia y forma; la materia es aquello a lo que afecta en la mente la universalidad, la forma es esa misma universalidad. La naturaleza universal hombre y la singular de este mismo hombre tienen la misma materia, pero su forma es distinta, porque en el primer caso la naturaleza del hombre est afectada de universalidad mientras que en el segundo es singular. Llamaremos predicamentos a los supremos gneros que resultan de dividir los universales por la materia, y se reserva el nombre de predicables, segn una acepcin ms restringida que la que antes fue tenida en cuenta, a las especies o modalidades que resultan de dividir los universales por su forma. En el sentido estricto, los predicamentos representan modos o tipos de ser, mientras que los predicables constituyen las varias modalidades de ser universal y atribuible, de suerte que los primeros distinguen las cosas tal y cual son en s mismas, independientemente de toda propiedad lgica que puedan revestir en nuestra mente, en tanto que los segundos resultan de dividir las cosas o naturalezas reales, pero en cuanto estn ya abstradas y como revestidas de esas propiedades irreales que hemos denominado universalidad y predicabilidad. As una naturaleza universal, considerada en s misma es sustancia o accidente; la diferencia entre sustancia y accidente es una diferencia predicamental, es decir, entre dos predicamentos, pues ser en s o ser en otro constituyen modalidades entitativas que convienen a un determinado universal segn su propia realidad extramental. Adems, una naturaleza universal puede ser considerada, en tanto que abstrada, como una determinada especie perteneciente a un determinado gnero. Gnero y especie son dos propiedades que convienen a naturalezas abstractas, mutuamente comparadas por el entendimiento en atencin a su diverso modo de universalidad: el hombre es un animal racional. Hay dos modos de que uno (universal) pueda pertenecer a varios: o porque constituye la esencia a los que pertenece, o porque es algo que adviene realmente de esta esencia. Esta distincin da lugar a la diferencia entre la predicabilidad esencial y accidental. El predicable que concibe la naturaleza perteneciente a la esencia de sus inferiores y representa toda la esencia de ellos es la especie. Toda especie se encuentra articulada por un gnero y una diferencia. El genero se comporta en todo lo especfico como parte potencial, la cual es actualizada por la diferencia.

Por su parte la predicabilidad accidental da lugar al propio y al accidente. El propio (o propiedad) representa la clase de las naturalezas universales que se relacionan con la esencia de sus inferiores de un modo necesario. El accidente es el predicable o tipo de universal al que pertenecen todas las naturalezas que guardan con la esencia de sus inferiores una relacin accidental o contingente, de manera que no solamente no forman parte de ella, sino que ni siquiera se derivan de su misma estructura. Los cinco predicables (gnero, especie, diferencia, propio y accidente) son, en ltimo trmino, modos diversos de relacionarse los universales con sus inferiores singulares y concretos. b. El Juicio 1. El juicio psquico y el juicio lgico. Nuestro entendimiento, adems de la simple aprehensin necesita otra especie de operacin cognoscitiva, merced a la cual le sea posible reunir o integrar los diversos aspectos que aisladamente ha ido percibiendo en sucesivas intelecciones parciales. Esta segunda operacin intelectual es el juicio. Mediante l, lo que realmente se halla unido en la estructura misma de las cosas queda tambin intelectualmente enlazado en nuestro modo de conocerlas. La sntesis mental en la que consiste el juicio responde, as, segn la definicin aristotlica, a la unidad real que los conceptos objetivos tienen, y justamente es esta misma unidad real su ms profunda y explicativa razn de ser. Ello es comprensible en la concepcin realista del conocimiento que profesa Aristteles, para quien, la potencia intelectiva, aunque es parte del ser de un sujeto, no se limita a este, sino que se halla abierta a todo ser, a la realidad entera, de la cual se nutre y en la que fundamenta su propia actividad. Para Kant, por el contrario, el conocimiento intelectual, incapaz de llegar a lo que realmente son las cosas, se fundamenta solamente en la constitucin interna del sujeto, y de esta manera, al hacerse cargo de lo que manifiestan los sentidos (lo cual ya no es realidad misma de las cosas, sino algo en que estas han sido subjetivizadas por las formas apriorsticas del espacio y del tiempo), enlaza y sintetiza los elementos empricos segn leyes y modos de conexin que nada tienen que ver con la estructura misma de la realidad, sino que son expresivos de la pura inmanencia del sujeto. En esto consiste el esencial idealismo kantiano, cuya teora del juicio es, por tanto, diametralmente opuesta a la aristotlica. El estudio del juicio interesa a la lgica a causa de la diferencia entre el modo real y el modo mental de la unidad de las cosas. Este ltimo modo da ocasin a propiedades lgicas, pues la unidad mental de los conceptos objetivos es una relacin de razn que las cosas poseen en cuanto conocidas en la segunda operacin intelectual. Una cosa es el acto de juzgar y la otra la relacin de razn entre los conceptos objetivos. El acto de juzgar es un ente real porque es un acontecimiento determinado en la vida de un determinado sujeto. La relacin de razn entre los conceptos objetivos es, por su esencia, un ente de razn: algo que esos conceptos tienen slo por obra de una comparacin o sntesis que, por cierto, se hace en aquel acto. El acto de juzgar es el juicio, psquicamente considerado. Su realidad no es otra que la que tiene la operacin intelectual, consistente en atribuir un predicado a un sujeto. Tal operacin es algo simple. Hay, entre la simple aprehensin y la elaboracin definitiva del juicio una operacin llamada aprehensin de la predicabilidad que consiste en una comparacin por parte del entendimiento de los conceptos objetivos del predicado y del sujeto advirtiendo en ellos una cierta identidad o conveniencia. El juicio psquico (el acto de juzgar) es la ltima etapa de un proceso que se concluye de esta misma forma: juzgando. El juicio lgico, no es el mismo acto de juzgar, sino la relacin de razn que se constituye entre dos conceptos objetivos de S y P cuando el entendimiento hace el juicio. Y claro es que tampoco se identifica con la unidad real que fuera de la mente existe entre S y P. El juicio lgico es, pues, un ente de razn que se fundamenta sobre dos entes reales: el acto de juzgar (juicio psquico) y la unidad que fuera de la mente, hay entre

dos conceptos objetivos. Si fuera de la mente no existiese la real unidad de S y P, el juicio lgico que pretende explicar a su modo esa interna unidad carecera de base y sera, por tanto, una elaboracin puramente mental. El alma del juicio, considerado como actividad, es justamente el hecho de la afirmacin o negacin. El juicio adems tiene carcter de verdadero o falso; falso si el juicio lgico es solamente una pura relacin de razn sin fundamento en las cosas, o verdadero si el juicio lgico tiene fundamento en la realidad. 2. Estructura y fundamento de la relacin predicativa. Consiste el acto de juzgar en la predicacin o atribucin de un predicado a un sujeto. La relacin de razn que se establece entre el sujeto y el predicado es el juicio lgico o relacin predicativa. En la relacin predicativa, o juicio lgico, la forma es ya la atribucin misma de un elemento a otro. En toda atribucin hay algo que se atribuye (predicado) y algo (sujeto) a lo que aquel se atribuye. Predicado y sujeto son la materia de la relacin predicativa o juicio lgico. Merced a la cpula, la complexin del predicado y el sujeto da lugar al juicio lgico, cuya materia y cuya forma son, en tanto que factores de la relacin predicativa, meros entes de razn. No es la misma naturaleza de lo que hace de predicado o de sujeto lo que necesariamente constituye en el juicio un ente de razn, sino el hacer de predicado o sujeto. Por ejemplo, hombre y ser viviente son, en verdad, naturalezas reales, a las que afectan, en la mencionada relacin predicativa, las propiedades lgicas de ser, respectivamente, sujeto y predicado de la misma. c. El Raciocinio La operacin mental por la que el entendimiento humano, apoyndose en la verdad de proposiciones inmediatas proporcionadas por la simple aprehensin y el juicio psquico, infiere lgicamente proposiciones cuya verdad no es directamente percibida se llama raciocinio. El acto u operacin de discurrir, que es personal e intransferible, se denomina raciocinio psquico; lo que en el se formula se llama raciocinio lgico. El acto discursivo, propio de esta tercera operacin del entendimiento razonamiento psquico es un acto simple y carente de partes que capta la conexin entre las verdades que hacen de fundamento de una conclusin. El raciocinio lgico es algo compuesto; no es una operacin; es la estructura, puramente ideal, que en ella se formula. La materia de esta estructura son los juicios lgicos que sirven, respectivamente, de fundamento y de conclusin. La forma es el mismo enlace especial que une a los elementos materiales, en tanto que unos son el fundamento y otro es la conclusin. A la materia que hace de fundamento se le llama antecedente y a lo que de ella se concluye se llama consiguiente; consecuencia se llama a la unidad o conexin, puramente lgica existente entre aquellos. La relacin de razn en que consiste en la estructura lgica del raciocinio se constituye, pues, sobre un doble fundamento: el fundamento extramental que es la misma real identidad del antecedente y el consiguiente de esa estructura y el fundamento psquico que lo constituye la ndole racional de nuestro entendimiento, la naturaleza discursiva y dinmica de este, por cuya virtud hemos de apoyar unas verdades en otras para hacer formalmente conocido lo que slo lo era de una manera virtual e implcita. El raciocinio se divide en dos especies: - la deduccin: es el raciocinio que procede de lo universal a lo particular; Aristteles le llama silogismo un raciocinio en cuyo antecedente se establece la prueba universal del consiguiente. - la induccin: es el raciocinio que va de lo particular a lo universal; se trata pues de un raciocinio cuyo antecedente contiene de una manera ms explcita lo que en el consiguiente se formula de manera ms general.

D. La demostracin y la ciencia Como teora de la ciencia, la lgica se ocupa nicamente de las relaciones de relaciones de razn que dan lugar a ese sistema o que son necesarias para l. Requirense condiciones especiales para qua una argumentacin, adems de correcta y verdadera sea tambin cientfica. Al raciocinio cientfico se le llama demostracin. Segn Aristteles, silogismo cientfico es una demostracin, que para ser estricta y propiamente tal, tiene de tener la forma de un silogismo categrico, por ser este la prueba universal de una verdad, y es adems una demostracin de carcter cientfico, por ser ciencia su efecto. As, la demostracin es un saber etiolgico y necesario. El saber ciencia en la concepcin Aristotlica es un conocer en el que existe conocimiento de causa y en el que se percibe una relacin necesaria (no podra ser de otra manera) entre sta y su efecto. Cuanto a los tipos de demostracin podemos hablar de: - demostracin propter quid: prueba la verdad de su conclusin y porqu es verdadera, se decir, su estricta razn. - demostracin quia: prueba que algo es o que es verdadero, sin asignar sin asignar razn propia de que los sea. - demostracin a simultneo: prueba una cosa por otra que no es realmente causa ni efecto de ella, sino algo correlativo a su verdad y que tiene con esta una implicacin mutua. Si esta demostracin se hace de manera negativa patentizando una verdad manifestando la falsedad de la que ese opone se llama reduccin al absurdo. Considerada objetivamente, toda ciencia es un sistema o composicin de verdades cientficas. Mientras que el acto y el hbito cientficos son algo simple, tenido por el sujeto, el sistema es el mismo conjunto o repertorio de las verdades demostrativamente adquiridas. Este conjunto es un puro ente de razn. Aunque las mismas verdades que en l se ordenan sean concernientes a un ente real, la ordenacin y la articulacin de ellas es un tejido de relaciones de razn, una estructura puramente lgica. En la realidad extramental, lo que la ciencia estudia tiene una unidad que fundamenta a la que posee el sistema. Esta unidad, sin embargo, no es idntica a aquella. Las cosas conocidas se revisten, en tanto que conocidas, de propiedades puramente lgicas, que no poseen de suyo. Y el sistema cientfico, elaborado por la razn, no es la unidad real, extramental, que su objeto posee, sino un trasunto lgico de ellas, condicionado, pues, por esas propiedades irreales. El sistema, despliega de una manera lgica, lo que en la cosa es un unidad real. E. Del Organon Aristotlico a la lgica positiva y matemtica Con su Organon Aristteles inaugura en Occidente un conjunto de investigaciones lgicas llevadas a cabo con plena madurez. Por un lado Aristteles concibe la lgica como rgano, como prolegmeno de toda investigacin cientfica, filosfica o simplemente perteneciente al lenguaje ordinario; por eso la lgica no es parte de la filosofa. Por otro concibe la lgica como anlisis de los principios segn los cuales se halla articulada la realidad. Tanto la lgica aristotlica como la escolstica son lgicas metafsicas porque hay en ellas, explcita o implcitamente, una ontologa subyacente. Frente a estas lgicas metafsicas est la lgica matemtica que es la ciencia positiva del razonamiento, a la cual no interesa la aclaracin esencial de lo que este sea, ni la ordenacin del razonamiento al ser, sino tan slo el clculo positivo de su validez, independientemente de todo supuesto ontolgico17.

17

Fundamentos de Filosofa, Antonio Milln Puelles, Ediciones Rialp S.A., Madrid 2000, p. 88

 Bibliografa: Diccionario de Filosofa, Jos Ferrater Mora, Alianza Editorial, Madrid 1979. Lgica y Filosofa, Jan Wolenski Pablo Domnguez, Publicaciones de la Facultad de Teologa San Dmaso 2005. Introduccin General y Lgica (Curso de Filosofa Tomista), Roger Vernaux, Editorial Herder, Barcelona 1989. Fundamentos de Filosofa, Antonio Milln Puelles, Ediciones Rialp S.A., Madrid 2000. Lgica, Juan Jos Sanguineti, Eunsa, Pamplona 2000