Filosofia

La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un tratamiento sustancial solooriginalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente del Organon aristotélico, cuyos logros seríandesarrollados por los lógicos islámicos y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el siglo XVIII influyó también en la lógica moderna.
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), quesignifica «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los quedicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.
En elsiglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.[1] Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.
Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,[2] mantuvo siempre una relación con los argumentos dellenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.[3]
Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su relación con el lenguaje,[4] tal relación se trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado laslimitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.[5]
La Lógica se divide en dos grandes partes:

1. Lógica Mayor o Material, la cual enfocaba los grandes problemas concernientes a la verdad de los conocimientos.

2. La Lógica Menor o Formal, abocada a los problemas concernientes a la sistematización de los conocimientos.
Estadistinción entre lógica material y lógica formal es análoga a la distinción que se puede hacer entre los materiales con los que está construido un puente, por un lado, y la estructura o disposición de dichos materiales, por otro. Si esta estructura o disposición de los materiales es defectuosa, el puente se vendrá abajo, por buenos que sean los materiales. Por otra parte, aunque la estructura diseñadapor los ingenieros sea impecable, si los mateiales empleados son de mala calidad tarde o temprano el puente también se vendrá abajo.
La lógica material se preocupa del contenido de la argumentación. Trata de dirimir la verdad de los términos y proposiciones de un argumento.
La lógica menor a su vez se divide en:
a) La teoría o ciencia del razonamiento, y
b) La metodología o ciencia de los...