-
475 BCE
Pitágoras
Fue el primero en estudiar las oraciones, en el plano sintáctico y semántico del lenguaje. La importancia de este personaje se debe principalmente a sus aportaciones en campos como la matemática. -
350 BCE
Origen de la lógica
Se considera a Aristóteles como el fundador de la lógica.
https://www.youtube.com/watch?v=tl_wRb3m6ME -
350 BCE
Definición de la lógica
Aristóteles la definió como "ciencia que estudia los razonamientos correctos" por lo que la entendía como un instrumento al servicio de las demás ciencias ya que la ciencia debe constituirse mediante razonamientos correctos. -
350 BCE
El Silogismo
El silogismo para Aristóteles era un tipo de razonamiento muy útil para la ciencia, consta de dos premisas: mayor y menor, y una conclusión. -
347 BCE
Platón
En su obra Sofista trató también las afirmaciones y las negaciones, introduce a la noción del método axiómatico. -
Period: 476 to 1492
Edad Media
Los estudios de los lógicos profesionales estuvieron dirigidos al comentario del Organon destacando PEDRO HISPANO Y JUAN BURIDAN.
GOTTFRIED LEIBNIZ (1646 - 1716) sugirió tratar los enunciados como las ecuaciones en el álgebra. -
1400
Lógica medieval
Se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivada en los conventos, escuelas y universidades de Europa occidental.
https://www.youtube.com/watch?v=2aePANVYnJg -
Period: 1453 to
Edad Moderna
La época moderna marca el inicio de la lógica matemática, el precursor esta lógica es GOTTFRIED WILHELM (1646-1716) y LEONHARD PAUL EULER (1707-1783) introdujo los diagramas para ilustrar geométricamente los silogismos. -
Lógica moderna
Asume como tarea un propósito de carácter más general: el estudio de las formas válidas de demostración o inferencia, es decir, la manera en que ciertas verdades son demostradas a partir de otras previas.
https://www.youtube.com/watch?v=EtuAYjvl074 -
Period: to
Edad Contemporánea
Principales personajes:
WILLIAM ROWAN HAMILTON (1805 - 1865)
GEORGE BOOLE (1834 - 1923)
JOHN VENN (1834 - 1923)
https://www.youtube.com/watch?v=_937hJVUd4g -
Lógica matemática
Se ha formado como resultado de aplicar los métodos formales de la matemática basados en el empleo de un lenguaje especial de símbolos y fórmulas. En la lógica matemática, el pensamiento lógico de contenido se estudia representándolo por medio de sistemas lógicos formales o cálculos. -
Tipos de lógica en la actualidad
-Lógicas clásicas
-Lógicas no clásicas
-Lógicas modales
-Lógica informal
-Metalógica -
INTEGRANTES DEL EQUIPO
-Neri Peréz Edgar Sebastián
-Velázquez Hernández Carolina Candy
-Piedragil Román Dannelly Yumibe
-Martha Campos Keely Abril
-Aguirre Amador Angel
