introduccion a la logica

download introduccion a la logica

of 4

description

conceptos elementales de lógica, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

Transcript of introduccion a la logica

1.1. Lgica: los conceptosLa lgica aristotlicaAristteles ha pasado a la historia, entre otros 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 las 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.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.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 conceptosEl 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

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 sla 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.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.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, unvocos, equvocos y anlogos. 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 en funcin de los distintos tipos de analoga establecidos.