-
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.
-
Se considera a Aristóteles como el fundador de la lógica.
https://www.youtube.com/watch?v=tl_wRb3m6ME -
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.
-
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.
-
En su obra Sofista trató también las afirmaciones y las negaciones, introduce a la noción del método axiómatico.
-
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. -
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 -
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.
-
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 -
Principales personajes:
WILLIAM ROWAN HAMILTON (1805 - 1865)
GEORGE BOOLE (1834 - 1923)
JOHN VENN (1834 - 1923)
https://www.youtube.com/watch?v=_937hJVUd4g -
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.
-
-Lógicas clásicas
-Lógicas no clásicas
-Lógicas modales
-Lógica informal
-Metalógica -
-Neri Peréz Edgar Sebastián
-Velázquez Hernández Carolina Candy
-Piedragil Román Dannelly Yumibe
-Martha Campos Keely Abril
-Aguirre Amador Angel
