-
Period: 4000 BCE to 476
Edad antigua
La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la Edad Antigua: China, India y Grecia, entre el siglo V y el siglo I a. C.Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias. En el periodo romano la lógica tuvo poco desarrollo, más bien se hicieron sumarios y comentarios a las obras recibidas.En el período bizantino, Filopón. -
Period: 476 BCE to 1492
Edad Media
La lógica Medieval se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivado mayormente en los conventos , escuelas y universidades de Europa Occidental. -
427 BCE
Platon
intenta instaurar en Siracusa una utópica república dirigida por filósofos, y crea la Academia en Atenas, que no era solouna institución filosófica, sino servía de formación política a los jóvenes de la aristocracia. Según muchos críticos, Platón edifica su teoría del conocimiento para justificar el poder preeminente del filósofo y parte de los pensamientos socráticos: la búsqueda de conceptos y definiciones estables de las ideas abstractas -
384 BCE
Aristoteles
Se le considera como fundador de la lógica. Aristoteles definió la lógica como "ciencia que estudia el razonamiento correcto" lo que se entendía que era una herramienta para las demás ciencias. Para Aristoteles existía un tipo de lógica especialmente para la ciencias era el silogismo -
371 BCE
Teofrasto
aporto los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones los Megariacos plantean el significado de las proposiciones “Si - entonces” los Estoicos desarrolla la lógica Verdadero – Falso de las proposiciones. -
280 BCE
Crisipo de Soli
Desplazo el interés de la lógica de los enunciados simples con sujeto y predicado s los enunciando complejos -
1215
Petrus Hispanus
establecio que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”. -
Period: 1453 to
Edad Moderna
Esta epoca Marca el inicio de la Lógica Matemática. El precursor de esta logica es Guillermo G.Leibinz quien introdujo el cual logico llamado "Mathesis Universalis" -
Rene Descartes
El punto de partida de este filosofo y matemático francés es la duda universal que consiste presidir de cualquier conocimiento previo que no queda confirmado con que a de manifestar el espíritu. Descartes dudó de toda enseñanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional. Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto (pienso, luego existo). -
Gottfried Leibniz
Sugirió tratar todos los enunciados como las ecuaciones algebraicas, que se usa el signo de igualdad para decir que las dos partes tiene el mismo valor numérico -
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. -
GEORG F. CANTOR
Al matemático alemán Georg F. Cantor se debe la idea del ''infinito continuo'', es decir, la posibilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera el creador de la teoría de los números irracionales y de los conjuntos. -
Giussepe 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. -
Bertrand Rusell
es uno de uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea.Por influencia de los trabajos de Cantor descubrió en la teoría de conjuntos varias paradojas que resolvió mediante la teoría de los tipos; años más tarde establecería una teoría similar, la de la jerarquía de los lenguajes, para eliminar las paradojas semánticas -
Gottlob Frege
En una publicación de Begriffsschrist, donde Gottlob Frege introduce introduce un calculo profesional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas -
Kurt GÖdel
tuvo múltiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica. En ''Sobre las proposiciones indecibles de los sistemas de matemática formal'' establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decibles dentro del sistema -
logica
En palabras de algunos expertos cmo Copi y Cohen que la lógica científica "es ele estudio de los principios y métodos utilizados para distinguir el argumento correcto de lo incorrecto
