-
475 BCE
Pitagóras
Fue un filósofo, matemático y creador de la fraternidad pitagórica que aunque estaba ligada con el culto a la fe, propuso tesis que ayudaron con la formación de los ideales de Platón y Aristoteles y ayudaron a la evolución de las ciencias exactas y la filosofía occidental. -
399 BCE
Socrátes
Fue un filosofo clásico griego considerado como uno de los mas grandes, fue maestro de Platón quien tuvo a Aristoteles como discípulo, siendo estos tres los representantes fundamentales de la filosofía de la Antigua Grecia -
Period: 384 BCE to
Lógica clásica
Es un sistema formal que respeta los siguientes principios:
-Principio del tercer excluido
-Principio de no contradicción
-Principio de no explosión
-Monotonicidad de la implicación -
350 BCE
Sílogismo
Es una forma de razonamiento deductivo e inductivo el cual hace origen griego que consta de dos proporciones como la premisa y otra como conclusión siendo la última una inferencia necesariamente deductiva de las otras dos. -
347 BCE
Platón
Fue un filosofo griego seguidor de Sócrates y mas tarde maestro de Aristoteles.
En el 387 a.c fundo la academia institución que continuaría su marcha a lo largo de mas de novecientos años -
322
Aristoteles
Es considerado creador de la logica, sistematizó la lógica formal codificando las formas de argumentación correcta que es de donde radica la naturaleza de la lógica como ciencia. -
Period: to
Lógica Moderna
A mediados del siglo XIX los matemáticos británicos George Bool y Augustus de Morgan abrieron el campo de la nueva lógica que luego fue desarrollada por el matemático alemán Gottob Frege esta lógica se basa en la aplicación de símbolos por medio de tablas de verdad que nos permiten ver lo verdadero o falso que son las versiones de una acción. -
Tipos de lógica
-Lógica Formal o aristotélica
-Lógica material o mayor
-Lógica informal
-Lógica matemática
-Lógica natural
-Lógica cientifica -
Integrantes del equipo
Zamorano Cabrera Francisco
Gonzales Uribe Cristian
Caudillo Borja Héctor
