Introducción
Lógica, disciplina y rama de la filosofía que estudia los principios formales del conocimiento humano. Su principal análisis se centra en la validez de los razonamientos y argumentos, por lo que se esfuerza por determinar las condiciones que justifican que el individuo, a partir de proposiciones dadas, llamadas premisas, alcance una conclusión derivada de aquéllas.
La validez lógica depende de la adecuada relación entre las premisas y la conclusión, de tal forma que si las premisas son verdaderas la conclusión también lo será. Por ello, la lógica se encarga de analizar la estructura y el valor de verdad de las proposiciones, y su clasificación. La validez de una proposición se tomará de la veracidad de la conclusión. Si una de las premisas, o más, es falsa, la conclusión de una proposición válida será falsa.
Por ejemplo: “Todos los mamíferos son animales de cuatro patas, todos los hombres son mamíferos, por lo tanto, todos los hombres son animales de cuatro patas” es una proposición válida que conduce a una conclusión falsa. Por otro lado, una proposición nula puede, por casualidad, llegar a una conclusión verdadera: “Algunos animales tienen dos patas; todos los hombres son animales, por lo tanto todos los hombres tienen dos patas” representa una conclusión verdadera, pero la proposición no lo es.
Por lo tanto, la validez lógica depende de la forma que adopta la argumentación, no su contenido. Si la argumentación fuera válida, cualquier otro término podría sustituir a cualquiera de los casos utilizados y la validez no se vería afectada. Al sustituir “cuatro patas” por “dos patas” se comprueba que ambas premisas pueden ser verdaderas y la conclusión falsa. Por lo tanto, la proposición no es correcta aunque posea una conclusión verdadera
Lógica formal
La lógica formal también llamada lógica pura – que es la lógica propiamente dicha – es precisamente la “ciencia” (en cuanto conocimiento) que determina cuáles son las formas correctas y válidas de los raciocinios; pero lo hace considerándolos en sí mismos y con prescindencia de los contenidos concretos de los razonamientos, es decir, considerando esos contenidos como entes lógicos abstractos, de tal manera que las leyes a aplicar tengan validez para cualquier contenido concreto.
El raciocinio
El raciocinio puede definirse como un proceso del pensamiento (por tanto, exclusivamente humano) que a partir de ciertos conocimientos establecidos (llamados premisas), conduce a adquirir un conocimiento nuevo (contenido en la conclusión) sin que para ello haya que recurrir a nuevas constataciones u observaciones sensibles distintas o adicionales a las ya contenidas en las premisas.
Por lo tanto, la verdad a que conduce la lógica formal, es una verdad formal; que será verdad en tanto sea verdad el contenido de las premisas, e indicará solamente que existe una congruencia de ese raciocinio, consigo mismo. Si en un razonamiento existe falsedad en las premisas y la conclusión asimismo es falsa; de todos modos el razonamiento será correcto o válido como razonamiento.
Lógica material
La lógica material también llamada lógica aplicada, es aquella en que un proceso de raciocinio o de pensamiento se analiza en consideración al contenido real de sus premisas, y por lo tanto debe conducir a una verdad material, una conclusión que sea concordante con la realidad.
Mientras que las premisas (o predicados) que toma en consideración la lógica pura constituyen entidades abstractas y absolutamente precisas, respecto de las cuales no es requerido que exista ningún objeto de la realidad que los verifique; es difícil encontrar en la realidad conceptos de origen empírico-sensible que presenten exactamente las características de los objetos lógicos.
Aparte de ello, respecto de todo concepto de origen empírico, no solamente es posible concebir sino que también se encuentran en la realidad experimental, objetos respecto de los cuales no es posible afirmar de manera absolutamente cierta que coinciden o que no coinciden con esos conceptos.
Por lo tanto, respecto de proposiciones lógicas que utilicen esos conceptos, las leyes de la lógica formal solamente serán aplicables con especial precaución. De tal manera, las leyes de la lógica formal solamente resultarán aplicables con alcance estricto en el campo de las ciencias puramente exactas y abstractas, tales como las matemáticas, la propia lógica, la mecánica, y aquellas disciplinas exclusivamente normativas y abstractas tales como la interpretación jurídica.