-
Period: 5000 BCE to 476
EDAD ANTIGUA
En el plano sintáctico y semántico del lenguaje Protágoras fue el primero en estudiar las oraciones, Platón en su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático que más tarde fue completado por Aristóteles cuyo mérito radica el haber sistematizado la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia. -
500 BCE
LA MATEMATICAS Y LA LOGICA
Del año 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las matematicas. Este periodo clasico lo protagonizan Platon, Aristoteles y Euclides. Platon propone ideas o abstracciones. Aristoteles resuelve el razonamiento deductivo y sistematizado.
Euclides es el autor que establece el metodo axiomatico. En los Elementos Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa, altamente eficaz. -
385 BCE
PLATON 427aC - 347 aC
Platon edifica su teoria del conocimiento con el fin de justificar el poder emergente de la figura del filosofo.
Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo fisico de los objetos. Segun Platon, lo concreto se percibe en funcion de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platon escoge el formato dialogo como forma de transmision del pensamiento. -
352 BCE
ARISTOTELES 384 aC - 332 aC
Representan el primer intento serio que funda la logica como ciencia. Aristoteles no hace de la logica una disciplina metafisica sino que establece correspondencias reciprocas entre pensamiento logico y estructura ontologica. Consideraba que el hombre es el único animal que tiene logos, “sólo el hombre posee, entre los animales, la palabra”
Logos= palaba,razon,lenguaje y pensamiento -
Period: 476 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. Los estudios de los lógicos profesionales estuvo dirigido al comentario del Organon destacando Pedro Hispano y Juan Buridan estableciendo que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”. -
Period: 1453 to
EDAD MODERNA
Marca el inicio de la Lógica Matemática. El precursor de esta lógica es Guillermo G. Leibniz quien introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. también desarrolló el cálculo de la Lógica Proposicional. Euler es otro de los precursores de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos. -
1500
1500 dC al 1800 dC.
Ante el retroceso de la escuela clasica de los griegos se presentan periodos de autoridad religiosa.
El Renacimiento es el inicio de una nueva revolucion que revive la ciencia y las matematicas. Los representantes mas destacados son Descartes, Newton y Leibniz. -
Period: to
EDAD CONTEMPORÁNEA
Históricamente, Descartes puede que haya sido el primer filósofo en haber tenido la idea de usar el álgebra, especialmente sus técnicas para resolver cantidades desconocidas en las ecuaciones, como vehículo para la exploración científica. La idea de un cálculo de razonamiento fue también cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada. -
FRIEDRICH G. FREGE 1848-1925
Partiendo del analisis de los fundamentos de la matematica lleva a cabo la mas profunda renovacion y desarrollo de la logica clasica hasta el momento.
Es el primero en introducir los cuantificadores u operadores y en elaborar una Teoria de la Cuantificacion.
