FILOSOFIA







LALÓGICA.
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es porsu estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.
La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógicamatemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvo siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas. Hoy esa relación setrata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.
El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado.3 De este modo la forma argumentativa respondeal principio de conocimiento que supone que representa adecuadamente la realidad.4 Por ello, sin perder su condición de formalidad, no son formalistas y no acaban de desprenderse de las estructuras propias del lenguaje.
Con el nombre de Dialéctica, en la Edad Media, la Lógica mantiene la condición de ciencia propedéutica. Así se estudia en la estructura de las enseñanzas del Trívium como una delas artes liberales.
En la Edad Moderna la lógica tradicional aristotélica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lógica como ciencia.

Lógica
La lógica es el estudio de los principios de la inferencia válida. Una inferencia es un proceso o acto en el que a partir de laevidencia provista por un grupo de premisas, se afirma una conclusión. Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción. La validez o no de las inducciones es asunto de la lógica inductiva y del problema de la inducción. Las deducciones, en cambio, son estudiadas porla mayor parte de la lógica contemporánea. En un argumento deductivamente válido, la conclusión es una consecuencia lógica de las premisas. El concepto de consecuencia lógica es, por lo tanto, un concepto central a la lógica. Para estudiarlo, la lógica construye sistemas formales que capturan los factores relevantes de las deducciones como aparecen en el lenguaje natural. Para entender esto,considérese la siguiente deducción:
1. Está lloviendo y es de día.
2. Por lo tanto, está lloviendo.
La obvia validez de este argumento no se debe al significado de las expresiones «está lloviendo» y «es de día», porque éstas podrían cambiarse por otras y el argumento permanecer válida. Por ejemplo:
1. Está nevando y hace frío.
2. Por lo tanto, está nevando.
En cambio, la clave de la validez delargumento reside en la expresión «y». Si esta expresión se cambia por otra, entonces el argumento puede dejar de ser válido:
1. Está nevando o hace frío.
2. Por lo tanto, está nevando.
Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas, y la lógica las estudia mediante sistemas formales. Dentro de cada sistema formal, la relación de consecuencia lógica...