-
600 BCE
Epimenides 600 a.C
Se relata que Epiménides purificó Atenas después de la contaminación traída por los Alcmeonidas. Su maestría en sacrificios, así como sus cambios en las prácticas fúnebres, fueron de gran ayuda a Solón en su reforma del estado ateniense.
Diógenes Laercio menciona varias cartas entre Epiménides y Solón en su libro Vidas, opiniones y sentencias de los filósofos mas ilustres que apoyan la veracidad de la presunta relación entre estos dos personajes. -
510 BCE
Parménides 510-440 a. C
Defiende lo siguiente: el ser es uno, inmóvil y perfecto; el no ser no existe, no puede ser dicho, no puede ser pensado. Una posición tan radical debe ser defendida contra las opiniones comunes, para lo cual Parménides prepara cuidadosamente sus argumentos -
490 BCE
Zenon de Elea 490-430 a. C
Es el principal expositor de Parménides; su estrategia no era tanto defender las tesis de Parménides como destruir las tesis del sentido común que afirman la multiplicidad y el movimiento -
470 BCE
Socrates 470-399 a.C
Los sofistas y los escépticos se hicieron eco, al sostener que para cada tesis podemos encontrar siempre un argumento a favor y otro en contra igual de convincentes. Sócrates observa con desagrado cómo en los discursos políticos, jurídicos y filosóficos de su tiempo se manejan conceptos abstractos, al tiempo que se insiste en el origen convencional de los mismos. Sócrates, descubrió así la argumentación inductiva y la definición universal[https://youtu.be/8ws918TqPhU] -
450 BCE
Euclides de Megaria 450-399 a. C
Fue un discípulo de Sócrates que no debe confundirse con el autor de los Elementos. La obra lógica de esta escuela se desarrolla entre los años 400-275 a.C. y en ella destacan Diodoro Crono y su discípulo Filón de Megara. Posterior a la escuela megárica, y en parte coincidente con ella en el tiempo, es la escuela estoica -
427 BCE
Platón 427-347
Las definiciones de Sócrates parecen ser el origen inmediato de las “ideas” de Platón. Este último no llegó a analizar los procesos argumentativos desde un punto de vista científico, pero se preocupo por construir argumentos y contrargumentos sobre un mismo tema objeto de debate. Es decir, que no sólo argumentaba a favor de sus tesis y en contra de las tesis rivales, sino que la forma narrativa del diálogo obligaba a organizar todo tipo de argumentos.[https://youtu.be/7EZC08ed7pc] -
400 BCE
Escuela de Megarica 400-275
Los megáricos partían de un cierto número de variables proposicionales. Tales variables representan afirmaciones de las que sentido decir que son verdaderas o falsas, pero cuya estructura interna no interesa.
Estudiaban las relaciones de inferencia que se dan entre proposiciones complejas construidas a partir de proposiciones simples mediante las conectivas.[https://youtu.be/-bbjM5xWMI8] -
384 BCE
Aristóteles 384-322
La lógica de Aristóteles es una lógica de términos porque en los esquemas de argumentación que se estudian las variables se sustituyen por términos. Divide los juicios categóricos según la cantidad y la cualidad. De acuerdo a la cantidad, existen juicios particulares y universales. De acuerdo a la cualidad, juicios afirmativos y negativos. La lógica de Aristóteles fue desarrollada en el Liceo.[https://youtu.be/qYU0hTprTAc][https://youtu.be/kY-NmO5D0E4][https://youtu.be/ZRpiLAGuJSg] -
336 BCE
Zenón de Citio 336-322
Zenón de Citio (ca. 336-264 a.C.), quien desarrolló las ideas lógicas de los megáricos y estimuló en esa dirección a sus discípulos Cleantes.[https://youtu.be/WgAVSa58XjI] -
300 BCE
Euclides 300 a. C
El dijo en Elementos, IX: supongamos que hay un último número primo, al que llamaremos P; construyamos Q como la suma de 1 más el producto de todos los primos hasta P; Q es mayor que P; por otro lado, Q no es compuesto porque al descomponerlo en primos siempre quedará 1 como resto; contradicción con la hipótesis inicial, luego hay infinitos números primos -
300 BCE
Escuela estoica 300-200 a. C
Continuo la obra lógica de los megáricos en el período que va del 300 al 200 a.C. El fundador de esta escuela es Zenón de Citio (ca. 336-264 a.C.), quien desarrolló las ideas lógicas de los megáricos y estimuló en esa direción a sus discípulos Cleantes (ca. 330-232 a.C.) y Crisipo (ca. 281-208 a.C.). Más conocidos son los estoicos del Imperio Romano, como Séneca, Epicteto o Marco Aurelio, quienes ya no se ocupaban apenas de la lógica de sus maestros griegos.https://youtu.be/ptVWPBGtftQ -
160 BCE
Conservacion de la lógica megarica-estoica 160 a. C- 230 d. C
De la lógica de megáricos y estoicos apenas se conservan fragmentos originales. Todo lo que sabemos sobre ella proviene de comentadores posteriores como Sexto Empírico (ca. 160-210 a.C.), Cicerón (106-43 a.C.) o Diógenes Laercio (fl. 230). Casi todos ellos pertenecen a otras escuelas, y muchos de ellos contrarios al estoicismo, por lo que resulta difícil reconstruir su lógica. -
231
PORFIRIO (231-304)
Fue un filósofo neoplatónico griego, discípulo de Plotino.El conocido como Árbol de Porfirio (en latín Arbor Porphyriana) nos muestra la clasificación que Porfirio dio a las substancias, una nueva interpretación a las categorías de Aristóteles, y que planteó en su Isagoge.Se trata de un método dicotómico, donde los conceptos se ordenan de lo general a lo particular, que según los expertos parece que dió inicio al nominalismo.[https://youtu.be/cnNA8-66ErM] -
354
SAN AGUSTIN (354-430)
En su obra analizará los distintos sistemas filosóficos griegos recibiendo una fuerte influencia del neoplatonismo así como del estoicismo, del que aceptó numerosas tesis. Por el contrario el epicureísmo, el escepticismo y el aristotelismo serán objeto de rechazo. La magnitud, la profundidad y, no obstante, la novedad de su obra le convertirán en un pensador con una gran influencia continuada a través de los siglos en el cristianismo[https://youtu.be/flDZ84WdMC4] -
400
Lógica medieval Boecio y Marciano Capella 400-1400
Las contribuciones medievales a la lógica son acerca de la semántica del latín técnico empleado en los razonamientos y acerca también de lo que hoy llamaríamos metalógica.La accesibilidad de los textos era un factor decisivo: hasta mitad del siglo XII las únicas obras de lógica con que se contaba eran las Categorías y De la interpretación de Aristóteles, la Isagoge de Porfirio, y varios comentarios de Boecio y Marciano Capella.[https://youtu.be/2aePANVYnJg] -
735
Alcuino de York (735-804)
Se limitaba a comentar las categorías de Aristóteles y es también un claro ejemplo del tipo de lógica que se hacia en la época. Las obras de Alcuino fueron editadas en 1777 por Froben, abad de Saint-Emmeran de Ratisbona, y en 1851 por Migne, que no quiso reproducir la edición de Froben. Las cartas, las poesías y algunas otras obras han sido editadas de forma diversa. -
1079
PEDRO ABELARDO (1079-1142)
Para Pedro Abelardo la lógica se ocupa de la expresión verbal de los pensamientos, es decir, de las oraciones. Dentro del grupo de las oraciones están las que pueden ser verdaderas o falsas, las cuales Abelardo define como proposiciones. En la controversia filosófica, característica de la Edad Media, acerca de la naturaleza de los universales, sostenía las ideas del conceptualismo. -
1101
Baja edad Media (1101)
Se desarrollaron extraordinariamente en Europa la teología, la filosofía y la lógica. Esta última, en particular, se desarrolló a partir de la segunda mitad del siglo XII hasta unos niveles de complejidad y finura hasta entonces desconocidos, gracias a las nuevas traducciones del Órganon. No se hacía mucho uso de la formalización, sino que se continuaba escribiendo todo en latín Además, abordan temas que hoy reconoceríamos como filosofía del lenguaje.[https://youtu.be/qKMiIuo8g4s] -
1201
Oxford y Paris 1201-1400
Enseñanzas habidas en las Facultades de Artes de Oxford y París en los siglos XIII y XIV.[https://youtu.be/c6B_HF48QgI] -
1210
Pedro Hispano 1210-1277
Su mérito consiste no tanto en sus aportaciones como en preparar un ambiente intelectual favorable a la recepción de las nuevas ideas lógicas. Retomó la discusión de los universales de Porfirio. Con su obra Sic et non establecía el estilo escolástico de proponer un asunto, la quaestio, seguida de una elaboración de los argumentos a favor y en contra, a su vez seguidos de una solutio con la cual podían volver a discutirse algunos de los argumentos en contra de esta última. -
1249
Guillermo de Shyreswood 1249
Conocido principalmente por ser el representante más destacado de nominalismo frente a las escuelas tomistas y escotistas. Una de los primeras summulae es la de Guillermo de Shyreswood contiene una exposición completa de la silogística están en verso los 19 silogismos válidos de Aristóteles. -
1316
Alberto Sanjioa 1316-1390
Disertó ampliamente sobre el tema de las consequentiae. La exposición más completa que se conserva es De consequetiis de Juan Buridán, que a su vez influye en la parte IV de la Lógica de Alberto de Sajonia. Allí se discute con profusión el significado de unas expresiones que a veces podrían interpretarse como oraciones condicionales del tipo “si A, entonces B”. -
Gottfried Leibniz (1646-1716)
Propuso la creación de una characteristica universalis o lengua artificial que pudiera representar las ideas simples del pensamiento, permitiría la mecanización del pensamiento mediante la manipulación reglada de los símbolos del lenguaje.[https://youtu.be/brjkJ6EX33M] -
Parálisis de la lógica 1662
Tras 1662 la investigación en lógica, salvo algunos manuscritos inéditos de Leibniz, se paralizó casi por completo. Este hecho motivó las célebres palabras de Immanuel Kant en el prólogo a la segunda edición e su Crítica de la razón pura (1781): “Lo curioso de la lógica es que tampoco haya sido capaz, hasta hoy, de avanzar un solo paso. Según todas las apariencias se halla, pues, definitivamente concluida”. -
La lógica o el arte de pensar 1662
De los jansenistas Antoine Arnauld (1612-1694) y Pierre Nicole (1625-1695), comúnmente llamada Lógica de Port-Royal. Se trata de una obra influida tanto por la crítica de los humanistas como por el cartesianismo. Pero, sobre todo, es una obra influyente: su enfoque y el campo de problemas abordado serán considerados como materia estándar de la lógica hasta el surgimiento de la lógica simbólica.[https://youtu.be/d1i5KePO1Zo] -
Lógica renacentista 1701-1800
Petronio, Luis Vives, Petrus Ramus, Montaigne, etc., critican a los lógicos medievales por dedicar tanto esfuerzo a una ciencia que realmente ilumina tan poco. Ramus, en particular, llega a hacer una contribución a la historia de la lógica cuando acusa a Aristóteles de no ocuparse de silogismos donde interviene la identidad. -
Immanuel Kant 1781
El juicio de Kant, tomado por cierto y reproducido en multitud de manuales de lógica clásica, es incorrecto por dos razones. Primero, porque no tiene en cuenta ni las aportaciones de los megárico-estoicos ni el desarrollo escolástico. Segundo, porque presupone que hay una sola lógica. Pero lleva algo de razón en la medida en que la lógica simbólica en el XIX no se avanza demasiado.[https://youtu.be/RDtr4tAMUqM] -
LOGICA SIMBOLICA 1801-1879
La lógica simbólica contemporánea tiene dos fuentes. Una de ellas es la tradición algebraica de la segunda mitad del siglo XIX y supone la utilización de ecuaciones algebraicas para describir enunciados lógicos.[https://youtu.be/PVx2e14cerU] -
Boole (1815-1864)
utilizo ecuaciones algebraicas para representar afirmaciones lógicas.Y aunque tras un vistazo superficial a la obra original de Boole solamente advertirán expresiones algebraicas de un mismo tipo, lo cierto es que dichas expresiones fueron utilizadas para formalizar las dos teorías lógicas que hasta entonces se conocían, a saber, la lógica proposicional de los megárico-estoicos y la silogística de Aristóteles -
Charles S. Peirce (1839-1914)
Reconoció que una de las principales limitaciones de la lógica de Aristóteles era su incapacidad para dar cuenta de las relaciones entre individuos, donde se preocupaban de la clases de individuos, Pero el problema es que en lugar de ver una genuina relación entre dos individuos, los lógicos anteriores interpretaban que podía ser visto como un término de la lógica pero deja sin resolver problemas cuya solución depende de la consideración de las relaciones como objetos fundamentales. -
Ernst Schröder (1841-1902)
Recopiló todos los avances de la segunda mitad del XIX en sus Lecciones sobre el álgebra de la lógica (1890-1905) en tres volúmenes. -
Gottlob Frege (1848-1925)
Su aportación más importante al lenguaje de la lógica consistió sin duda en el modo de cuantificar variables. Primero consiguió unificar la lógica de enunciados, la de predicados y la de relaciones (de Peirce) mediante una sintaxis que tiene en cuenta tanto la estructura interna de las oraciones como las conexiones entre ellas, además cuantifica sobre variables en cualquier lugar de la expresión, incluyendo así las conectivas proposicionales dentro del alcance de un cuantificador. -
Aplicación de la lógica 1901-2000
La aplicación de la lógica a un problema concreto animó a filósofos y matemáticos a aprender la nueva lógica, desarrollarla mejor en tanto que teoría matemática, y aplicarla a diferentes campos de la filosofía y las matemáticas. Los primeros en aplicar la lógica fueron los filósofos del Círculo de Viena. Y a partir de mediados del siglo XX es común aplicarla a campos de la lingüística, la metodología de la ciencia, la informática, etc. -
Principia Mathematica (1913-1910)
Fue el eco que buscaba encontrar el planteamiento de Frege. Bertrand Russell y Alfred N. Whitehead ofrecen en Principia una presentación de la lógica de Frege y tratan además de llevar a cabo su programa logicista. Lo consiguen hasta cierto punto
La aplicación de la lógica a un problema concreto animó a filósofos y matemáticos a aprender la nueva lógica, desarrollarla mejor en tanto que teoría matemática, y aplicarla a diferentes campos de la filosofía y las matemáticas. -
El primer manual de lógica simbólica fueron los Elementos de lógica teórica (1928)
David Hilbert y Wilhem Ackermann que puede considerarse contemporáneo debido a su notación, estilo, selección de los temas y organización interna. Distingue claramente entre lógica de primer orden y lógica de segundo orden. Plantea con una claridad hasta entonces desconocida los problemas metamatemáticos de la corrección, completud y decidibilidad de un cálculo lógico con respecto de un conjunto de tautologías.
