-
300 BCE
Aristóteles de Estagira
Aristóteles fue el fundador de la lógica,(siglo IV a. C.) definió la lógica como "ciencia que estudia los razonamientos correctos", por lo que la entendía como un instrumento al servicio de las demás ciencias. Cualquier ciencia debe construirse con razonamientos correctos, por lo que la lógica será de gran utilidad al establecer las formas correctas de razonamientos (se le considera como una ciencia formal, pues no se interesa por el contenido de los razonamientos, sino por su forma). -
300 BCE
Edad Antigua
Aristóteles: creador de la lógica.
Protágoras: fue el primero en estudiar las oraciones.
Platón: en su obra sofista trató las afirmaciones y negaciones.
Teofrasto y Eudemo aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones.
Estoicos(miembros de la escuela filosófica de Zenón de Citio): desarrollan la lógica Verdadero – Falso de las proposiciones. -
300 BCE
Las Oraciones
Aristóteles fue de los primeros en estudiar las oraciones, aunque el primero en hacerlo fue Protágoras.
La lógica tiene que ver con las leyes que ordenan nuestro pensamiento y con la forma de expresarlo en el lenguaje. -
300 BCE
Organon
Los escritos lógicos de Aristóteles están contenidos en su libro Organon que significa “instrumento” para pensar correctamente (propedéutica o metodología), este libro contiene los cinco tratados siguientes: las categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las refutaciones sofísticas. Los analíticos es el tratado que contiene la naturaleza de la lógica y el Silogismo que trata del razonamiento lógico aristotélico usando proposiciones categóricas. -
300 BCE
La Lógica de Aristóteles
Aristóteles aporta a la lógica la introducción del uso de variables, las proposiciones por su cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la Lógica y el desarrollo silogístico. -
300 BCE
Lógica Silogística
Para Aristóteles existía un tipo de razonamiento especialmente útil para la ciencia: el silogismo. Un silogismo es un razonamiento de tipo deductivo que consta de dos premisas y una conclusión (que se deduce necesariamente de las premisas). A continuación tienes un ejemplo de silogismo:- (Primera premisa) Ningún idioma muerto se habla en la actualidad.
- (Segunda premisa) El español se habla en la actualidad.
- (Conclusión) El español no es un idioma muerto.
-
200 BCE
Los Megáricos
los Megáricos eran los miembro de una escuela filosófica griega fundada por Euclides, ellos plantean el significado de las proposiciones “Si - entonces” -
1100
Edad Media
El filósofo medieval Pedro Abelardo destacó por su gran dominio de la silogística y sus estudios sobre el significado de los términos. Pero la lógica de Abelardo así como la de los demás pensadores medievales en general, no va más allá de la de Aristóteles. Estudiaron en profundidad al pensador griego, al que consideraron como un maestro, asumiendo que su lógica era una obra terminada a la que no se podía añadir nada nuevo. -
Edad Moderna
La época moderna marca el inicio de la Lógica Matemática. El precursor es Guillermo G. Leibniz quien introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. también desarrolló el cálculo de la Lógica Proposicional.Euler es otro precursor de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos. -
Lógica Matemática
La lógica matemática se constituye como un cálculo o sistema formal axiomático: un lenguaje artificial constituido por signos y reglas, que permite "calcular", demostrar ciertas verdades a partir de otras ya establecidas a través de una serie de pasos (las operaciones del cálculo). -
Lógica Moderna
-
Frege
La lógica moderna (desde el siglo XIX hasta la actualidad), sin embargo, asume como tarea un propósito de carácter más general: el estudio de las formas validas de demostración o inferencia, es decir, la manera en que ciertas verdades son demostradas a partir de otras previas (sea de forma inductiva o deductiva). -
Lógica de Frege
-
Edad Contemporánea
Se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Hamilton sobre la cuantificación de todo o alguno. Augusto de Morgan considera que la base, común de la lógica radica en las relaciones de inclusión o exclusión parcial o total entre clases; George Boole construye la Teoría de Clases. Venn aclara los procedimiento de Boole representando los procesos algebraicas en los diagramas de Venn. -
Edad Contemporánea: Lógica Matemática
Es precisamente al plantearse la lógica como un cálculo o sistema formal axiomático cuando se pusieron las bases de los actuales computadores u ordenadores. Un cálculo consiste en una serie de operaciones —o pasos— ordenadas, definidas y finitas, que permiten solucionar un problema, demostrar una verdad o extraer consecuencias a partir de unos datos previamente conocidos. -
Lógica Simbólica
Comienza una estrecha relación entre la lógica y las matemáticas. La lógica se utilizará para estudiar la válidez de las deducciones matemáticas y será sometida a un proceso de formalización simbólica. Esto quiere decir que para realizar los análisis lógicos se empleará un lenguaje simbólico similar al de las matemáticas.
