LOGICA

LOGICA

Es la ciencia del pensamiento y la razón.                                                                             

El estudio de la lógica es el estudio de los métodos y principios usados al distinguir entre los argumentos correctos y los argumentos incorrectos.

HISTORIA

El nacimiento de la lógica está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla.

Edad Antigua:

Podemos tomar en cuenta tres civilizaciones, China, India y Grecia, sin embargo en estas dos primeras el estudio de la lógica no duro mucho, puesto que en China fue eliminado por la Dinastía Qin y en India por la escuela Asharite. Por eso se considera que la lógica moderna proviene de la civilización griega, donde encontramos a Aristóteles conocido como el padre de la lógica, puesto que fue el primero en formalizar los razonamientos(El lenguaje formalizado es un lenguaje sometido a unas reglas fijas de formación de expresiones y significados)utilizando letras para representar términos, se refirió a cuestiones tales como concepto, la proposición, definición, prueba y falacia; desarrollo el silogismo. La lógica de Aristóteles, o lógica formal, se apoyaba en tres principios simples: el principio de identidad (A = A), el principio de exclusión (no-A no es igual a A) y el principio de contradicción (un mismo concepto no puede ser definido simultáneamente como A y como no-A). Por otro lado, la lógica informal fue cultivada por la retórica, la oratoria y la filosofía. Estos estudios se centraron en la identificación de falacias y paradojas, así como en la construcción correcta de los discursos.

Edad Media

En la baja Edad Media nos encontramos con Al-Farabí, Avicena y Averroes, quienes fueron los árabes que reintrodujeron los escritos de Aristóteles en Europa. El estudio de la lógica era un requisito para entrar a cualquier universidad. La lógica en esta época no sufrió un mayor cambio.

Edad Moderna

Aquí encontramos figuras como Descartes y Leibniz, quienes estaban en búsqueda de un lenguaje universal. Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o «Característica Universal», es el antecedente inmediato del desarrollo de la lógica a partir del siglo XX.

Siglo XIX

Se empieza a desarrollar la lógica en relación con las matemáticas, donde se destaco George Boole y Gottlob Frege, quien desarrolla la idea de un lenguaje formal y define la noción de prueba. Estas ideas constituyeron una base teórica fundamental para el desarrollo de las computadoras y las ciencias de la computación, entre otras cosas.