-
400 BCE
Antigua Grecia - Aristóteles de Estagira
Se considera como el fundador de la lógica, la cual denominó como "ciencia que estudia los razonamientos correctos" Creo el Organon, el cual es un instrumento para argumentar. También utilizó el silogismo, el cual es una manera de razonamiento deductivo, que consta de dos premisas y una conclusión -
Period: 384 BCE to 476
Edad Antigua
El comienzo de la lógica. -
351 BCE
La lógica aristotélica
constituyen la primera investigación sistemática acerca de los principios del razonamiento válido o correcto. Era una herramienta necesaria para adentrarse en el mundo de la filosofía y la ciencia. Ademas de que se utiliza en la teoría de la argumentación para ayudar a desarrollar y cuestionar críticamente los esquemas de argumentación -
300 BCE
Teofrasto y Eudemo
Aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones, los Megariacos plantean el significado de las proposiciones “Si - entonces” y los Estoicos desarrollan la lógica Verdadero – Falso de las proposiciones. -
235 BCE
Crisipo de Soli
Desplazo el centro de interés a los enunciados complejos. Las cuales tenían un modo de combinar la verdad con las partes de la verdad.
Crisipo también la relación entre el antecedente y el consecuente de las proposiciones condicionales: "Si p entonces q" -
Period: 476 to 1492
Edad Media
La Lógica Medieval. -
510
Boecio y Porfirio
Boecio con el propósito de unificar ambas escuelas filosóficas, se propuso traducir al latín las obras de Aristóteles y de Platón, pero no concluyó su proyecto.
Porfirio En su obra Introductio in Praedicamenta, Porfirio describe cómo las cualidades atribuidas a las cosas pueden ser clasificadas, rompiendo con el concepto filosófico de substancia como una relación de género/especie. Incorporando la lógica aristotélica al neoplatonismo. -
515
Pedro Hispano y Juan Buridan
Los estudios estuvieron dirigidos al Organon, destacando Pedro Hispano y Juan Buridan estableciendo que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”. -
529
Árabes en la el estudio de la lógica
Al-Farabi, Avicena y Averroes, pues fueron los árabes quienes re introdujeron los escritos de Aristóteles en Europa.
En la Baja Edad Media el estudio de la lógica era requisito para entrar en cualquier universidad. -
550
La Lógica Medieval
Se basa en el trabajo de Aristóteles, la estudiaron los sacerdotes y utilizado en los conventos, escuelas y universidades de la Europa Occidental. Y mantiene la condición de ciencia propedéutica.
La lógica medieval tuvo su auge en el siglo XIV, en la cual combinaban los conocimientos de los sistemas peripatéticos y estoicos. Y se basaron también en el concepto de Crisipo. -
Period: 1492 to
Edad Moderna
El inicio de la Lógica Matemática -
Period: to
Edad Contemporánea
El nivel de abstracción que alcanza la lógica matemática -
Lógica Matemática
El precursor de esta lógica es Guillermo G. Leibniz quien introdujo el cálculo lógico llamado “Mathesis Universalis. 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. -
Lógica Proposicional
Es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad -
Teoría de clases
Analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad. Sobre esta lógica se formaliza como modelo científico la teoría matemática de conjuntos. -
Lógica Moderna
También es conocida como la lógica matemática. Se basa en la aplicación de símbolos por medio de tablas que permiten ver lo verdadero y lo falso. Sus principales filósofos fueron, George Boole, August De Morgan y Gottlob Frege -
Bertrand Russell
Propone que las matemáticas puedan reducirse a una rama de la lógica generando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones. -
Giusseppe Peano
Da a la lógica el nombre de lógica matemática creando un lenguaje simbólico para las demostraciones matemáticas propuso el uso de los puntos auxiliares y un modo de simbolizar los cuantificadores. -
Lógica Clásica
Es aquella que se desarrolla desde Aristóteles hasta las aportaciones de Alfred Tarski, hacia mediados de los años 30 del siglo XX. Son lógicas bivalentes, esto es, solo operan con dos valores de verdad: verdadero y falso. Nace con Aristóteles, con su teoría del silogismo categórico -
Lógica de Enunciados
Es el nivel más básico de análisis lógico. Se analizan las relaciones que se dan entre los enunciados o las proposiciones.Descompone la proposición en sus dos componentes básicas (sujeto y predicado). -
Equipo 2
Meza Suarez Sandra
Garzón Valencia Erick Francisco
Parra Díaz Daira Trinidad
Noguerón Ortega Daniela
Diego Angulo Montiel
