-
300
DESARROLLO DE LA LOGICA
Del año 600 aC hasta el 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 establece el metodo axiomatico. En los elementos Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistematica, rigurosa y altamente eficaz. -
350
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 historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C. que dura desde el 3500 a.C. hasta el 476 d.C. -
384
ARISTOTELES
La principal aportación de Aristóteles fue la silogística, el estudio del procedimiento de raciocinio por medio del silogismo, en que de dos premisas se deduce una conclusión; también llamada lógica de las proposiciones o lógica “clásica”. -
384
LOGICA ANTIGUA
obra de Aristóteles, los megáricos y los estoicos -
400
LA LOGICA
Es la ciencia de las leyes del pensamiento, estudia la relacion que tiene el pensamiento con la verdad.
Viene del griego antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio».
La lógica emerge en las tres sociedades hacia el siglo IV a. C -
400
EUCLIDES
Matemático alejandrino autor de la universal obra, los célebres Elementos. Uno de los textos matemáticos más relevantes de la historia del pensamiento científico hasta del siglo XIX.
Su concentración en la lógica proposicional es la que quizás esté más próxima a la lógica moderna. -
427
PLATON
Utilizó el mito como medio para expresar su pensamiento, en especial en lo que se relaciona con la explicación acerca de que el ser de las cosas se encuentra en las ideas, las cuales no pueden ser accesibles directamente a nuestro conocimiento -
470
SOCRATES
Se dedicó a la filosofía buscando el conocimiento de sí mismo y la práctica de la virtud. Su austeridad de vida y su forma de enseñar fue una clara denuncia para sus conciudadanos. Se le debe la introducción de los razonamientos inductivos y la definición universal, ambos elementos, básicos de todo principio de ciencia. -
1126
AVERROES
uno de los principales pensadores árabes en rescatar la lógica aristotélica y reintroducirla en el mundo Occidental. -
1453
EDAD MODERNA
En esta epoca no hubo cambios radicales en el concepto de logica como ciencia. Los filósofos racionalistas, aportaron a través del desarrollo del análisis y su desarrollo en las matemáticas (Descartes, Pascal y Leibniz)
Son de especial importancia la idea de Descartes de una Mathesis universalis11 y de Leibniz en la búsqueda de un lenguaje universal, especificado con precisión matemática, lo que haría posible un cálculo o computación mediante algoritmo en el descubrimiento de la verdad -
1492
EDAD MEDIA
Esta se divide en Alta edad media y Baja Edad Media. La alta edad media va de los siglos V al XIII. La logica Arabe ademas de comentar a Aristoteles desarrollan su propia concepcion de la logica, estaba muy arraigadas a razones metafisicas y de la filosofia, consideraron el silogismo como una forma de argumentacion a la que todas las demas podian ser reducidas siempre que fueran racionales, la logica giraria en torno a esta forma de argumento -
1492
AVANCES
Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o «Característica Universal», es el antecedente inmediato del desarrollo de la lógica a partir del siglo XX. -
RENE DESCARTES
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. -
PASCAL
Sus contribuciones a la matemática y a la historia natural incluyen el diseño y construcción de calculadoras mecánicas, aportes a la teoría de la probabilidad, investigaciones sobre los fluidos y la aclaración de conceptos tales como la presión y el vacío -
GOTTFRIED LEIBNIZ
Leibniz fue el primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada -
GEORGE BOOLE
La idea de Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemáticas como la suma y la multiplicación. -
AUGUSTUS DE MORGAN
introduce las leyes de De Morgan e intenta generalizar la noción de silogismo, Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación. -
EDAD CONTEMPORANEA
Gottlob Frege en su Begriffsschrift (1879) incluyó constructores como "todo" y "algunos". Mostró cómo introducir variables y cuantificadores para revelar la estructura lógica de las oraciones, que podría estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notación dimensional de Frege hizo que su obra fuese ignorada durante muchos años. -
LOGICA DE SEGUNDO ORDEN
Charles Peirce introdujo la Lógica de segundo orden proporcionando la mayor parte de la moderna notación lógica, incluyendo símbolos prefijados para la cuantificación universal y existencial. Los lógicos de finales del siglo XIX y de comienzos del XX estuvieron más familiarizados con el sistema lógico de Peirce-Schröder. En 1889, Giuseppe Peano publicó la 1era versión de la axiomatización lógica de la aritmética.Uno de estos axiomas fue la formalización del principio de la inducción matemática. -
SIGLO XIX
A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente. En 1847, George Boole publicó un breve tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemáticas como la suma y la multiplicación. -
REVOLUCION DE LA LOGICA
Gottlob Frege considerado como el lógico más importante de la historia; En su trabajo de 1879, la Conceptografía, Frege ofrece por primera vez un sistema completo de lógica de predicados, desarrolla la idea de un lenguaje formal y define la noción de prueba. Estas ideas constituyeron una base teórica fundamental para el desarrollo de las computadoras y las ciencias de la computación. En 1903, Frege publica Las leyes de la aritmética donde intenta deducir toda la matemática a partir de la lógica -
SIGLO XX
El siglo XX sería uno de enormes desarrollos en lógica. A partir del siglo XX, la lógica pasó a estudiarse por su interés intrínseco, y no sólo por sus virtudes como propedéutica, por lo que estudió a niveles mucho más abstractos.
