-
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. -
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
-
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
-
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]
-
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
-
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]
-
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] -
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]
-
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]
-
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
-
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
-
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.
-
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]
-
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]
-
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]
-
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.
-
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.
-
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]
-
Enseñanzas habidas en las Facultades de Artes de Oxford y París en los siglos XIII y XIV.[https://youtu.be/c6B_HF48QgI]
-
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.
-
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.
-
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”.
-
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]
-
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”.
-
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]
-
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.
-
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]
-
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]
-
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
-
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.
-
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.
-
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.
-
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.
-
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. -
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.
